Cross Reference:
xref
: /
hets
/
Framework
/
test
/
spec.het
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
spec.het revision e8dd447a2aa5fbac10668749dfe4142c05ec3d7d
logic PL
spec SP =
p : o.
q : o.
. q
end