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