isabelle: Changelog

wenzelm [Mon, 01 Mar 2010 17:45:02 +0100] rev 35421

repaired 'definition' (cf. d8d7d1b785af);

wenzelm [Mon, 01 Mar 2010 17:14:39 +0100] rev 35420

merged

krauss [Mon, 01 Mar 2010 17:05:57 +0100] rev 35419

more recdef (and old primrec) hunting

krauss [Mon, 01 Mar 2010 16:42:45 +0100] rev 35418

killed recdefs in HOL-Auth

haftmann [Mon, 01 Mar 2010 13:42:31 +0100] rev 35417

merged

haftmann [Mon, 01 Mar 2010 13:40:23 +0100] rev 35416

replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 01 Mar 2010 12:30:55 +0100] rev 35415

export add_quotient_type.

wenzelm [Mon, 01 Mar 2010 17:12:43 +0100] rev 35414

updated generated files;

wenzelm [Mon, 01 Mar 2010 17:09:42 +0100] rev 35413

added type_notation command;

wenzelm [Mon, 01 Mar 2010 17:07:36 +0100] rev 35412

more uniform treatment of syntax for types vs. consts;

isabelle