src/HOL/Map.thy
changeset 39992 f225a499a8e5
parent 39379 ab1b070aa412
child 41229 d797baa3d57c
     1.1 --- a/src/HOL/Map.thy	Wed Oct 13 09:56:00 2010 +0200
     1.2 +++ b/src/HOL/Map.thy	Sun Oct 10 22:50:25 2010 +0200
     1.3 @@ -12,7 +12,6 @@
     1.4  begin
     1.5  
     1.6  types ('a,'b) "map" = "'a => 'b option" (infixr "~=>" 0)
     1.7 -translations (type) "'a ~=> 'b" <= (type) "'a => 'b option"
     1.8  
     1.9  type_notation (xsymbols)
    1.10    "map" (infixr "\<rightharpoonup>" 0)