src/Tools/Metis/src/FILES

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Metis/src/FILES	Wed Jun 20 22:07:52 2007 +0200
@@ -0,0 +1,39 @@
+Portable.sig PortableIsabelle.sml
+PP.sig PP.sml 
+Random.sig Random.sml 
+Useful.sig Useful.sml 
+Lazy.sig Lazy.sml 
+Ordered.sig Ordered.sml 
+Set.sig RandomSet.sml Set.sml 
+ElementSet.sig ElementSet.sml 
+Map.sig RandomMap.sml Map.sml 
+KeyMap.sig KeyMap.sml 
+Sharing.sig Sharing.sml 
+Stream.sig Stream.sml 
+Heap.sig Heap.sml 
+Parser.sig Parser.sml 
+Options.sig Options.sml 
+Name.sig Name.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