| changeset 28213 | b52f9205a02d |
| parent 21147 | 737a94f047e3 |
| child 28419 | f65e8b318581 |
--- a/doc-src/IsarAdvanced/Codegen/Thy/ROOT.ML Fri Sep 12 12:04:20 2008 +0200 +++ b/doc-src/IsarAdvanced/Codegen/Thy/ROOT.ML Sun Sep 14 21:50:35 2008 +0200 @@ -2,3 +2,11 @@ (* $Id$ *) use_thy "Codegen"; + +(*no_document use_thy "Setup"; + +use_thy "Introduction"; +use_thy "Program"; +use_thy "Adaption"; +use_thy "Further"; +use_thy "ML";*)