Bugfix in syntax translation for record type.
Description
Description
Details
Details
- Provenance
schirmer Authored on - Parents
- rISABELLE0da64b5a9a00: theorem names for caching
- Branches
- Unknown
- Tags
Bugfix in syntax translation for record type. Tags None Subscribers None |