src/HOL/ROOT.ML
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