1 files changed, 0 insertions, 27 deletions
diff --git a/TermNet.hs b/TermNet.hs
deleted file mode 100644
index fd21008..0000000
--- a/TermNet.hs
+++ /dev/null
@@ -1,27 +0,0 @@
-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 =
-
-