Fri, 10 Dec 2010 16:10:50 +0100 | haftmann | moved most fundamental lemmas upwards | changeset | files |
Fri, 10 Dec 2010 14:10:35 +0100 | bulwahn | setting finite_type_size to 1 in mutabelle_extra | changeset | files |
Fri, 10 Dec 2010 11:42:05 +0100 | bulwahn | adding check_all instances for a few more finite types in smallcheck | changeset | files |