src/HOL/Map.thy
changeset 42163 392fd6c4669c
parent 41550 efa734d9b221
child 44890 22f665a2e91c
     1.1 --- a/src/HOL/Map.thy	Wed Mar 30 11:32:51 2011 +0200
     1.2 +++ b/src/HOL/Map.thy	Wed Mar 30 11:32:52 2011 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4  imports List
     1.5  begin
     1.6  
     1.7 -types ('a,'b) "map" = "'a => 'b option" (infixr "~=>" 0)
     1.8 +type_synonym ('a,'b) "map" = "'a => 'b option" (infixr "~=>" 0)
     1.9  
    1.10  type_notation (xsymbols)
    1.11    "map" (infixr "\<rightharpoonup>" 0)