merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE02351b514b34: proper jEdit.props (amending ff716ecb0805);
rISABELLE6e26d06b24b1: centralized more lemmas - Branches
- Unknown
- Tags
Merged Changes
Merged Changes