--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Metis/FILES Wed Sep 15 11:47:25 2010 +0200
@@ -0,0 +1,40 @@
+Random.sig Random.sml
+Portable.sig PortablePolyml.sml
+Useful.sig Useful.sml
+Lazy.sig Lazy.sml
+Stream.sig Stream.sml
+Ordered.sig Ordered.sml
+Map.sig Map.sml
+KeyMap.sig KeyMap.sml
+Set.sig Set.sml
+ElementSet.sig ElementSet.sml
+Sharing.sig Sharing.sml
+Heap.sig Heap.sml
+Print.sig Print.sml
+Parse.sig Parse.sml
+Options.sig Options.sml
+Name.sig Name.sml
+NameArity.sig NameArity.sml
+Term.sig Term.sml
+Subst.sig Subst.sml
+Atom.sig Atom.sml
+Formula.sig Formula.sml
+Literal.sig Literal.sml
+Thm.sig Thm.sml
+Proof.sig Proof.sml
+Rule.sig Rule.sml
+Normalize.sig Normalize.sml
+Model.sig Model.sml
+Problem.sig Problem.sml
+TermNet.sig TermNet.sml
+AtomNet.sig AtomNet.sml
+LiteralNet.sig LiteralNet.sml
+Subsume.sig Subsume.sml
+KnuthBendixOrder.sig KnuthBendixOrder.sml
+Rewrite.sig Rewrite.sml
+Units.sig Units.sml
+Clause.sig Clause.sml
+Active.sig Active.sml
+Waiting.sig Waiting.sml
+Resolution.sig Resolution.sml
+Tptp.sig Tptp.sml