--- a/src/HOL/Plain.thy Mon Oct 04 21:37:42 2010 +0200
+++ b/src/HOL/Plain.thy Mon Oct 04 21:49:07 2010 +0200
@@ -1,7 +1,7 @@
header {* Plain HOL *}
theory Plain
-imports Datatype FunDef Extraction
+imports Datatype FunDef Extraction Meson
begin
text {*