src/HOL/Map.thy
changeset 13914 026866537fae
parent 13912 3c0a340be514
child 13937 e9d57517c9b1
--- a/src/HOL/Map.thy	Wed Apr 16 22:14:08 2003 +0200
+++ b/src/HOL/Map.thy	Wed Apr 16 22:21:32 2003 +0200
@@ -6,6 +6,8 @@
 The datatype of `maps' (written ~=>); strongly resembles maps in VDM.
 *)
 
+header {* Maps *}
+
 theory Map = List:
 
 types ('a,'b) "~=>" = "'a => 'b option" (infixr 0)