From ec95ea382132f0702e5046a721e4d8ea4cdc82e3 Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Thu, 23 Aug 2012 09:20:37 +1000
Subject: Not quite finished work on instantiation optimisation

---
 TermNet.hs | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 TermNet.hs

(limited to 'TermNet.hs')

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 =
+
+
-- 
cgit