isabelle: Changelog

wenzelm [Tue, 14 Oct 2014 19:38:41 +0200] rev 58682

access class hierarchy; smash access to null;

haftmann [Tue, 14 Oct 2014 08:23:23 +0200] rev 58681

legacy cleanup

haftmann [Tue, 14 Oct 2014 08:23:23 +0200] rev 58680

more algebraic deductions for facts on even/odd

haftmann [Tue, 14 Oct 2014 08:23:23 +0200] rev 58679

more algebraic deductions for facts on even/odd

haftmann [Tue, 14 Oct 2014 08:23:23 +0200] rev 58678

purely algebraic characterization of even and odd

desharna [Tue, 14 Oct 2014 16:19:42 +0200] rev 58677

document 'sel_transfer'

desharna [Tue, 14 Oct 2014 16:17:36 +0200] rev 58676

generate 'sel_transfer' for (co)datatypes

desharna [Tue, 14 Oct 2014 16:17:34 +0200] rev 58675

add 'kind' to 'cr_sugar'

desharna [Tue, 14 Oct 2014 15:39:57 +0200] rev 58674

add 'fp_bnf' to 'bnf_sugar'

desharna [Tue, 14 Oct 2014 15:39:56 +0200] rev 58673

preserve the structure of 'set_intros' theorem in ML

isabelle