# HG changeset patch
# User haftmann
# Date 1279533342 -7200
# Node ID d4a30d21022058f6d8cb468aca6a3113a496c9f6
# Parent  48116a1764c5c8d16392711a6cd9cf2f7282bbac
optional break

diff -r 48116a1764c5 -r d4a30d210220 src/HOL/HOL.thy
--- 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 (_))")