isabelle: Changelog

wenzelm [Sun, 18 Dec 2016 13:07:13 +0100] rev 64596

tuned messages -- more symbols;

wenzelm [Sun, 18 Dec 2016 12:34:31 +0100] rev 64595

tuned;

wenzelm [Sun, 18 Dec 2016 12:32:20 +0100] rev 64594

more permissive syntax; more PIDE markup;

haftmann [Sat, 17 Dec 2016 15:22:14 +0100] rev 64593

reoriented congruence rules in non-explosive direction

haftmann [Sat, 17 Dec 2016 15:22:14 +0100] rev 64592

more fine-grained type class hierarchy for div and mod

haftmann [Sat, 17 Dec 2016 15:22:13 +0100] rev 64591

restructured matter on polynomials and normalized fractions

haftmann [Sat, 17 Dec 2016 15:22:13 +0100] rev 64590

streamlined computation rules for primality of numerals: no need to go via explicit conversion to nat

haftmann [Sat, 17 Dec 2016 15:22:13 +0100] rev 64589

tuned fact references

haftmann [Sat, 17 Dec 2016 15:22:13 +0100] rev 64588

clarified library contents

haftmann [Sat, 17 Dec 2016 15:22:13 +0100] rev 64587

standardized notation

isabelle