changeset 16587 | b34c8aa657a5 |
parent 15647 | b1f486a9c56b |
child 17188 | a26a4fc323ed |
--- a/src/HOL/Import/HOL/bool.imp Tue Jun 28 15:26:45 2005 +0200 +++ b/src/HOL/Import/HOL/bool.imp Tue Jun 28 15:27:45 2005 +0200 @@ -26,7 +26,7 @@ "LET" > "HOL4Compat.LET" "IN" > "HOL4Base.bool.IN" "F" > "False" - "COND" > "If" + "COND" > "HOL.If" "ARB" > "HOL4Base.bool.ARB" "?!" > "Ex1" "?" > "Ex"