equal
deleted
inserted
replaced
1 Random.sig Random.sml |
|
2 Portable.sig PortablePolyml.sml |
|
3 Useful.sig Useful.sml |
|
4 Lazy.sig Lazy.sml |
|
5 Stream.sig Stream.sml |
|
6 Ordered.sig Ordered.sml |
|
7 Map.sig Map.sml |
|
8 KeyMap.sig KeyMap.sml |
|
9 Set.sig Set.sml |
|
10 ElementSet.sig ElementSet.sml |
|
11 Sharing.sig Sharing.sml |
|
12 Heap.sig Heap.sml |
|
13 Print.sig Print.sml |
|
14 Parse.sig Parse.sml |
|
15 Options.sig Options.sml |
|
16 Name.sig Name.sml |
|
17 NameArity.sig NameArity.sml |
|
18 Term.sig Term.sml |
|
19 Subst.sig Subst.sml |
|
20 Atom.sig Atom.sml |
|
21 Formula.sig Formula.sml |
|
22 Literal.sig Literal.sml |
|
23 Thm.sig Thm.sml |
|
24 Proof.sig Proof.sml |
|
25 Rule.sig Rule.sml |
|
26 Normalize.sig Normalize.sml |
|
27 Model.sig Model.sml |
|
28 Problem.sig Problem.sml |
|
29 TermNet.sig TermNet.sml |
|
30 AtomNet.sig AtomNet.sml |
|
31 LiteralNet.sig LiteralNet.sml |
|
32 Subsume.sig Subsume.sml |
|
33 KnuthBendixOrder.sig KnuthBendixOrder.sml |
|
34 Rewrite.sig Rewrite.sml |
|
35 Units.sig Units.sml |
|
36 Clause.sig Clause.sml |
|
37 Active.sig Active.sml |
|
38 Waiting.sig Waiting.sml |
|
39 Resolution.sig Resolution.sml |
|
40 Tptp.sig Tptp.sml |
|