doc-src/TutorialI/Types/ROOT.ML

separated into global template vs. thread-local value;
made setmp thread-local (non-critical);
added closure;

(* ID:         $Id$ *)
use "../settings.ML";
use_thy "Numbers";
use_thy "Pairs";
use_thy "Records";
use_thy "Typedefs";
use_thy "Overloading0";
use_thy "Overloading2";
use_thy "Axioms";