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