Tue, 19 Jun 2018 23:11:00 +0100 | paulson | Partial de-apply of Divisibility | changeset | files |
Tue, 19 Jun 2018 21:02:32 +0200 | ballarin | In interpretation commands, clarify what to do with definitions immediately subject to rewriting. | changeset | files |
Tue, 19 Jun 2018 12:14:31 +0100 | paulson | merged | changeset | files |
Tue, 19 Jun 2018 12:14:12 +0100 | paulson | fixing overloading problems involving vector cross products | changeset | files |