merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEaa7b0a5e9fe3: updated for release;
rISABELLEc213d067e60f: Moved a number of general-purpose lemmas into HOL - Branches
- Unknown
- Tags
Merged Changes
Merged Changes