merged
Description
Description
Details
Details
- Provenance
nipkow Authored on - Parents
- rISABELLE2612b3406b61: added finite simproc
rISABELLEe800cc580c80: merged - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- f20865ad6319 tuned proofs;Author
- f362975e8ba1 clarified signature;Author
- e4f164d864dc more timing;Author
- cc3911b11b53 tuned comments;Author
- aaf307f865c9 tuned signature;Author
- fb9c567a67cd clarified modules;Author