Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
optional break
authorhaftmann
Mon, 19 Jul 2010 11:55:42 +0200
changeset 37877 d4a30d210220
parent 37876 48116a1764c5
child 37878 d016aaead7a2
optional break
src/HOL/HOL.thy file | annotate | diff | comparison | revisions 
--- 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 (_))")
isabelle