doc-src/IsarAdvanced/Classes/Thy/ROOT.ML
author haftmann
Fri Oct 10 15:52:45 2008 +0200 (2008-10-10)
changeset 28565 519b17118926
parent 20946 75b56e51fade
permissions -rw-r--r--
tuned
     1 
     2 (* $Id$ *)
     3 
     4 no_document use_thy "Setup";
     5 
     6 use_thy "Classes";