| Tue, 03 Apr 2012 16:26:48 +0200 | kuncar | new package Lifting - initial commit | file | diff | annotate |
| Tue, 07 Jun 2011 08:52:35 +0200 | blanchet | obsoleted "metisFT", and added "no_types" version of Metis as fallback to Sledgehammer after noticing how useful it can be | file | diff | annotate |
| Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | tuned Metis examples | file | diff | annotate | base |