null

Name		Date	Size
..		25-Jul-2019	11
Active.sig	H A D	25-Jul-2019	2.1 KiB
Active.sml	H A D	25-Jul-2019	28.3 KiB
Atom.sig	H A D	25-Jul-2019	4.8 KiB
Atom.sml	H A D	25-Jul-2019	7.7 KiB
AtomNet.sig	H A D	25-Jul-2019	1.8 KiB
AtomNet.sml	H A D	25-Jul-2019	2.2 KiB
Clause.sig	H A D	25-Jul-2019	3.5 KiB
Clause.sml	H A D	25-Jul-2019	11.6 KiB
ElementSet.sig	H A D	25-Jul-2019	6.3 KiB
ElementSet.sml	H A D	25-Jul-2019	9.1 KiB
Formula.sig	H A D	25-Jul-2019	5.3 KiB
Formula.sml	H A D	25-Jul-2019	19 KiB
Heap.sig	H A D	25-Jul-2019	750
Heap.sml	H A D	25-Jul-2019	1.9 KiB
KeyMap.sig	H A D	25-Jul-2019	6.8 KiB
KeyMap.sml	H A D	25-Jul-2019	39.7 KiB
KnuthBendixOrder.sig	H A D	25-Jul-2019	867
KnuthBendixOrder.sml	H A D	25-Jul-2019	6.3 KiB
Lazy.sig	H A D	25-Jul-2019	496
Lazy.sml	H A D	25-Jul-2019	789
Literal.sig	H A D	25-Jul-2019	5.4 KiB
Literal.sml	H A D	25-Jul-2019	8.6 KiB
LiteralNet.sig	H A D	25-Jul-2019	1.9 KiB
LiteralNet.sml	H A D	25-Jul-2019	2.9 KiB
Map.sig	H A D	25-Jul-2019	7.3 KiB
Map.sml	H A D	25-Jul-2019	40.8 KiB
metis.sml	H A D	25-Jul-2019	15.9 KiB
Model.sig	H A D	25-Jul-2019	7.7 KiB
Model.sml	H A D	25-Jul-2019	34.1 KiB
Name.sig	H A D	25-Jul-2019	1.6 KiB
Name.sml	H A D	25-Jul-2019	2.5 KiB
NameArity.sig	H A D	25-Jul-2019	1.7 KiB
NameArity.sml	H A D	25-Jul-2019	2.4 KiB
Normalize.sig	H A D	25-Jul-2019	1.7 KiB
Normalize.sml	H A D	25-Jul-2019	39.1 KiB
Options.sig	H A D	25-Jul-2019	3.6 KiB
Options.sml	H A D	25-Jul-2019	9.3 KiB
Ordered.sig	H A D	25-Jul-2019	838
Ordered.sml	H A D	25-Jul-2019	686
Parse.sig	H A D	25-Jul-2019	3.8 KiB
Parse.sml	H A D	25-Jul-2019	7.4 KiB
Portable.sig	H A D	25-Jul-2019	1.8 KiB
PortableMlton.sml	H A D	25-Jul-2019	3.1 KiB
PortableMosml.sml	H A D	25-Jul-2019	4.7 KiB
PortablePolyml.sml	H A D	25-Jul-2019	2.8 KiB
Print.sig	H A D	25-Jul-2019	5.8 KiB
Print.sml	H A D	25-Jul-2019	41.1 KiB
Problem.sig	H A D	25-Jul-2019	1.7 KiB
Problem.sml	H A D	25-Jul-2019	4.5 KiB
problems.sml	H A D	25-Jul-2019	73.8 KiB
problems2tptp.sml	H A D	25-Jul-2019	5.4 KiB
Proof.sig	H A D	25-Jul-2019	2.2 KiB
Proof.sml	H A D	25-Jul-2019	14.3 KiB
Random.sig	H A D	25-Jul-2019	392
Random.sml	H A D	25-Jul-2019	1.3 KiB
Resolution.sig	H A D	25-Jul-2019	1.6 KiB
Resolution.sml	H A D	25-Jul-2019	3.4 KiB
Rewrite.sig	H A D	25-Jul-2019	3.5 KiB
Rewrite.sml	H A D	25-Jul-2019	21.1 KiB
Rule.sig	H A D	25-Jul-2019	11.5 KiB
Rule.sml	H A D	25-Jul-2019	26.6 KiB
selftest.sml	H A D	25-Jul-2019	38 KiB
Set.sig	H A D	25-Jul-2019	6.1 KiB
Set.sml	H A D	25-Jul-2019	8.2 KiB
Sharing.sig	H A D	25-Jul-2019	1.8 KiB
Sharing.sml	H A D	25-Jul-2019	4.1 KiB
Stream.sig	H A D	25-Jul-2019	3.5 KiB
Stream.sml	H A D	25-Jul-2019	5.6 KiB
Subst.sig	H A D	25-Jul-2019	4.7 KiB
Subst.sml	H A D	25-Jul-2019	8.4 KiB
Subsume.sig	H A D	25-Jul-2019	1.9 KiB
Subsume.sml	H A D	25-Jul-2019	10.6 KiB
Term.sig	H A D	25-Jul-2019	4.9 KiB
Term.sml	H A D	25-Jul-2019	21 KiB
TermNet.sig	H A D	25-Jul-2019	1.8 KiB
TermNet.sml	H A D	25-Jul-2019	14.7 KiB
Thm.sig	H A D	25-Jul-2019	5.7 KiB
Thm.sml	H A D	25-Jul-2019	7.8 KiB
Tptp.sig	H A D	25-Jul-2019	6.9 KiB
Tptp.sml	H A D	25-Jul-2019	74.1 KiB
Units.sig	H A D	25-Jul-2019	1.9 KiB
Units.sml	H A D	25-Jul-2019	3.6 KiB
Useful.sig	H A D	25-Jul-2019	10.3 KiB
Useful.sml	H A D	25-Jul-2019	21.7 KiB
Waiting.sig	H A D	25-Jul-2019	3.3 KiB
Waiting.sml	H A D	25-Jul-2019	8.8 KiB