--- a/src/HOL/Main.thy Tue Jun 28 15:26:45 2005 +0200
+++ b/src/HOL/Main.thy Tue Jun 28 15:27:45 2005 +0200
@@ -26,7 +26,7 @@
"Not" ("not")
"op |" ("(_ orelse/ _)")
"op &" ("(_ andalso/ _)")
- "If" ("(if _/ then _/ else _)")
+ "HOL.If" ("(if _/ then _/ else _)")
"wfrec" ("wf'_rec?")