src/HOL/ex/NatSum.ML
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-08-21 paulson 1997-08-21 Replaced Suc(Suc 0) by 2; it improves readability a little
1997-05-21 paulson 1997-05-21 Function "sum" now defined using primrec
1996-06-14 paulson 1996-06-14 Explicitly included add_mult_distrib & add_mult_distrib2
1996-06-03 paulson 1996-06-03 Used 2 instead of Suc(Suc 0)
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-10-04 clasohm 1995-10-04 added local simpsets
1995-03-22 clasohm 1995-03-22 converted ex with curried function application