renamed AxClass.get_definition to AxClass.get_info (again);
tuned intro_classes_tac;
(* $Id$ *)
no_document use_thy "While_Combinator";
use_thys ["J/JTypeSafe", "J/Example", "J/JListExample",
"JVM/JVMListExample", "JVM/JVMDefensive", "BV/LBVJVM",
"BV/BVNoTypeError", "BV/BVExample", "Comp/CorrComp",
"Comp/CorrCompTp"];