merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLEce92360f0692: A slight tidying up of messy proof steps
rISABELLE995fe5877d53: tuned declarations for more compact proof terms; - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- 45a1fcee14a0 prefer named facts;Author
- 64249a83bc29 clarified contexts;Author
- e06852132c1d tuned messages;Author
- 5bb2235d843d clarified command-line;Author
- 41b6ca223500 tuned messages;Author
- 8ac137c65776 tuned messages;Author
- 324c40205fc8 clarified errors: include stdout;Author
- d61fd7aade69 clarified directory;Author
- 9ce299019d21 tuned message;Author
- 79b89278b825 clarified permissions;Author
- c9c1a64eeb69 corrected typo in lemma nameAuthor
- d628bbdce79a moved lemmaAuthor