Sat, 17 Dec 2016 15:22:00 +0100 | haftmann | redundant | changeset | files |
Sat, 17 Dec 2016 15:22:00 +0100 | haftmann | renewed and spread FIXME tags on watering bin interpretation, which got partially lost in 9f089287687b | changeset | files |
Sat, 17 Dec 2016 15:22:00 +0100 | haftmann | added lemmas demanded by FIXMEs | changeset | files |