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 (_))")