HomeIsabelle/Phabricator

new theorems, esp. on order types

Description

new theorems, esp. on order types

Details

Committed
paulson <lp15@cam.ac.uk>Thu, May 21, 12:58 PM
Parents
rAFPc6352b79465d: use lhd and lnull rather than lnth 0 and llength = 0 in IsaFoL
Branches
Unknown
Tags
Unknown

Event Timeline