clarified types (again): 'a is canonical for 'class' (as alternative to 'locale'), 'b is common for Hindley-Milner examples;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE1e0ad25c94c8: export constdefs according to defs.ML;
- Branches
- Unknown
- Tags