merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEe8207714d505: proper file name: .ML is mandatory for Isabelle/ML files;
rISABELLE70fb697be418: Removed dup lemma that inhibited locale instantiations (dup fact error) - Branches
- Unknown
- Tags
Merged Changes
Merged Changes