merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE9edb7fb69bc2: a few new lemmas
rISABELLEfb08117a106b: tuned; - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- 21c0b3a9d2f8 added lemmasAuthor
- d45495e897f4 more instancesAuthor
- 4e66867fd63f tuned proofAuthor
- 22158ebde77f updated for release;Author
- 2e1b0ee920f5 updated for release;Author