header
authornipkow
Wed Apr 16 22:21:32 2003 +0200 (2003-04-16)
changeset 13914026866537fae
parent 13913 b3ed67af04b8
child 13915 28ccb51bd2f3
header
src/HOL/Map.thy
     1.1 --- a/src/HOL/Map.thy	Wed Apr 16 22:14:08 2003 +0200
     1.2 +++ b/src/HOL/Map.thy	Wed Apr 16 22:21:32 2003 +0200
     1.3 @@ -6,6 +6,8 @@
     1.4  The datatype of `maps' (written ~=>); strongly resembles maps in VDM.
     1.5  *)
     1.6  
     1.7 +header {* Maps *}
     1.8 +
     1.9  theory Map = List:
    1.10  
    1.11  types ('a,'b) "~=>" = "'a => 'b option" (infixr 0)