src/HOL/Map.thy
changeset 30935 db5dcc1f276d
parent 30738 0842e906300c
child 31080 21ffc770ebc0
     1.1 --- a/src/HOL/Map.thy	Thu Apr 16 14:02:11 2009 +0200
     1.2 +++ b/src/HOL/Map.thy	Thu Apr 16 14:02:12 2009 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4  imports List
     1.5  begin
     1.6  
     1.7 -types ('a,'b) "~=>" = "'a => 'b option"  (infixr 0)
     1.8 +types ('a,'b) "~=>" = "'a => 'b option"  (infixr "~=>" 0)
     1.9  translations (type) "a ~=> b " <= (type) "a => b option"
    1.10  
    1.11  syntax (xsymbols)