doc-src/TutorialI/Types/ROOT.ML

added code_constname keyword

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