| Tue, 18 Mar 2014 15:53:48 +0100 | hoelzl | cleanup Series: sorted according to typeclass hierarchy, use {..<_} instead of {0..<_} | changeset | files |
| Tue, 18 Mar 2014 14:32:23 +0100 | traytel | changed policy when to define constants | changeset | files |
| Tue, 18 Mar 2014 11:47:59 +0100 | traytel | tuned proofs; removed duplicated facts | changeset | files |
| Tue, 18 Mar 2014 10:12:58 +0100 | immler | additional lemmas | changeset | files |
| Tue, 18 Mar 2014 10:12:58 +0100 | immler | removed dependencies on theory Ordered_Euclidean_Space | changeset | files |
| Tue, 18 Mar 2014 10:12:57 +0100 | immler | use cbox to relax class constraints | changeset | files |
| Mon, 17 Mar 2014 21:56:32 +0100 | wenzelm | merged | changeset | files |
| Mon, 17 Mar 2014 20:54:41 +0100 | wenzelm | tuned; | changeset | files |