| Mon, 22 Nov 2010 10:41:54 +0100 | bulwahn | adding dependencies to IsaMakefile; adding sledgehammer_tactic in Mirabelle_Test | file | diff | annotate |
| Mon, 30 Aug 2010 10:26:17 +0200 | blanchet | added evaluation method for relevance filter | file | diff | annotate |
| Sat, 12 Sep 2009 16:30:48 +0200 | wenzelm | standard headers and text sections; | file | diff | annotate |
| Fri, 04 Sep 2009 13:57:56 +0200 | boehmes | tuned | file | diff | annotate | base |