| 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 |