Thu, 05 Dec 2019 12:09:33 +0000 | haftmann | removed some vain declarations | changeset | files |
Thu, 05 Dec 2019 13:51:09 +0100 | nipkow | merged | changeset | files |
Thu, 05 Dec 2019 11:21:17 +0100 | nipkow | made Starlike independent of Abstract_Limits | changeset | files |