# HG changeset patch
# User blanchet
# Date 1284544045 -7200
# Node ID a91b59c6d310223f12a8c3f2ed93035d2452dbb8
# Parent  fcbb3bb3ebe2b2ac9e1946cd1b666553678372ad
"FILES" is not (anymore?) part of the official Metis sources, so move it up

diff -r fcbb3bb3ebe2 -r a91b59c6d310 src/Tools/Metis/FILES
--- /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
diff -r fcbb3bb3ebe2 -r a91b59c6d310 src/Tools/Metis/src/FILES
--- 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