Go backward to E.1.4 SIG1
Go up to E.1 Specifications from the Bremen Proposal
E.1.5 SIG2
- spec
- Sig2[Elem] =
-
- Sig1[Elem]
- then
-
- pred
- __ in __ : Elem × Set[Elem]
- vars
- a,b : Elem; s,t : Set[Elem]
- ·
- ¬ a in {}
- ·
- a in {|b|} <=> a=b
- ·
- a in (s union t) <=> (a in s) \/ (a in t)
CoFI
Document: CASL/Summary --Version 0.99-- 21 April 1998.
Comments to cofi-language@brics.dk