haftmann [Mon, 26 Sep 2016 07:56:54 +0200] rev 63950
syntactic type class for operation mod named after mod;
simplified assumptions of type class semiring_div
haftmann [Mon, 26 Sep 2016 07:56:54 +0200] rev 63949
dropped tautological pattern
haftmann [Mon, 26 Sep 2016 07:56:54 +0200] rev 63948
more warning comments
haftmann [Mon, 26 Sep 2016 07:56:54 +0200] rev 63947
more lemmas
haftmann [Mon, 26 Sep 2016 07:56:53 +0200] rev 63946
spelling
paulson <lp15@cam.ac.uk> [Tue, 27 Sep 2016 16:24:53 +0100] rev 63945
a few new theorems and a renaming
hoelzl [Mon, 26 Sep 2016 16:57:05 +0200] rev 63944
use filter to define Henstock-Kurzweil integration
Lars Hupel <lars.hupel@mytum.de> [Sat, 24 Sep 2016 15:56:54 +0200] rev 63943
include generation time in statistics
Lars Hupel <lars.hupel@mytum.de> [Sat, 24 Sep 2016 15:33:55 +0200] rev 63942
CI script to generate timing statistics
hoelzl [Fri, 23 Sep 2016 18:34:34 +0200] rev 63941
move absolutely_integrable_on to Equivalence_Lebesgue_Henstock_Integration, now based on the Lebesgue integral