changeset 26894 | 1120f6cc10b0 |
parent 26870 | 94bedbb34b92 |
child 26901 | d1694ef6e7a7 |
1.1 --- a/doc-src/IsarRef/Thy/Generic.thy Wed May 14 20:30:53 2008 +0200 1.2 +++ b/doc-src/IsarRef/Thy/Generic.thy Wed May 14 20:31:17 2008 +0200 1.3 @@ -1,7 +1,7 @@ 1.4 (* $Id$ *) 1.5 1.6 theory Generic 1.7 -imports CPure 1.8 +imports Main 1.9 begin 1.10 1.11 chapter {* Generic tools and packages \label{ch:gen-tools} *}