src/HOL/HOL.thy
changeset 37877 d4a30d210220
parent 37781 2fbbf0a48cef
child 38525 324219de6ee3
--- a/src/HOL/HOL.thy	Fri Jul 16 15:55:32 2010 +0200
+++ b/src/HOL/HOL.thy	Mon Jul 19 11:55:42 2010 +0200
@@ -1928,7 +1928,7 @@
   (Haskell "True" and "False" and "not"
     and infixl 3 "&&" and infixl 2 "||"
     and "!(if (_)/ then (_)/ else (_))")
-  (Scala "true" and "false" and "'! _"
+  (Scala "true" and "false" and "'!/ _"
     and infixl 3 "&&" and infixl 1 "||"
     and "!(if ((_))/ (_)/ else (_))")