tidied auto / simp with null arguments
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rISABELLE295e1c9d2994: tuned signature;
- Branches
- Unknown
- Tags
tidied auto / simp with null arguments
Description tidied auto / simp with null arguments
Details
Event Timelinepaulson <lp15@cam.ac.uk> committed rISABELLE91c16c5ad3e9: tidied auto / simp with null arguments.May 17 2022, 3:10 PM2022-05-17 15:10:14 (UTC+2) |