isabelle: Changelog

blanchet [Fri, 04 Dec 2015 14:15:16 +0100] rev 61782

removed needless complication for modern SMT solvers

haftmann [Thu, 03 Dec 2015 15:33:01 +0100] rev 61781

tuned language

haftmann [Thu, 03 Dec 2015 15:33:00 +0100] rev 61780

moved section according to supposed order of interest

haftmann [Thu, 03 Dec 2015 08:10:58 +0100] rev 61779

consolidated documentation

haftmann [Thu, 03 Dec 2015 08:10:57 +0100] rev 61778

modernized

haftmann [Thu, 03 Dec 2015 08:10:56 +0100] rev 61777

tuned sections

haftmann [Wed, 02 Dec 2015 19:14:57 +0100] rev 61776

modernized

haftmann [Wed, 02 Dec 2015 19:14:57 +0100] rev 61775

alternating parsing and defining of rewrite definitions: formally correct treatment of polymorphism

haftmann [Wed, 02 Dec 2015 19:14:57 +0100] rev 61774

prefer conventional read/check distinction over manual check

haftmann [Wed, 02 Dec 2015 19:14:57 +0100] rev 61773

clarified role of context for reading rewrite specifications

isabelle