Tidied several ugly proofs in some elderly examples
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rISABELLE29ee987174c0: tuned message;
- Branches
- Unknown
- Tags
Tidied several ugly proofs in some elderly examples Tags None Subscribers None |