isabelle: Changelog

paulson <lp15@cam.ac.uk> [Thu, 26 Apr 2018 12:55:48 +0100] rev 68043

some of Jose Divasón's material from Rank_Nullity_Theorem/Miscellaneous

wenzelm [Thu, 26 Apr 2018 12:32:13 +0200] rev 68042

spelling;

paulson <lp15@cam.ac.uk> [Wed, 25 Apr 2018 21:29:02 +0100] rev 68041

more messy proofs redone, and new material

paulson [Wed, 25 Apr 2018 16:40:29 +0100] rev 68040

merged

paulson [Wed, 25 Apr 2018 15:36:48 +0100] rev 68039

merged

paulson <lp15@cam.ac.uk> [Wed, 25 Apr 2018 15:36:29 +0100] rev 68038

new material on matricies by Tim Makarios (from Tarskis_Geometry in the AFP)

wenzelm [Wed, 25 Apr 2018 16:03:15 +0200] rev 68037

merged

wenzelm [Wed, 25 Apr 2018 14:13:44 +0200] rev 68036

tuned -- avoid spurious exception trace for "the";

haftmann [Wed, 25 Apr 2018 13:29:21 +0000] rev 68035

proof of concept for residue rings over int using type numerals

haftmann [Wed, 25 Apr 2018 09:04:26 +0000] rev 68034

more correct error message

isabelle