Tue, 24 Aug 2010 20:36:48 +0200 tuned root markup;
wenzelm [Tue, 24 Aug 2010 20:36:48 +0200] rev 38658
tuned root markup;
Mon, 23 Aug 2010 20:50:00 +0200 misc tuning of important special cases;
wenzelm [Mon, 23 Aug 2010 20:50:00 +0200] rev 38657
misc tuning of important special cases;
Mon, 23 Aug 2010 19:35:57 +0200 Rewrite the Probability theory.
hoelzl [Mon, 23 Aug 2010 19:35:57 +0200] rev 38656
Rewrite the Probability theory. Introduced pinfreal as real numbers with infinity. Use pinfreal as value for measures. Introduces Lebesgue Measure based on the integral in Multivariate Analysis. Proved Radon Nikodym for arbitrary sigma finite measure spaces.
Mon, 23 Aug 2010 17:46:13 +0200 merged
wenzelm [Mon, 23 Aug 2010 17:46:13 +0200] rev 38655
merged
Mon, 23 Aug 2010 15:30:42 +0200 merged
blanchet [Mon, 23 Aug 2010 15:30:42 +0200] rev 38654
merged
Mon, 23 Aug 2010 15:27:50 +0200 use different name for debugging purposes
blanchet [Mon, 23 Aug 2010 15:27:50 +0200] rev 38653
use different name for debugging purposes
Mon, 23 Aug 2010 14:54:17 +0200 perform eta-expansion of quantifier bodies in Sledgehammer translation when needed + transform elim rules later;
blanchet [Mon, 23 Aug 2010 14:54:17 +0200] rev 38652
perform eta-expansion of quantifier bodies in Sledgehammer translation when needed + transform elim rules later; it's a mistake to transform the elim rules too early because then we lose some info, e.g. "no_atp" attributes
Mon, 23 Aug 2010 14:51:56 +0200 "no_atp" fact that leads to unsound Sledgehammer proofs
blanchet [Mon, 23 Aug 2010 14:51:56 +0200] rev 38651
"no_atp" fact that leads to unsound Sledgehammer proofs
Mon, 23 Aug 2010 14:21:57 +0200 "no_atp" fact that leads to unsound proofs in Sledgehammer
blanchet [Mon, 23 Aug 2010 14:21:57 +0200] rev 38650
"no_atp" fact that leads to unsound proofs in Sledgehammer
Mon, 23 Aug 2010 12:13:58 +0200 "no_atp" fact that leads to unsound proofs
blanchet [Mon, 23 Aug 2010 12:13:58 +0200] rev 38649
"no_atp" fact that leads to unsound proofs
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip