diff options
Diffstat (limited to 'src/interp/parse.boot')
| -rw-r--r-- | src/interp/parse.boot | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/interp/parse.boot b/src/interp/parse.boot index acecc6bd..3c0237e5 100644 --- a/src/interp/parse.boot +++ b/src/interp/parse.boot @@ -333,10 +333,6 @@ parseOr u == (x:= parseTran first u) is ["not",y] => parseIf [y,parseOr rest u,"true"] true => parseIf [x,"true",parseOr rest u] -parseNot u == - $InteractiveMode => ["not",parseTran first u] - parseTran ["IF",first u,:'(false true)] - parseEquivalence [a,b] == parseIf [a,b,parseIf [b,:'(false true)]] parseImplies [a,b] == parseIf [a,b,"true"] |