| Thu, 20 Dec 2012 15:51:27 +0100 | blanchet | better weight functions for MePo/MaSh etc. | file | diff | annotate |
| Wed, 05 Dec 2012 13:25:06 +0100 | blanchet | take proximity into account for MaSh + fix a debilitating bug in feature generation | file | diff | annotate |
| Wed, 05 Dec 2012 13:25:06 +0100 | blanchet | tuning | file | diff | annotate |
| Mon, 12 Nov 2012 14:46:42 +0100 | blanchet | fixed detection of tautologies -- things like "a = b" in a structured proof, where a and b are Frees, shouldn't be discarted as tautologies | file | diff | annotate |
| Fri, 20 Jul 2012 22:43:51 +0200 | blanchet | tune Mesh filter | file | diff | annotate |
| Fri, 20 Jul 2012 22:19:46 +0200 | blanchet | honor suggested MaSh weights | file | diff | annotate |
| Fri, 20 Jul 2012 22:19:45 +0200 | blanchet | renamed ML structures | file | diff | annotate |
| Fri, 20 Jul 2012 22:19:45 +0200 | blanchet | renamed ML files | file | diff | annotate | base |