doc-src/TutorialI/Types/ROOT.ML

adapt monotonicity code to four annotation types

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";