From 0f687ec65a2cb6a25a805b6c8f04fe3d90aad05b Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 26 Nov 2008 17:53:57 +0000
Subject: 	* interp/parse.boot (parseImplies): Remove.

---
 src/interp/parse.boot | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

(limited to 'src/interp')

diff --git a/src/interp/parse.boot b/src/interp/parse.boot
index 74b52394..74677690 100644
--- a/src/interp/parse.boot
+++ b/src/interp/parse.boot
@@ -334,11 +334,6 @@ parseEquivalence t ==
   parseIf ["IF",a,b,parseIf ["IF",b,:'(false true)]]
  
 
-parseImplies: %ParseForm -> %Form
-parseImplies t == 
-  t isnt ["implies",a,b] => systemErrorHere "parseImplies"
-  parseIf ["IF",a,b,"true"]
- 
 parseExclusiveOr: %ParseForm -> %Form
 parseExclusiveOr t == 
   t isnt ["xor",a,b] => systemErrorHere "parseExclusiveOr"
@@ -544,7 +539,6 @@ for x in [["<=", :"parseLessEqual"],_
 	  ["exit", :"parseExit"],_
 	  ["has", :"parseHas"],_
 	  ["IF", :"parseIf"],_
-	  ["implies", :"parseImplies"],_ 
 	  ["IN", :"parseIn"],_
 	  ["INBY", :"parseInBy"],_
 	  ["is", :"parseIs"],_
@@ -562,4 +556,4 @@ for x in [["<=", :"parseLessEqual"],_
 	  ["VCONS", :"parseVCONS"],_
 	  ["where", :"parseWhere"],_
           ["xor", :"parseExclusiveOr"]] repeat
-  MAKEPROP(car x, "parseTran", cdr x)
+  MAKEPROP(first x, "parseTran", rest x)
-- 
cgit v1.2.3