Tue, 29 Aug 2017 17:41:27 +0100 paulson merged
Tue, 29 Aug 2017 17:41:11 +0100 paulson last-minute integration unscrambling
Tue, 29 Aug 2017 18:30:23 +0200 blanchet towards support for HO SMT-LIB
Tue, 29 Aug 2017 16:24:14 +0200 eberlm Some small lemmas about polynomials and FPSs
Tue, 29 Aug 2017 17:01:11 +0200 nipkow tuned names
Tue, 29 Aug 2017 16:54:54 +0200 nipkow simpler definition
Tue, 29 Aug 2017 15:37:02 +0200 nipkow typo
Tue, 29 Aug 2017 15:07:15 +0200 nipkow tuned
Tue, 29 Aug 2017 13:56:15 +0200 blanchet tuned messages
Tue, 29 Aug 2017 13:56:14 +0200 blanchet improved Vampire proof parser
Tue, 29 Aug 2017 12:05:00 +0200 nipkow new file
Tue, 29 Aug 2017 11:08:42 +0200 wenzelm proper theory name;
Tue, 29 Aug 2017 07:27:10 +0200 nipkow news
Mon, 28 Aug 2017 22:32:22 +0100 paulson merged
Mon, 28 Aug 2017 22:31:47 +0100 paulson final cleanup of negligible_standard_hyperplane and other things
Mon, 28 Aug 2017 20:33:20 +0100 paulson merged
Mon, 28 Aug 2017 20:33:08 +0100 paulson sorted out cases in negligible_standard_hyperplane
Mon, 28 Aug 2017 20:02:43 +0100 paulson Unscrambling continues as far as negligible_standard_hyperplane
Mon, 28 Aug 2017 16:30:51 +0100 paulson unscrambled has_integral_restrict_open_subinterval
Mon, 28 Aug 2017 13:41:03 +0100 paulson merged
Mon, 28 Aug 2017 13:40:41 +0100 paulson Giant cleanup of fundamental_theorem_of_calculus_interior
Mon, 28 Aug 2017 00:12:07 +0100 paulson work on indefinite_integral_continuous_left, etc.
Mon, 28 Aug 2017 21:18:47 +0200 wenzelm merged
Mon, 28 Aug 2017 20:15:11 +0200 wenzelm not ready for release;
Mon, 28 Aug 2017 19:06:00 +0200 wenzelm updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
Mon, 28 Aug 2017 18:27:21 +0200 nipkow merged
Mon, 28 Aug 2017 18:27:16 +0200 nipkow added eta_expansion and its documentation.
Sat, 26 Aug 2017 18:58:40 +0200 eberlm More material on infinite sums
Sun, 27 Aug 2017 16:17:44 +0100 paulson merged
Sun, 27 Aug 2017 16:17:24 +0100 paulson some tidying of division_of_nontrivial
Sun, 27 Aug 2017 13:50:23 +0100 paulson division_of_nontrivial partial cleanup
Sun, 27 Aug 2017 16:56:25 +0200 nipkow tuning
Sun, 27 Aug 2017 13:02:13 +0200 nipkow tuned
Sat, 26 Aug 2017 23:58:03 +0100 paulson merged
Sat, 26 Aug 2017 23:57:50 +0100 paulson Elimination of some "presume"
Sat, 26 Aug 2017 18:04:27 +0100 paulson unscrambled Henstock_lemma_part1
Sat, 26 Aug 2017 17:57:04 +0200 nipkow merged
Sat, 26 Aug 2017 17:52:00 +0200 nipkow tuned
Sat, 26 Aug 2017 16:47:25 +0200 nipkow reorganized and added log-related lemmas
Sat, 26 Aug 2017 12:56:17 +0100 paulson merged
Sat, 26 Aug 2017 00:43:26 +0100 paulson unscrambling esp of Henstock_lemma_part1
Fri, 25 Aug 2017 23:30:36 +0100 paulson starting to unscramble bounded_variation_absolutely_integrable_interval
Sat, 26 Aug 2017 09:10:42 +0200 nipkow tuned proofs
Fri, 25 Aug 2017 23:09:56 +0200 nipkow reorganization of tree lemmas; new lemmas
Fri, 25 Aug 2017 13:01:13 +0100 paulson merged
Fri, 25 Aug 2017 13:01:01 +0100 paulson unscrambling of integrable_alt
Fri, 25 Aug 2017 11:10:03 +0100 paulson renamed s to S to work with previous change
Thu, 24 Aug 2017 23:04:47 +0100 paulson merged
Thu, 24 Aug 2017 23:04:33 +0100 paulson work on integrable_alt, etc.
Thu, 24 Aug 2017 21:41:13 +0100 paulson tidying up has_integral'
Thu, 24 Aug 2017 17:15:53 +0100 paulson more elimination of "guess", etc.
Fri, 25 Aug 2017 08:59:54 +0200 nipkow Added lemmas
Thu, 24 Aug 2017 17:41:49 +0200 haftmann swapping of theory dependency yields less pervasive syntax requiring popular symbols \<mu>, \<nu>
Thu, 24 Aug 2017 17:24:12 +0200 haftmann more correct output syntax declaration
Thu, 24 Aug 2017 21:56:26 +0200 nipkow tuned
Thu, 24 Aug 2017 12:45:46 +0100 paulson Merge (non-trivial)
Wed, 23 Aug 2017 23:46:35 +0100 paulson More tidying, and renaming of theorems
Wed, 23 Aug 2017 19:54:30 +0100 paulson merged
Wed, 23 Aug 2017 19:54:11 +0100 paulson More tidying up of monotone_convergence_interval
Thu, 24 Aug 2017 10:47:56 +0200 blanchet tuning (proofs and code)
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip