doc-src/TutorialI/Types/ROOT.ML

loads the new theory Numbers.thy

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