--- a/doc-src/IsarRef/Thy/HOLCF_Specific.thy Tue May 03 14:23:40 2011 +0200
+++ b/doc-src/IsarRef/Thy/HOLCF_Specific.thy Tue May 03 15:07:36 2011 +0200
@@ -1,5 +1,5 @@
theory HOLCF_Specific
-imports HOLCF
+imports Base HOLCF
begin
chapter {* Isabelle/HOLCF \label{ch:holcf} *}