blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 51407
expand type classes into their ancestors for MaSh
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 51406
tweaked MaSh features, based on comments by Josef Urban
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 51405
increase weight of local facts again (MaSh)
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 51404
simplify code now that "mash.py" supports weights
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 51403
added weights to MaSh (by Daniel Kuehlwein)
hoelzl [Wed, 05 Dec 2012 15:59:08 +0100] rev 51402
Move the measurability prover to its own file
hoelzl [Wed, 05 Dec 2012 15:58:48 +0100] rev 51401
Show search depth in the debug output of the measurability prover
hoelzl [Wed, 05 Dec 2012 15:58:45 +0100] rev 51400
Remove looping rule from measurability prover
hoelzl [Tue, 04 Dec 2012 20:44:18 +0100] rev 51399
rules for improper Lebesgue integrals (using tendsto at_top)
blanchet [Wed, 05 Dec 2012 13:25:06 +0100] rev 51398
take proximity into account for MaSh + fix a debilitating bug in feature generation