| Sun, 02 Nov 2014 17:20:45 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Wed, 29 Oct 2014 17:01:44 +0100 | wenzelm | modernized setup; | file | diff | annotate |
| Thu, 21 Nov 2013 21:33:34 +0100 | blanchet | compile | file | diff | annotate |
| Fri, 14 Dec 2012 16:33:22 +0100 | wenzelm | updated some headers; | file | diff | annotate |
| Wed, 31 Oct 2012 11:23:21 +0100 | blanchet | moved Refute to "HOL/Library" to speed up building "Main" even more | file | diff | annotate | base |