| Thu, 26 Apr 2018 22:47:22 +0100 | paulson | merged | changeset | files |
| Thu, 26 Apr 2018 22:47:04 +0100 | paulson | more messy proofs | changeset | files |
| Thu, 26 Apr 2018 21:57:23 +0200 | nipkow | merged | changeset | files |
| Thu, 26 Apr 2018 19:51:32 +0200 | nipkow | new simp modifier: reorient | changeset | files |
| Thu, 26 Apr 2018 16:14:35 +0100 | paulson | small typeclass generalisations | changeset | files |
| Thu, 26 Apr 2018 14:03:12 +0100 | paulson | merged | changeset | files |
| Thu, 26 Apr 2018 12:55:48 +0100 | paulson | some of Jose Divasón's material from Rank_Nullity_Theorem/Miscellaneous | changeset | files |
| Thu, 26 Apr 2018 12:32:13 +0200 | wenzelm | spelling; | changeset | files |
| Wed, 25 Apr 2018 21:29:02 +0100 | paulson | more messy proofs redone, and new material | changeset | files |
| Wed, 25 Apr 2018 16:40:29 +0100 | paulson | merged | changeset | files |
| Wed, 25 Apr 2018 15:36:48 +0100 | paulson | merged | changeset | files |
| 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 |