| 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
|