src/HOL/ROOT.ML
1995-10-25 nipkow 1995-10-25 Added various thms and tactics.
1995-10-24 clasohm 1995-10-24 added calls of init_html and make_chart
1995-10-06 regensbu 1995-10-06 added 8bit pragmas
1995-10-04 clasohm 1995-10-04 added local simpsets; removed IOA from 'make test'
1995-06-29 clasohm 1995-06-29 renamed CHOL to HOL
1995-04-10 nipkow 1995-04-10 ROOT.ML: installed new hyp_subst_tac Nat.ML: Changed proof of lessE for new hyp_subst_tac
1995-03-03 clasohm 1995-03-03 new version of HOL with curried function application