/src/Tools/Metis/src/
drwxr-xr-x [up]
-rw-r--r-- 2012-04-07 16:41 +0200 2109 Active.sig
-rw-r--r-- 2012-04-07 16:41 +0200 29016 Active.sml
-rw-r--r-- 2012-04-07 16:41 +0200 4947 Atom.sig
-rw-r--r-- 2012-04-07 16:41 +0200 7888 Atom.sml
-rw-r--r-- 2012-04-07 16:41 +0200 1835 AtomNet.sig
-rw-r--r-- 2012-04-07 16:41 +0200 2285 AtomNet.sml
-rw-r--r-- 2012-04-07 16:41 +0200 3553 Clause.sig
-rw-r--r-- 2012-04-07 16:41 +0200 11884 Clause.sml
-rw-r--r-- 2012-04-07 16:41 +0200 6498 ElementSet.sig
-rw-r--r-- 2012-04-07 16:41 +0200 9335 ElementSet.sml
-rw-r--r-- 2012-04-07 16:41 +0200 5411 Formula.sig
-rw-r--r-- 2012-04-07 16:41 +0200 19437 Formula.sml
-rw-r--r-- 2012-04-07 16:41 +0200 750 Heap.sig
-rw-r--r-- 2012-04-07 16:41 +0200 1906 Heap.sml
-rw-r--r-- 2012-04-07 16:41 +0200 7012 KeyMap.sig
-rw-r--r-- 2012-04-07 16:41 +0200 40702 KeyMap.sml
-rw-r--r-- 2012-04-07 16:41 +0200 867 KnuthBendixOrder.sig
-rw-r--r-- 2012-04-07 16:41 +0200 6490 KnuthBendixOrder.sml
-rw-r--r-- 2012-04-07 16:41 +0200 496 Lazy.sig
-rw-r--r-- 2012-04-07 16:41 +0200 789 Lazy.sml
-rw-r--r-- 2012-04-07 16:41 +0200 5563 Literal.sig
-rw-r--r-- 2012-04-07 16:41 +0200 8789 Literal.sml
-rw-r--r-- 2012-04-07 16:41 +0200 1972 LiteralNet.sig
-rw-r--r-- 2012-04-07 16:41 +0200 2953 LiteralNet.sml
-rw-r--r-- 2012-04-07 16:41 +0200 7465 Map.sig
-rw-r--r-- 2012-04-07 16:41 +0200 41763 Map.sml
-rw-r--r-- 2012-04-07 16:41 +0200 7870 Model.sig
-rw-r--r-- 2012-04-07 16:41 +0200 34946 Model.sml
-rw-r--r-- 2012-04-07 16:41 +0200 1657 Name.sig
-rw-r--r-- 2012-04-07 16:41 +0200 2561 Name.sml
-rw-r--r-- 2012-04-07 16:41 +0200 1700 NameArity.sig
-rw-r--r-- 2012-04-07 16:41 +0200 2446 NameArity.sml
-rw-r--r-- 2012-04-07 16:41 +0200 1789 Normalize.sig
-rw-r--r-- 2012-04-07 16:41 +0200 40029 Normalize.sml
-rw-r--r-- 2012-04-07 16:41 +0200 3691 Options.sig
-rw-r--r-- 2012-04-07 16:41 +0200 9572 Options.sml
-rw-r--r-- 2012-04-07 16:41 +0200 838 Ordered.sig
-rw-r--r-- 2012-04-07 16:41 +0200 686 Ordered.sml
-rw-r--r-- 2012-04-07 16:41 +0200 3857 Parse.sig
-rw-r--r-- 2012-04-07 16:41 +0200 7624 Parse.sml
-rw-r--r-- 2012-04-07 16:41 +0200 1852 Portable.sig
-rw-r--r-- 2012-04-07 16:41 +0200 3214 PortableMlton.sml
-rw-r--r-- 2012-04-07 16:41 +0200 4809 PortableMosml.sml
-rw-r--r-- 2012-04-07 16:41 +0200 2867 PortablePolyml.sml
-rw-r--r-- 2012-04-07 16:41 +0200 5905 Print.sig
-rw-r--r-- 2012-04-07 16:41 +0200 42129 Print.sml
-rw-r--r-- 2012-04-07 16:41 +0200 1710 Problem.sig
-rw-r--r-- 2012-04-07 16:41 +0200 4627 Problem.sml
-rw-r--r-- 2012-04-07 16:41 +0200 2252 Proof.sig
-rw-r--r-- 2012-04-07 16:41 +0200 14621 Proof.sml
-rw-r--r-- 2012-04-07 16:41 +0200 392 Random.sig
-rw-r--r-- 2012-04-07 16:41 +0200 1373 Random.sml
-rw-r--r-- 2012-04-07 16:41 +0200 1645 Resolution.sig
-rw-r--r-- 2012-04-07 16:41 +0200 3494 Resolution.sml
-rw-r--r-- 2012-04-07 16:41 +0200 3565 Rewrite.sig
-rw-r--r-- 2012-04-07 16:41 +0200 21632 Rewrite.sml
-rw-r--r-- 2012-04-07 16:41 +0200 11771 Rule.sig
-rw-r--r-- 2012-04-07 16:41 +0200 27223 Rule.sml
-rw-r--r-- 2012-04-07 16:41 +0200 6214 Set.sig
-rw-r--r-- 2012-04-07 16:41 +0200 8360 Set.sml
-rw-r--r-- 2012-04-07 16:41 +0200 1861 Sharing.sig
-rw-r--r-- 2012-04-07 16:41 +0200 4161 Sharing.sml
-rw-r--r-- 2012-04-07 16:41 +0200 3615 Stream.sig
-rw-r--r-- 2012-04-07 16:41 +0200 5718 Stream.sml
-rw-r--r-- 2012-04-07 16:41 +0200 4860 Subst.sig
-rw-r--r-- 2012-04-07 16:41 +0200 8631 Subst.sml
-rw-r--r-- 2012-04-07 16:41 +0200 1914 Subsume.sig
-rw-r--r-- 2012-04-07 16:41 +0200 10839 Subsume.sml
-rw-r--r-- 2012-04-07 16:41 +0200 5033 Term.sig
-rw-r--r-- 2012-04-07 16:41 +0200 21492 Term.sml
-rw-r--r-- 2012-04-07 16:41 +0200 1866 TermNet.sig
-rw-r--r-- 2012-04-07 16:41 +0200 15027 TermNet.sml
-rw-r--r-- 2012-04-07 16:41 +0200 5875 Thm.sig
-rw-r--r-- 2012-04-07 16:41 +0200 8025 Thm.sml
-rw-r--r-- 2012-04-07 16:41 +0200 7103 Tptp.sig
-rw-r--r-- 2012-04-07 16:41 +0200 75837 Tptp.sml
-rw-r--r-- 2012-04-07 16:41 +0200 1896 Units.sig
-rw-r--r-- 2012-04-07 16:41 +0200 3671 Units.sml
-rw-r--r-- 2012-04-07 16:41 +0200 10521 Useful.sig
-rw-r--r-- 2012-04-07 16:41 +0200 22261 Useful.sml
-rw-r--r-- 2012-04-07 16:41 +0200 3369 Waiting.sig
-rw-r--r-- 2012-04-07 16:41 +0200 9033 Waiting.sml
-rw-r--r-- 2012-04-07 16:41 +0200 16308 metis.sml
-rw-r--r-- 2012-04-07 16:41 +0200 75617 problems.sml
-rw-r--r-- 2012-04-07 16:41 +0200 5522 problems2tptp.sml
-rw-r--r-- 2012-04-07 16:41 +0200 38881 selftest.sml