isabelle: Changelog

wenzelm [Fri, 07 Dec 2007 17:40:06 +0100] rev 25576

special_end: replaced Z by dot;

wenzelm [Fri, 07 Dec 2007 17:40:05 +0100] rev 25575

output_prompt: CRITICAL;

haftmann [Fri, 07 Dec 2007 15:08:09 +0100] rev 25574

declaration of instance parameter names

haftmann [Fri, 07 Dec 2007 15:08:08 +0100] rev 25573

exported declare_names

haftmann [Fri, 07 Dec 2007 15:08:07 +0100] rev 25572

new primrec

haftmann [Fri, 07 Dec 2007 15:07:59 +0100] rev 25571

instantiation target rather than legacy instance

haftmann [Fri, 07 Dec 2007 15:07:56 +0100] rev 25570

proper treatment of code theorems for primrec

haftmann [Fri, 07 Dec 2007 15:07:54 +0100] rev 25569

dropped Instance.instantiate

krauss [Fri, 07 Dec 2007 10:59:03 +0100] rev 25568

Adding "ex/Induction_Scheme.thy" to tests

krauss [Fri, 07 Dec 2007 09:42:20 +0100] rev 25567

experimental version of automated induction scheme generator (cf. HOL/ex/Induction_Scheme.thy)

isabelle