Sat, 31 May 2014 09:35:08 +0200 | haftmann | tuned names | changeset | files |
Sat, 31 May 2014 09:35:07 +0200 | haftmann | dropped accidental duplicate application of morphism | changeset | files |
Fri, 30 May 2014 18:48:05 +0200 | hoelzl | generalizd measurability on restricted space; rule for integrability on compact sets | changeset | files |
Fri, 30 May 2014 15:56:30 +0200 | hoelzl | better support for restrict_space | changeset | files |
Fri, 30 May 2014 18:13:40 +0200 | nipkow | must not cancel common factors on both sides of (in)equations in linear arithmetic decicision procedure | changeset | files |
Fri, 30 May 2014 16:10:57 +0200 | wenzelm | merged | changeset | files |