haftmann@20946: 
haftmann@20946: (* $Id$ *)
haftmann@20946: 
haftmann@28565: no_document use_thy "Setup";
haftmann@28565: 
haftmann@20946: use_thy "Classes";