src/HOL/AxClasses/Group/ROOT.ML

added calls of init_html and make_chart

(*  Title:      HOL/AxClasses/Group/ROOT.ML
    ID:         $Id$
    Author:     Markus Wenzel, TU Muenchen

(* FIXME comment *)
Elementary algebra via axiomatic type classes.
*)

reset HOL_quantifiers;
set show_types;
set show_sorts;

(*disable bug compatibility*)
reset force_strip_shyps;

set force_strip_shyps;(* FIXME tmp hack *)


use_thy "Sigs";

use_thy "Monoid";
use_thy "Group";

use_thy "MonoidGroupInsts";

use_thy "GroupDefs";
use_thy "GroupInsts";

make_chart ();   (*make HTML chart*)