| Thu, 06 Dec 2012 11:25:10 +0100 | blanchet | increase weight of local facts again (MaSh) | changeset | files |
| Thu, 06 Dec 2012 11:25:10 +0100 | blanchet | simplify code now that "mash.py" supports weights | changeset | files |
| Thu, 06 Dec 2012 11:25:10 +0100 | blanchet | added weights to MaSh (by Daniel Kuehlwein) | changeset | files |
| Wed, 05 Dec 2012 15:59:08 +0100 | hoelzl | Move the measurability prover to its own file | changeset | files |
| Wed, 05 Dec 2012 15:58:48 +0100 | hoelzl | Show search depth in the debug output of the measurability prover | changeset | files |
| Wed, 05 Dec 2012 15:58:45 +0100 | hoelzl | Remove looping rule from measurability prover | changeset | files |
| Tue, 04 Dec 2012 20:44:18 +0100 | hoelzl | rules for improper Lebesgue integrals (using tendsto at_top) | changeset | files |
| Wed, 05 Dec 2012 13:25:06 +0100 | blanchet | take proximity into account for MaSh + fix a debilitating bug in feature generation | changeset | files |