| Wed, 02 May 2012 11:47:45 +0200 | wenzelm | updated headers; | file | diff | annotate |
| Tue, 24 Apr 2012 13:59:29 +0100 | sultana | reversed Tools to Actions Mirabelle renaming; | file | diff | annotate | base |
| Fri, 05 Mar 2010 23:52:09 +0100 | wenzelm | tuned dead code; | file | diff | annotate |
| Fri, 02 Oct 2009 21:42:31 +0200 | wenzelm | Refute.refute_goal: goal addressing from 1 as usual; | 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 |
| Wed, 02 Sep 2009 16:23:53 +0200 | boehmes | moved Mirabelle from HOL/Tools to HOL, | file | diff | annotate | base |