src/HOL/Subst/ROOT.ML
1996-01-30 ago expanded tabs
1995-11-21 ago removed make_chart;
1995-10-24 ago added calls of init_html and make_chart
1995-10-04 ago added local simpsets
1995-06-29 ago renamed CHOL to HOL
1995-03-21 ago converted Subst with curried function application