--- a/src/Tools/Metis/src/FILES Wed Sep 15 10:45:22 2010 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,40 +0,0 @@
-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