From a5232f7e5b8f6ca988696f3870f019113edb8d90 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Mon, 27 Nov 2006 10:54:26 +0000
Subject: part of Logic implemented generically

---
 examples/logic/LexTheory.gf | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'examples/logic/LexTheory.gf')

diff --git a/examples/logic/LexTheory.gf b/examples/logic/LexTheory.gf
index 8bdd715a0..7355abab2 100644
--- a/examples/logic/LexTheory.gf
+++ b/examples/logic/LexTheory.gf
@@ -3,6 +3,9 @@ interface LexTheory = open Grammar in {
   oper
     assume_VS : VS ;
     case_N : N ;
+    contradiction_N : N ;
     have_V2 : V2 ;
+    hypothesis_N : N ;
+    ifthen_DConj : DConj ;
 
 }
-- 
cgit v1.2.3