merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE601ff5c7cad5: Tidied up horrible archaic proofs
rISABELLE2fe244c4bb01: clarified signature; - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- 2fe244c4bb01 clarified signature;Author
- 455ddb251ece clarified signature;Author
- 370ebda8bd86 clarified signature;Author
- 0323cd9fcab9 clarified signature;Author
- 61b8f6ac6860 tuned signature;Author
- d4d9a7887b2a tuned signature;Author
- f4d3e3915228 tuned messages;Author
- 6ec65767d7bd tuned messages;Author