2006-01-07 wenzelm [Sat, 07 Jan 2006 23:27:52 +0100] rev 18613
added Isar/specification.ML;
src/Pure/IsaMakefile src/Pure/Isar/ROOT.ML

2006-01-07 wenzelm [Sat, 07 Jan 2006 23:27:51 +0100] rev 18612
updated;
etc/isar-keywords-ZF.el etc/isar-keywords.el

2006-01-07 urbanc [Sat, 07 Jan 2006 13:50:38 +0100] rev 18611
another change for the new induct-method
src/HOL/Nominal/Examples/SN.thy

2006-01-07 wenzelm [Sat, 07 Jan 2006 12:28:25 +0100] rev 18610
RuleCases.make_nested;
src/HOL/Nominal/nominal_induct.ML

2006-01-07 wenzelm [Sat, 07 Jan 2006 12:26:35 +0100] rev 18609
support nested cases;
tuned apply_case;
src/Pure/Isar/proof_context.ML

2006-01-07 wenzelm [Sat, 07 Jan 2006 12:26:33 +0100] rev 18608
support nested cases;
added apply_case;
replaced make/simple by make_common/nested/simple;
src/Pure/Isar/rule_cases.ML

2006-01-07 wenzelm [Sat, 07 Jan 2006 12:26:32 +0100] rev 18607
RuleCases.make_common;
src/Pure/Isar/proof.ML

2006-01-07 wenzelm [Sat, 07 Jan 2006 12:26:31 +0100] rev 18606
pretty_locale: backquote notes;
src/Pure/Isar/element.ML

2006-01-07 wenzelm [Sat, 07 Jan 2006 12:26:29 +0100] rev 18605
RuleCases.make_simple;
src/Pure/Isar/auto_bind.ML

2006-01-07 wenzelm [Sat, 07 Jan 2006 12:26:28 +0100] rev 18604
tuned order;
src/Pure/Isar/ROOT.ML