| Fri, 01 Jul 2011 15:53:38 +0200 | renamed "type_sys" to "type_enc", which is more accurate | file | diff | annotate |
| Tue, 07 Jun 2011 08:52:35 +0200 | 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:56:06 +0200 | generate less type information in polymorphic case | file | diff | annotate |
| Mon, 06 Jun 2011 20:56:06 +0200 | Metis code cleanup | file | diff | annotate |
| Mon, 06 Jun 2011 20:36:35 +0200 | more preparations towards hijacking Metis | file | diff | annotate |
| Mon, 06 Jun 2011 20:36:35 +0200 | reintroduced metisFT in example | file | diff | annotate |
| Mon, 06 Jun 2011 20:36:35 +0200 | tuned Metis examples | file | diff | annotate | base |