haftmann [Fri, 10 Dec 2010 16:10:57 +0100] rev 41108
merged
haftmann [Fri, 10 Dec 2010 16:10:50 +0100] rev 41107
moved most fundamental lemmas upwards
bulwahn [Fri, 10 Dec 2010 14:10:35 +0100] rev 41106
setting finite_type_size to 1 in mutabelle_extra
bulwahn [Fri, 10 Dec 2010 11:42:05 +0100] rev 41105
adding check_all instances for a few more finite types in smallcheck
bulwahn [Fri, 10 Dec 2010 11:42:04 +0100] rev 41104
removing unneccassary sort constraints
krauss [Fri, 10 Dec 2010 09:18:17 +0100] rev 41103
made smlnj happy
haftmann [Thu, 09 Dec 2010 17:26:08 +0100] rev 41102
merged
haftmann [Thu, 09 Dec 2010 17:25:43 +0100] rev 41101
tuned names
haftmann [Thu, 09 Dec 2010 17:25:43 +0100] rev 41100
dictionary constants must permit explicit weakening of classes;
tuned names
haftmann [Thu, 09 Dec 2010 09:58:33 +0100] rev 41099
tracing of term to be evaluated
hoelzl [Thu, 09 Dec 2010 10:22:17 +0100] rev 41098
merged
hoelzl [Wed, 08 Dec 2010 19:32:11 +0100] rev 41097
use SUPR_ and INFI_apply instead of SUPR_, INFI_fun_expand
hoelzl [Wed, 08 Dec 2010 16:15:14 +0100] rev 41096
integral over setprod
hoelzl [Wed, 08 Dec 2010 16:15:14 +0100] rev 41095
cleanup bijectivity btw. product spaces and pairs
blanchet [Thu, 09 Dec 2010 08:46:04 +0100] rev 41094
compile
blanchet [Wed, 08 Dec 2010 22:18:37 +0100] rev 41093
lower fudge factor