Wed, 21 Sep 2016 16:59:51 +0100 | paulson | new material about topological concepts, etc | changeset | files |
Wed, 21 Sep 2016 14:20:07 +0100 | paulson | vector_add_divide_simps now a "named theorems" bundle | changeset | files |
Tue, 20 Sep 2016 22:31:50 +0200 | wenzelm | tuned -- fewer warnings; | changeset | files |