Tidied auto/simp with null arguments
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rAFP613d8d8fb067: minor adjustments
- Branches
- Unknown
- Tags
Tidied auto/simp with null arguments
Description Tidied auto/simp with null arguments
Details
Event Timelinepaulson <lp15@cam.ac.uk> committed rAFPef2cf009504d: Tidied auto/simp with null arguments.May 17 2022, 3:11 PM2022-05-17 15:11:31 (UTC+2)
Changes (88)
rAFPef2cf009504d |