From 7a7035a104fa0cbdf7b7977d9b33ea905f0ded11 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 3 Jul 2015 13:14:27 +0200
Subject: Cleanup

---
 Logic.icl | 21 ---------------------
 1 file changed, 21 deletions(-)

(limited to 'Logic.icl')

diff --git a/Logic.icl b/Logic.icl
index 24ce94d..b42eff9 100644
--- a/Logic.icl
+++ b/Logic.icl
@@ -235,24 +235,3 @@ sorted_subexprs = sort o subexprs
 truthtable :: Expr -> TruthTable
 truthtable e = {exprs = sorted_subexprs e ++ [e], options = all_atom_options e}
 
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-- 
cgit v1.2.3