diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-11-27 21:03:15 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-11-27 21:03:15 +0000 |
| commit | 0c5f2c12880d339e51e5133c61216f233d5a9a7b (patch) | |
| tree | 6058960ad196dd410184ccebf73ba4473830ef11 /examples/logic/LexTheory.gf | |
| parent | 8cd9a329fa6d41849df4b7e8c2f19b34884cb547 (diff) | |
more in ArithmEng
Diffstat (limited to 'examples/logic/LexTheory.gf')
| -rw-r--r-- | examples/logic/LexTheory.gf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/examples/logic/LexTheory.gf b/examples/logic/LexTheory.gf index 7355abab2..a7a7c9439 100644 --- a/examples/logic/LexTheory.gf +++ b/examples/logic/LexTheory.gf @@ -8,4 +8,6 @@ interface LexTheory = open Grammar in { hypothesis_N : N ; ifthen_DConj : DConj ; + defNP : Str -> NP ; + } |