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
haftmann@20946
     1
haftmann@20946
     2
(* $Id$ *)
haftmann@20946
     3
haftmann@28565
     4
no_document use_thy "Setup";
haftmann@28565
     5
haftmann@20946
     6
use_thy "Classes";