doc-src/TutorialI/Types/ROOT.ML

added (currently unused) verbose configuration option

no_document use_thy "Setup";

use "../settings.ML";
use_thy "Numbers";
use_thy "Pairs";
use_thy "Records";
use_thy "Typedefs";
use_thy "Overloading";
use_thy "Axioms";