Go up to 1 Specifications from the Bremen Proposal
Go forward to 1.2 MONOID
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/SyntaxExamples --Version 0.99-- 17 February 1998.
Comments to cofi-language@brics.dk