isabelle: Changelog

blanchet [Mon, 01 Oct 2012 10:34:58 +0200] rev 49670

changed the type of the recursor for nested recursion

blanchet [Sun, 30 Sep 2012 23:45:03 +0200] rev 49669

fixed quick-and-dirty mode

blanchet [Sun, 30 Sep 2012 22:02:34 +0200] rev 49668

tuning

traytel [Sun, 30 Sep 2012 12:08:16 +0200] rev 49667

use Thm.close_derivation in theorems proved using Skip_Proof.prove; tuned signature;

traytel [Sun, 30 Sep 2012 12:04:47 +0200] rev 49666

got rid of subst_tac alias

traytel [Sun, 30 Sep 2012 12:04:13 +0200] rev 49665

tuned tactic

wenzelm [Sat, 29 Sep 2012 21:59:08 +0200] rev 49664

tuned proofs;

wenzelm [Sat, 29 Sep 2012 21:24:20 +0200] rev 49663

tuned proofs;

wenzelm [Sat, 29 Sep 2012 20:13:50 +0200] rev 49662

proper handling of constraints stemming from idtyp_ast_tr';

wenzelm [Sat, 29 Sep 2012 19:28:03 +0200] rev 49661

enable show_markup by default (approx. double output size);

isabelle