Merge
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rISABELLE65c45cba3f54: reverted simprule status on a new lemma
rISABELLE8204f7b53007: tuned --- fewer warnings; - Branches
- Unknown
- Tags
Merged Changes
Merged Changes