doc-src/IsarAdvanced/Classes/Thy/ROOT.ML
changeset 28565 519b17118926
parent 20946 75b56e51fade
     1.1 --- a/doc-src/IsarAdvanced/Classes/Thy/ROOT.ML	Fri Oct 10 15:23:33 2008 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Classes/Thy/ROOT.ML	Fri Oct 10 15:52:45 2008 +0200
     1.3 @@ -1,4 +1,6 @@
     1.4  
     1.5  (* $Id$ *)
     1.6  
     1.7 +no_document use_thy "Setup";
     1.8 +
     1.9  use_thy "Classes";