strict_sorted now an abbreviation
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rISABELLE78044b2f001c: explicit type class operations for type-specific implementations
- Branches
- Unknown
- Tags
strict_sorted now an abbreviation Tags None Subscribers None |