diff options
Diffstat (limited to 'examples/logic/LexTheory.gf')
| -rw-r--r-- | examples/logic/LexTheory.gf | 3 |
1 files changed, 3 insertions, 0 deletions
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 ; } |