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.
changed "o" to (infixl 55)
authornipkow
Fri, 18 Aug 1995 15:54:22 +0200
changeset 1232 454eb424c223
parent 1231 91d2c1bb5803
child 1233 2856f382f033
changed "o" to (infixl 55)
src/HOL/HOL.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/HOL.thy	Fri Aug 18 15:20:02 1995 +0200
+++ b/src/HOL/HOL.thy	Fri Aug 18 15:54:22 1995 +0200
@@ -51,7 +51,7 @@
 
   (* Infixes *)
 
-  o             :: "['b => 'c, 'a => 'b, 'a] => 'c"   (infixr 50)
+  o             :: "['b => 'c, 'a => 'b, 'a] => 'c"   (infixl 55)
   "="           :: "['a, 'a] => bool"                 (infixl 50)
   "&"           :: "[bool, bool] => bool"             (infixr 35)
   "|"           :: "[bool, bool] => bool"             (infixr 30)
isabelle