--- a/False.st	Wed Nov 23 16:51:19 2005 +0100
+++ b/False.st	Fri Nov 25 00:29:36 2005 +0100
@@ -144,6 +144,12 @@
     ^ aBoolean not
 !
 
+implies:aBoolean
+   "return true if receiver => argument"
+
+    ^ true
+!
+
 not
     "return true, if the receiver is false, false otherwise
      (since the receiver is false, return true).
@@ -183,5 +189,5 @@
 !False class methodsFor:'documentation'!
 
 version
-^ '$Header: /cvs/stx/stx/libbasic/False.st,v 1.19 2002-11-26 15:48:39 cg Exp $'
+^ '$Header: /cvs/stx/stx/libbasic/False.st,v 1.20 2005-11-24 23:29:34 cg Exp $'
 ! !

--- a/True.st	Wed Nov 23 16:51:19 2005 +0100
+++ b/True.st	Fri Nov 25 00:29:36 2005 +0100
@@ -144,6 +144,12 @@
     ^ aBoolean
 !
 
+implies:aBoolean
+   "return true if receiver => argument"
+
+    ^ aBoolean
+!
+
 not
    "return true if the receiver is false, false otherwise
     (since the receiver is true, return false).
@@ -183,5 +189,5 @@
 !True class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libbasic/True.st,v 1.20 2002-11-26 15:48:37 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libbasic/True.st,v 1.21 2005-11-24 23:29:36 cg Exp $'
 ! !