src/HOL/AxClasses/Tutorial/ROOT.ML
1996-03-12 clasohm 1996-03-12 removed make_chart
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;