merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE0d1c0b085e5c: cleaned up some messy proofs
rISABELLE1b01c626a441: more uniform color --- avoid odd transparency on Windows (due to jEdit default… - Branches
- Unknown
- Tags
Merged Changes
Merged Changes