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.
merged
authornipkow
Wed, 05 Dec 2012 11:05:34 +0100
changeset 50361 3ae4376cb739
parent 50359 da395f0e7dea (current diff)
parent 50360 628b37b9e8a2 (diff)
child 50362 1a539d7a0438
child 50382 cb564ff43c28
merged
--- a/src/HOL/HOL.thy	Wed Dec 05 10:35:58 2012 +0100
+++ b/src/HOL/HOL.thy	Wed Dec 05 11:05:34 2012 +0100
@@ -95,6 +95,9 @@
   conj  (infixr "\<and>" 35) and
   disj  (infixr "\<or>" 30) and
   implies  (infixr "\<longrightarrow>" 25) and
+  not_equal  (infixl "\<noteq>" 50)
+
+notation (xsymbols output)
   not_equal  (infix "\<noteq>" 50)
 
 notation (HTML output)
isabelle