| 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 |
| Wed, 06 Apr 2011 17:15:06 +0200 | wenzelm | eliminated slightly odd Syntax.rep_syntax; | changeset | files |