src/HOL/Binomial.thy
Wed, 26 Jul 2006 19:23:04 +0200 webertj linear arithmetic splits certain operators (e.g. min, max, abs)
Fri, 17 Mar 2006 10:04:27 +0100 ballarin Renamed setsum_mult to setsum_right_distrib.
Tue, 20 Sep 2005 14:03:37 +0200 wenzelm tuned theory dependencies;
Thu, 07 Jul 2005 12:36:56 +0200 nipkow Used to be part of Finite_Set (or was it SetInterval?)
less more (0) tip