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