getting rid of apply (unfold ...)
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rISABELLEa642599ffdea: More syntactic cleanup. LaTeX markup working
- Branches
- Unknown
- Tags
getting rid of apply (unfold ...)
Description getting rid of apply (unfold ...)
Details
Event Timelinepaulson <lp15@cam.ac.uk> committed rISABELLE9fc34f76b4e8: getting rid of apply (unfold ...).Sep 27 2022, 6:54 PM2022-09-27 18:54:20 (UTC+2) |