src/HOL/ex/Gauge_Integration.thy
Fri, 22 Mar 2013 10:41:43 +0100 hoelzl move connected to HOL image; used to show intermediate value theorem
Fri, 19 Oct 2012 15:12:52 +0200 webertj Renamed {left,right}_distrib to distrib_{right,left}.
Thu, 16 Feb 2012 09:51:34 +0100 bulwahn simplifying proof
Sun, 20 Nov 2011 21:05:23 +0100 wenzelm eliminated obsolete "standard";
Mon, 12 Jul 2010 08:58:13 +0200 haftmann dropped superfluous [code del]s
Wed, 24 Feb 2010 10:36:17 -0800 huffman polished and converted some proofs to Isar style
Tue, 23 Feb 2010 17:33:03 +0100 hoelzl Moved old Integration to examples.
less more (0) tip