Cross Reference: /hets/Static/test/AddAxiomSpec.het

Cross Reference: AddAxiomSpec.het

xref: /hets/Static/test/AddAxiomSpec.het

Home
History
Annotate
Line#
Navigate
Download
only in ./

sort s, t;

ops a, o : s

. a = o

. o = a %implied

. def o

Indexes created Tue Jul 24 14:28:13 CEST 2018