Cross Reference: RemoveAxiomSpec.het
xref
: /
hets
/
Static
/
test
/
RemoveAxiomSpec.het
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
RemoveAxiomSpec.het revision b75ad7b45e09e8f998d0fc5a91dc14578fc8eabf
1117
N/A
sort s, t;
1117
N/A
ops a, o : s
1117
N/A
. o = a %implied
1117
N/A