isabelle: Changelog

haftmann [Thu, 05 Sep 2013 18:05:03 +0200] rev 53414

explicit module names have precedence over identifier declarations

haftmann [Thu, 05 Sep 2013 18:05:02 +0200] rev 53413

check explicit module names for conformity

traytel [Thu, 05 Sep 2013 11:10:51 +0200] rev 53412

list_to_set_comprehension: don't crash in case distinctions on datatypes with even number of constructors

panny [Thu, 05 Sep 2013 01:58:48 +0200] rev 53411

support indirect corecursion

wenzelm [Wed, 04 Sep 2013 23:57:38 +0200] rev 53410

tuned proofs;

wenzelm [Wed, 04 Sep 2013 22:37:19 +0200] rev 53409

tuned proofs;

wenzelm [Wed, 04 Sep 2013 21:25:03 +0200] rev 53408

tuned proofs;

wenzelm [Wed, 04 Sep 2013 17:40:07 +0200] rev 53407

tuned;

wenzelm [Wed, 04 Sep 2013 17:36:37 +0200] rev 53406

tuned proofs;

wenzelm [Wed, 04 Sep 2013 17:35:47 +0200] rev 53405

interpret keys more movement only when needed;

isabelle