src/HOL/Fun.ML
1996-04-19 clasohm 1996-04-19 removed assignment of HOL_ss to simpset
1996-03-11 paulson 1996-03-11 set_cs now includes singleton_inject
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-10-04 clasohm 1995-10-04 added local simpsets; removed IOA from 'make test'
1995-03-03 clasohm 1995-03-03 new version of HOL with curried function application