More obsolete "unfold" calls
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rISABELLE9fc34f76b4e8: getting rid of apply (unfold ...)
- Branches
- Unknown
- Tags
More obsolete "unfold" calls
Description More obsolete "unfold" calls
Details
Event Timelinepaulson <lp15@cam.ac.uk> committed rISABELLE8655344f1cf6: More obsolete "unfold" calls.Sep 27 2022, 7:02 PM2022-09-27 19:02:34 (UTC+2) |