Not quite finished work on instantiation optimisation

1 files changed, 27 insertions, 0 deletions

diff --git a/TermNet.hs b/TermNet.hs
new file mode 100644
index 0000000..fd21008
--- /dev/null
+++ b/TermNet.hs
@@ -0,0 +1,27 @@
+module TermNet(
+	TermNet,
+	empty,
+	addThm
+	) where
+
+
+
+import ProofGraph
+import Object
+import Theorem
+
+
+
+data TermNet = Empty | Leaf Object Node | Branch String [TermNet]
+
+
+
+empty :: TermNet
+empty = Empty
+
+
+
+addThm :: TermNet -> PGraph -> Node -> (TermNet, [(Theorem, Node)])
+addThm net graph node =
+
+