isabelle: Changelog

nipkow [Fri, 20 Feb 2009 23:46:03 +0100] rev 30031

Removed redundant lemmas

haftmann [Fri, 20 Feb 2009 21:29:34 +0100] rev 30030

merged

haftmann [Fri, 20 Feb 2009 21:29:24 +0100] rev 30029

also consider superclasses properly

nipkow [Fri, 20 Feb 2009 20:51:06 +0100] rev 30028

merged

nipkow [Fri, 20 Feb 2009 20:50:49 +0100] rev 30027

removed subsumed lemmas

haftmann [Fri, 20 Feb 2009 18:33:38 +0100] rev 30026

merged

haftmann [Fri, 20 Feb 2009 18:33:28 +0100] rev 30025

datatype antiquotation: always bracket types with spaces in between

haftmann [Fri, 20 Feb 2009 18:29:11 +0100] rev 30024

consequent use of term `code equation`

haftmann [Fri, 20 Feb 2009 18:29:10 +0100] rev 30023

permissive check for pattern discipline in case schemes

haftmann [Fri, 20 Feb 2009 18:29:10 +0100] rev 30022

maintain order of constructors in datatypes; clarified conventions for type schemes

isabelle