| changeset 29755 | d66b34e46bdf |
| parent 20472 | e993073eda4c |
| child 30124 | b956bf0dc87c |
--- a/doc-src/IsarImplementation/Thy/ROOT.ML Mon Feb 16 20:25:21 2009 +0100 +++ b/doc-src/IsarImplementation/Thy/ROOT.ML Mon Feb 16 20:47:44 2009 +0100 @@ -1,11 +1,8 @@ - -(* $Id$ *) - -use_thy "prelim"; -use_thy "logic"; -use_thy "tactic"; -use_thy "proof"; -use_thy "isar"; -use_thy "locale"; -use_thy "integration"; +use_thy "Prelim"; +use_thy "Logic"; +use_thy "Tactic"; +use_thy "Proof"; +use_thy "Isar"; +use_thy "Local_Theory"; +use_thy "Integration"; use_thy "ML";