isabelle: Changelog

wenzelm [Thu, 09 Jul 2015 00:39:49 +0200] rev 60697

clarified context;

wenzelm [Wed, 08 Jul 2015 21:33:00 +0200] rev 60696

clarified context;

wenzelm [Wed, 08 Jul 2015 19:28:43 +0200] rev 60695

Variable.focus etc.: optional bindings provided by user; Subgoal.focus command: more careful treatment of user-provided bindings;

wenzelm [Wed, 08 Jul 2015 15:37:32 +0200] rev 60694

clarified text folds: proof ... qed counts as extra block;

wenzelm [Wed, 08 Jul 2015 14:30:00 +0200] rev 60693

more accurate skip_proofs nesting, e.g. relevant for 'subgoal' command;

wenzelm [Wed, 08 Jul 2015 12:09:44 +0200] rev 60692

tuned;

wenzelm [Wed, 08 Jul 2015 11:50:43 +0200] rev 60691

tuned according to a81dc82ecba3;

haftmann [Wed, 08 Jul 2015 20:19:12 +0200] rev 60690

tuned facts

haftmann [Wed, 08 Jul 2015 14:01:41 +0200] rev 60689

more cautious use of [iff] declarations

haftmann [Wed, 08 Jul 2015 14:01:41 +0200] rev 60688

avoid explicit definition of the relation of associated elements in a ring -- prefer explicit normalization instead

isabelle