| Wed, 06 Apr 2011 21:55:41 +0200 | wenzelm | moved type syntax translations to syn_trans.ML; | changeset | files |
| Wed, 06 Apr 2011 18:36:28 +0200 | wenzelm | made SML/NJ happy (cf. 578a51fae383); | changeset | files |
| Wed, 06 Apr 2011 18:17:19 +0200 | wenzelm | merged | changeset | files |
| Wed, 06 Apr 2011 13:08:44 +0200 | bulwahn | merged | changeset | files |
| Wed, 06 Apr 2011 10:58:18 +0200 | bulwahn | changing ensure_sort_datatype call in narrowing quickcheck (missed in 1491b7209e76) | changeset | files |
| Tue, 05 Apr 2011 19:55:04 +0200 | hoelzl | prove measurable_into_infprod_algebra and measure_infprod | changeset | files |
| Tue, 05 Apr 2011 17:10:51 +0200 | hoelzl | Rename extensional to extensionalD (extensional is also defined in FuncSet) | changeset | files |