| Fri, 30 Apr 2010 14:00:09 +0200 | blanchet | minor improvements | file | diff | annotate |
| Thu, 29 Apr 2010 19:02:04 +0200 | blanchet | redid some Sledgehammer/Metis proofs | file | diff | annotate |
| Tue, 20 Oct 2009 19:52:04 +0200 | wenzelm | modernized session Metis_Examples; | file | diff | annotate | base |