new theorems, esp. on order types
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rAFPc6352b79465d: use lhd and lnull rather than lnth 0 and llength = 0 in IsaFoL
- Branches
- Unknown
- Tags
new theorems, esp. on order types Tags None Subscribers None |