changeset 30663 | 0b6aff7451b2 |
parent 29831 | 5dc920623bb1 |
child 31459 | ae39b7b2a68a |
--- a/src/HOL/Library/Mapping.thy Mon Mar 23 08:14:23 2009 +0100 +++ b/src/HOL/Library/Mapping.thy Mon Mar 23 08:14:24 2009 +0100 @@ -5,7 +5,7 @@ header {* An abstract view on maps for code generation. *} theory Mapping -imports Map +imports Map Main begin subsection {* Type definition and primitive operations *}