| changeset 27048 | 0e86aab627f3 |
| parent 27043 | 3ff111ed85a1 |
| child 28751 | aad88e7344f0 |
--- a/doc-src/IsarRef/Thy/ROOT.ML Mon Jun 02 23:12:23 2008 +0200 +++ b/doc-src/IsarRef/Thy/ROOT.ML Mon Jun 02 23:38:22 2008 +0200 @@ -9,7 +9,7 @@ use_thy "Spec"; use_thy "Proof"; use_thy "Document_Preparation"; -use_thy "pure"; +use_thy "Misc"; use_thy "Generic"; use_thy "HOL_Specific"; use_thy "Quick_Reference";