Wed, 19 Mar 2014 15:34:57 +0100 | hoelzl | further renaming in Series | changeset | files |
Tue, 18 Mar 2014 22:11:46 +0100 | haftmann | consolidated theorem names containing INFI and SUPR: have INF and SUP instead uniformly | changeset | files |
Tue, 18 Mar 2014 21:02:33 +0100 | wenzelm | merged; | changeset | files |