diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/logic/LogicI.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/logic/LogicI.gf b/examples/logic/LogicI.gf index 09ffe661d..f8eaf6aa2 100644 --- a/examples/logic/LogicI.gf +++ b/examples/logic/LogicI.gf @@ -18,7 +18,7 @@ lincat lin ThmWithProof = theorem ; - Conj A B = coord and_Conj A B ; + Conj A = coord and_Conj A ; Disj A B = coord or_Conj A B ; Impl A B = coord ifthen_DConj A B ; |