Cross Reference: AddAxiomSpec.het
xref
: /
hets
/
Static
/
test
/
AddAxiomSpec.het
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
AddAxiomSpec.het revision 48c29e3b5ebe94aafb40fe57ac185eea74942eb4
sort s, t;
ops a, o : s
. a = o
. def o