src/HOL/add_ind_def.ML
1996-11-28 paulson 1996-11-28 Replaced map...~~ by ListPair.map
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-12-08 paulson 1995-12-08 Improved error message, suggesting addition of type constraints if occurrences of the recursive set remain in the fixedpoint definition.
1995-07-25 lcp 1995-07-25 Changed comments
1995-03-03 clasohm 1995-03-03 new version of HOL with curried function application