Added propositional

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7419 cec4b9c1-7d33-0410-9eda-942365e851bb
spechub · Feb 12, 2007 · 157936d · 157936d
1 parent 926bd13
commit 157936d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Propositional.hs b/Propositional.hs
@@ -0,0 +1 @@
+module Propositional where