Thu, 05 Mar 2015 17:30:29 +0000 The function frac. Various lemmas about limits, series, the exp function, etc.
paulson <lp15@cam.ac.uk> [Thu, 05 Mar 2015 17:30:29 +0000] rev 59613
The function frac. Various lemmas about limits, series, the exp function, etc.
Thu, 05 Mar 2015 16:45:24 +0100 avoid needless 'if ... undefined' in generated theorems
blanchet [Thu, 05 Mar 2015 16:45:24 +0100] rev 59612
avoid needless 'if ... undefined' in generated theorems
Thu, 05 Mar 2015 15:44:37 +0100 strengthened tactic
blanchet [Thu, 05 Mar 2015 15:44:37 +0100] rev 59611
strengthened tactic
Thu, 05 Mar 2015 14:58:35 +0100 strengthened tactic
blanchet [Thu, 05 Mar 2015 14:58:35 +0100] rev 59610
strengthened tactic
Thu, 05 Mar 2015 14:25:45 +0100 deal better with corecursion through functions
blanchet [Thu, 05 Mar 2015 14:25:45 +0100] rev 59609
deal better with corecursion through functions
Thu, 05 Mar 2015 13:44:41 +0100 removed too strict checks
blanchet [Thu, 05 Mar 2015 13:44:41 +0100] rev 59608
removed too strict checks
Thu, 05 Mar 2015 12:32:11 +0100 message tuning
blanchet [Thu, 05 Mar 2015 12:32:11 +0100] rev 59607
message tuning
Thu, 05 Mar 2015 12:19:05 +0100 tuning
blanchet [Thu, 05 Mar 2015 12:19:05 +0100] rev 59606
tuning
Thu, 05 Mar 2015 11:57:34 +0100 improved primcorec messages
blanchet [Thu, 05 Mar 2015 11:57:34 +0100] rev 59605
improved primcorec messages
Thu, 05 Mar 2015 11:57:34 +0100 improved primcorec messages
blanchet [Thu, 05 Mar 2015 11:57:34 +0100] rev 59604
improved primcorec messages
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip