Cross Reference: spec-fol.het
xref
: /
hets
/
Framework
/
test
/
spec-fol.het
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
spec-fol.het revision faddf5a6227f557f6da3b1c4a13f9fe82b1ef053
logic FOL
spec SP =
c : i.
p : i -> o.
. p c
end