src/HOL/AxClasses/Group/ROOT.ML
2000-05-30 wenzelm 2000-05-30 cleaned up;
1999-09-29 wenzelm 1999-09-29 removed force_strip_shyps;
1999-08-17 wenzelm 1999-08-17 removed HOL_quantifiers;
1996-03-12 clasohm 1996-03-12 removed make_chart
1996-01-15 wenzelm 1996-01-15 *** empty log message ***
1995-10-24 clasohm 1995-10-24 added calls of init_html and make_chart
1995-09-01 wenzelm 1995-09-01 Various axiomatic type class demos;