src/HOL/Binomial.thy
2006-07-26 webertj 2006-07-26 linear arithmetic splits certain operators (e.g. min, max, abs)
2006-03-17 ballarin 2006-03-17 Renamed setsum_mult to setsum_right_distrib.
2005-09-20 wenzelm 2005-09-20 tuned theory dependencies;
2005-07-07 nipkow 2005-07-07 Used to be part of Finite_Set (or was it SetInterval?) Added binomial thm.