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 |
Fri, 10 Dec 2010 11:42:04 +0100 | bulwahn | removing unneccassary sort constraints | changeset | files |