--- a/src/HOL/Typerep.thy Thu Feb 14 13:16:47 2013 +0100
+++ b/src/HOL/Typerep.thy Thu Feb 14 12:24:42 2013 +0100
@@ -3,7 +3,7 @@
header {* Reflecting Pure types into HOL *}
theory Typerep
-imports Plain String
+imports String
begin
datatype typerep = Typerep String.literal "typerep list"