merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE856c68ab6f13: structured a lot of ancient, horrible proofs
rISABELLEd97f504c8145: clarified Isabelle_Process phases; - Branches
- Unknown
- Tags
Merged Changes
Merged Changes