| Wed, 25 Apr 2018 15:36:29 +0100 | paulson | new material on matricies by Tim Makarios (from Tarskis_Geometry in the AFP) | changeset | files |
| Wed, 25 Apr 2018 16:03:15 +0200 | wenzelm | merged | changeset | files |
| Wed, 25 Apr 2018 14:13:44 +0200 | wenzelm | tuned -- avoid spurious exception trace for "the"; | changeset | files |