| Sat, 11 Dec 2010 10:35:40 -0800 | huffman | new powerdomain lemmas | changeset | files |
| Sat, 11 Dec 2010 00:14:12 +0100 | krauss | made smlnj happy | changeset | files |
| Fri, 10 Dec 2010 16:10:57 +0100 | haftmann | merged | changeset | files |
| 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 |
| Fri, 10 Dec 2010 11:42:04 +0100 | bulwahn | removing unneccassary sort constraints | changeset | files |
| Fri, 10 Dec 2010 09:18:17 +0100 | krauss | made smlnj happy | changeset | files |
| Thu, 09 Dec 2010 17:26:08 +0100 | haftmann | merged | changeset | files |
| Thu, 09 Dec 2010 17:25:43 +0100 | haftmann | tuned names | changeset | files |
| Thu, 09 Dec 2010 17:25:43 +0100 | haftmann | dictionary constants must permit explicit weakening of classes; | changeset | files |
| Thu, 09 Dec 2010 09:58:33 +0100 | haftmann | tracing of term to be evaluated | changeset | files |
| Thu, 09 Dec 2010 10:22:17 +0100 | hoelzl | merged | changeset | files |
| Wed, 08 Dec 2010 19:32:11 +0100 | hoelzl | use SUPR_ and INFI_apply instead of SUPR_, INFI_fun_expand | changeset | files |
| Wed, 08 Dec 2010 16:15:14 +0100 | hoelzl | integral over setprod | changeset | files |