/Active.sig/1.8/Mon Sep  5 14:59:58 2011//
/Active.sml/1.44/Wed Dec 14 11:29:52 2011//
/Atom.sig/1.8/Mon Jul 11 11:11:08 2011//
/Atom.sml/1.9/Mon Jul 11 11:11:08 2011//
/AtomNet.sig/1.2/Thu Dec 18 15:39:41 2008//
/AtomNet.sml/1.2/Fri Jul 29 15:37:42 2011//
/Clause.sig/1.11/Wed Dec 14 11:29:52 2011//
/Clause.sml/1.22/Wed Dec 14 11:29:52 2011//
/ElementSet.sig/1.3/Fri Jul  9 13:43:02 2010//
/ElementSet.sml/1.3/Fri Jul  9 13:43:02 2010//
/Formula.sig/1.9/Wed Feb 29 15:31:26 2012//
/Formula.sml/1.12/Wed Feb 29 15:31:26 2012//
/Heap.sig/1.1/Fri May 25 14:29:03 2007//
/Heap.sml/1.2/Thu Dec 18 15:39:41 2008//
/KeyMap.sig/1.3/Fri Jul  9 13:43:02 2010//
/KeyMap.sml/1.3/Fri Jul  9 13:43:02 2010//
/KnuthBendixOrder.sig/1.6/Thu Dec 18 15:39:41 2008//
/KnuthBendixOrder.sml/1.36/Tue Jan 31 14:26:05 2012//
/Lazy.sig/1.3/Mon May 24 14:47:51 2010//
/Lazy.sml/1.3/Mon May 24 14:47:51 2010//
/Literal.sig/1.10/Tue Sep 20 13:54:46 2011//
/Literal.sml/1.19/Tue Sep 20 13:54:46 2011//
/LiteralNet.sig/1.2/Thu Dec 18 15:39:41 2008//
/LiteralNet.sml/1.2/Thu Dec 18 15:39:41 2008//
/Map.sig/1.3/Fri Jul  9 13:43:02 2010//
/Map.sml/1.2/Fri Jul  9 13:43:02 2010//
/Model.sig/1.3/Mon May 24 14:47:51 2010//
/Model.sml/1.6/Fri Jul 29 15:37:42 2011//
/Name.sig/1.3/Fri Jun 26 14:21:10 2009//
/Name.sml/1.6/Tue Aug  2 15:47:57 2011//
/NameArity.sig/1.1/Thu Dec 18 15:45:46 2008//
/NameArity.sml/1.3/Fri Jul  9 13:43:02 2010//
/Normalize.sig/1.3/Fri Jun 26 14:21:10 2009//
/Normalize.sml/1.9/Tue May 25 11:33:49 2010//
/Options.sig/1.1/Fri May 25 14:29:03 2007//
/Options.sml/1.8/Wed Aug 31 14:30:22 2011//
/Ordered.sig/1.1/Fri May 25 14:29:03 2007//
/Ordered.sml/1.2/Thu Dec 18 15:39:41 2008//
/Parse.sig/1.5/Wed Sep 21 13:43:18 2011//
/Parse.sml/1.4/Wed Sep 21 13:43:18 2011//
/Poly.sig/1.30/Tue Oct  4 10:19:32 2011//
/Poly.sml/1.81/Tue Nov 22 16:15:52 2011//
/Polyhash.sig/1.1/Thu Aug 19 16:06:41 2010//
/Polyhash.sml/1.2/Wed Aug 31 10:44:20 2011//
/Portable.sig/1.2/Tue Nov 20 12:20:34 2007//
/PortableMlton.sml/1.2/Tue Nov 20 12:20:34 2007//
/PortableMosml.sml/1.3/Fri Jul  9 13:43:02 2010//
/PortablePolyml.sml/1.2/Tue Sep 20 13:56:06 2011//
/PortableSmlNJ.sml/1.2/Tue Nov 20 12:20:34 2007//
/Print.sig/1.2/Tue May 25 11:33:50 2010//
/Print.sml/1.3/Tue May 25 11:33:50 2010//
/Problem.sig/1.3/Fri Jun 26 14:21:11 2009//
/Problem.sml/1.4/Fri Jun 26 14:21:11 2009//
/Proof.sig/1.9/Tue May 31 14:47:12 2011//
/Proof.sml/1.12/Wed Aug 31 10:43:05 2011//
/Random.sig/1.4/Tue May 25 11:33:50 2010//
/Random.sml/1.4/Tue May 25 11:33:50 2010//
/Resolution.sig/1.10/Tue Sep 20 14:20:27 2011//
/Resolution.sml/1.94/Tue Jan 31 14:26:05 2012//
/Rewrite.sig/1.4/Tue May 31 14:47:12 2011//
/Rewrite.sml/1.5/Fri Jul 29 15:37:42 2011//
/Rule.sig/1.2/Thu Dec 18 15:39:42 2008//
/Rule.sml/1.4/Wed Aug 31 10:44:21 2011//
/Set.sig/1.3/Fri Jul  9 13:43:02 2010//
/Set.sml/1.2/Fri Jul  9 13:43:02 2010//
/Sharing.sig/1.3/Thu Dec 18 15:39:42 2008//
/Sharing.sml/1.3/Thu Dec 18 15:39:42 2008//
/SplitStack.sig/1.4/Fri Jan 13 15:58:51 2012//
/SplitStack.sml/1.7/Fri Jan 13 15:58:51 2012//
/Stream.sig/1.5/Fri Jul  9 13:43:03 2010//
/Stream.sml/1.6/Wed Aug 31 10:44:21 2011//
/Subst.sig/1.3/Fri Jun 26 14:21:11 2009//
/Subst.sml/1.6/Fri Jul  9 13:43:03 2010//
/Subsume.sig/1.3/Tue May 31 14:47:12 2011//
/Subsume.sml/1.4/Tue May 31 14:47:12 2011//
/Term.sig/1.15/Wed Sep 21 13:43:19 2011//
/Term.sml/1.42/Tue Oct 11 16:22:40 2011//
/TermNet.sig/1.2/Thu Dec 18 15:39:42 2008//
/TermNet.sml/1.5/Wed Jul 14 09:30:41 2010//
/Thm.sig/1.15/Thu Jun 23 15:24:04 2011//
/Thm.sml/1.34/Thu Feb 23 17:27:37 2012//
/Tptp.sig/1.14/Wed Sep 21 13:43:19 2011//
/Tptp.sml/1.45/Tue Oct 11 16:22:40 2011//
/Units.sig/1.3/Tue May 31 14:47:12 2011//
/Units.sml/1.3/Tue May 31 14:47:12 2011//
/Useful.sig/1.13/Tue Sep 20 13:59:00 2011//
/Useful.sml/1.15/Tue Sep 27 09:49:54 2011//
/Waiting.sig/1.11/Thu Jun 23 15:24:05 2011//
/Waiting.sml/1.18/Thu Jun 23 15:24:05 2011//
/metis.sml/1.84/Wed Mar 21 17:57:23 2012//
/problems.sml/1.5/Fri Jun 26 14:21:11 2009//
/problems2tptp.sml/1.6/Tue May 25 11:33:50 2010//
/rat.sml/1.14/Wed Mar 21 17:57:23 2012//
/selftest.sml/1.8/Tue May 25 11:33:50 2010//
D/RCF////
D/Syntax////
