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.
boolean operators for scala
authorhaftmann
Fri, 08 Jan 2010 14:34:17 +0100
changeset 34305 25ff5e139a1d
parent 34295 6cd289eca3e4
child 34306 e8b8ee60c1e2
boolean operators for scala
src/HOL/HOL.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/HOL.thy	Fri Jan 08 14:07:07 2010 +0100
+++ b/src/HOL/HOL.thy	Fri Jan 08 14:34:17 2010 +0100
@@ -1925,9 +1925,9 @@
   (Haskell "True" and "False" and "not"
     and infixl 3 "&&" and infixl 2 "||"
     and "!(if (_)/ then (_)/ else (_))")
-
-code_const True and False
-  (Scala "true" and "false")
+  (Scala "true" and "false" and "'! _"
+    and infixl 3 "&&" and infixl 1 "||"
+    and "!(if ((_))/ (_)/ else (_))")
 
 code_reserved SML
   bool true false not
isabelle