merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE51b8f6a19978: A few more cosmetic changes to proofs
rISABELLE127e4e952446: update for release; - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 127e4e952446 update for release;Author
- 14ceb9a51e97 clarified statistics;Author
- c32b8d5a9e07 show more build history for AFP;Author
- 14219730e04f more statistics;Author
- dfe60f5594bd proper base_thys;Author
- 573cc2ab69c5 more thorough context tracing;Author
- 43cbd96de418 proper check;Author
- c38aebdf1a3d tuned signature: more operations;Author
- 3153311f0f6c more robust;Author
- 84471794b280 proper afp_root;Author
- 872f10c80810 tuned signature;Author
- ee5d9ecc6a0a tuned signature;Author
- 103a81e60126 tuned signature: more options;Author
- 5b7d1cb073db tuned signature;Author
- 0be7e94fd243 more accurate print vs. parse;Author
- 62d7ef1da441 clarified signature;Author
- e5908be41a36 clarified signature (again);Author
- 645b54f3244a tuned output;Author
- dcaf6f33d94d tuned output;Author
- fd24f380b588 clarified modules;Author
- f26eba6281b1 tuned signature;Author
- 406d34a8a67a update headers;Author
- c5170293d392 clarified options;Author
- f2d67c78b689 clarified options;Author