export constdefs according to defs.ML;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE692095bafcd9: avoid spurious shyps (with vacous type variable);
- Branches
- Unknown
- Tags
export constdefs according to defs.ML; Tags None Subscribers None |