isabelle: Changelog

wenzelm [Tue, 10 Jun 2008 19:15:16 +0200] rev 27123

case_tac/induct_tac: use same declarations as cases/induct;

wenzelm [Tue, 10 Jun 2008 19:15:14 +0200] rev 27122

proper news header; methods case_tac and induct_tac now refer to usual declarations; removed obsolete induct_tac and thm_induct_tac;

wenzelm [Tue, 10 Jun 2008 16:43:26 +0200] rev 27121

removed obsolete read_idents;

wenzelm [Tue, 10 Jun 2008 16:43:23 +0200] rev 27120

added (e)res_inst_tac; tuned comments;

wenzelm [Tue, 10 Jun 2008 16:43:21 +0200] rev 27119

focus: actually declare constraints for local parameters;

wenzelm [Tue, 10 Jun 2008 16:43:16 +0200] rev 27118

tuned proofs;

wenzelm [Tue, 10 Jun 2008 16:43:14 +0200] rev 27117

case_split_tac (works without context);

isabelle