isabelle: Changelog

webertj [Mon, 11 Dec 2006 16:58:19 +0100] rev 21768

ordered lists instead of tables for resolving hyps; speedup

berghofe [Mon, 11 Dec 2006 16:53:00 +0100] rev 21767

nominal_primrec now prints initial proof state.

berghofe [Mon, 11 Dec 2006 16:06:59 +0100] rev 21766

Abbreviations can now be specified simultaneously with introduction rules.

berghofe [Mon, 11 Dec 2006 16:06:14 +0100] rev 21765

Adapted to new inductive definition package.

wenzelm [Mon, 11 Dec 2006 12:28:16 +0100] rev 21764

added ProofGeneral settings;

wenzelm [Sun, 10 Dec 2006 22:27:06 +0100] rev 21763

tuned comments;

wenzelm [Sun, 10 Dec 2006 22:27:05 +0100] rev 21762

tuned;

wenzelm [Sun, 10 Dec 2006 22:27:03 +0100] rev 21761

defs: increased entropy of mixfix handling;

wenzelm [Sun, 10 Dec 2006 20:09:08 +0100] rev 21760

fixed term_of_list;

wenzelm [Sun, 10 Dec 2006 19:37:30 +0100] rev 21759

Concrete syntax for hex chars and strings.

isabelle