| 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
|
| Wed, 25 Apr 2018 13:29:21 +0000 |
haftmann |
proof of concept for residue rings over int using type numerals
|
changeset |
files
|
| Wed, 25 Apr 2018 09:04:26 +0000 |
haftmann |
more correct error message
|
changeset |
files
|
| Wed, 25 Apr 2018 09:04:25 +0000 |
haftmann |
uniform tagging for printable and non-printable literals
|
changeset |
files
|
| Tue, 24 Apr 2018 22:22:25 +0100 |
paulson |
merged
|
changeset |
files
|
| Tue, 24 Apr 2018 22:22:08 +0100 |
paulson |
fixing more messy proofs
|
changeset |
files
|