src/HOL/Binomial.thy
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.