| Tue, 04 May 2010 20:26:53 +0200 | wenzelm | fixed proof (cf. edc381bf7200); | changeset | files |
| Tue, 04 May 2010 18:19:24 +0200 | hoelzl | Corrected imports; better approximation of dependencies. | changeset | files |
| Tue, 04 May 2010 18:05:22 +0200 | hoelzl | Add Convex to Library build | changeset | files |
| Tue, 04 May 2010 17:53:20 +0200 | hoelzl | Removed unnecessary assumption | changeset | files |
| Tue, 04 May 2010 16:25:16 +0200 | Cezary Kaliszyk | Translating lemmas from Finite_Set to FSet. | changeset | files |
| Tue, 04 May 2010 14:44:30 +0200 | wenzelm | merged | changeset | files |
| Tue, 04 May 2010 14:10:42 +0200 | berghofe | merged | changeset | files |