| changeset 30130 | e23770bc97c8 |
| parent 29755 | d66b34e46bdf |
| child 30124 | b956bf0dc87c |
--- a/doc-src/IsarImplementation/Thy/ROOT.ML Thu Feb 26 08:44:44 2009 -0800 +++ b/doc-src/IsarImplementation/Thy/ROOT.ML Thu Feb 26 08:48:33 2009 -0800 @@ -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";