Wed, 17 Feb 2016 21:51:56 +0100 | haftmann | further generalization and polishing | changeset | files |
Wed, 17 Feb 2016 21:51:56 +0100 | haftmann | pulled out legacy aliasses and infamous dvd interpretations into theory appendix | changeset | files |
Wed, 17 Feb 2016 21:51:56 +0100 | haftmann | prefer abbreviations for compound operators INFIMUM and SUPREMUM | changeset | files |