Go up to E.1 Specifications from the Bremen Proposal
Go forward to E.1.2 MONOID
E.1.1 PO
- spec
- PO =
- sort
- T
- pred
- __ < __ : T × T
- vars
- x,y,z : T
- ·
- x < x
- ·
- x=y if x < y /\ y < x
- ·
- x < z if x < y /\ y < z
CoFI
Document: CASL/Summary --Version 0.99-- 21 April 1998.
Comments to cofi-language@brics.dk