drwxr-xr-x | [up] | |||
-rw-r--r-- | 2010-09-13 21:11 +0200 | 2109 | Active.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 28991 | Active.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 4947 | Atom.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 7829 | Atom.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 1835 | AtomNet.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 2280 | AtomNet.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 3553 | Clause.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 11767 | Clause.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 6062 | ElementSet.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 8736 | ElementSet.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 910 | FILES | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 5411 | Formula.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 19352 | Formula.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 750 | Heap.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 1906 | Heap.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 6940 | KeyMap.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 40384 | KeyMap.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 867 | KnuthBendixOrder.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 6486 | KnuthBendixOrder.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 496 | Lazy.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 789 | Lazy.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 5563 | Literal.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 8789 | Literal.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 1972 | LiteralNet.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 2948 | LiteralNet.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 7465 | Map.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 41445 | Map.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 7870 | Model.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 34936 | Model.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 1641 | Name.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 2606 | Name.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 1700 | NameArity.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 2502 | NameArity.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 1789 | Normalize.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 39986 | Normalize.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 3691 | Options.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 9493 | Options.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 838 | Ordered.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 686 | Ordered.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 3829 | Parse.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 7416 | Parse.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 1568 | Portable.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 2946 | PortableMlton.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 3530 | PortableMosml.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 2599 | PortablePolyml.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 4492 | Print.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 31746 | Print.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 1710 | Problem.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 4598 | Problem.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 2252 | Proof.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 14817 | Proof.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 392 | Random.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 1373 | Random.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 1645 | Resolution.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 3258 | Resolution.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 3565 | Rewrite.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 21574 | Rewrite.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 11771 | Rule.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 27163 | Rule.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 6214 | Set.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 8360 | Set.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 1861 | Sharing.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 4161 | Sharing.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 3615 | Stream.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 5699 | Stream.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 4860 | Subst.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 8631 | Subst.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 1914 | Subsume.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 10839 | Subsume.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 5033 | Term.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 21138 | Term.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 1866 | TermNet.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 14997 | TermNet.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 5875 | Thm.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 8035 | Thm.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 7103 | Tptp.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 75820 | Tptp.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 1896 | Units.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 3666 | Units.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 10465 | Useful.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 21635 | Useful.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 3369 | Waiting.sig | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 8510 | Waiting.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 16098 | metis.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 75607 | problems.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 5495 | problems2tptp.sml | file | revisions | annotate |
-rw-r--r-- | 2010-09-13 21:11 +0200 | 38665 | selftest.sml | file | revisions | annotate |