isabelle: Changelog

wenzelm [Wed, 04 Jun 2014 18:18:09 +0200] rev 57310

misc tuning and updates;

Andreas Lochbihler [Wed, 25 Jun 2014 07:49:21 +0200] rev 57309

merged

Andreas Lochbihler [Tue, 24 Jun 2014 15:05:58 +0200] rev 57308

add lemma

blanchet [Tue, 24 Jun 2014 15:49:20 +0200] rev 57307

tuning

blanchet [Tue, 24 Jun 2014 15:08:19 +0200] rev 57306

optimized traversal of proof terms by skipping bad apples (e.g. full_exhaustive_int'.pinduct)

blanchet [Tue, 24 Jun 2014 14:56:08 +0200] rev 57305

minor table access optimization

desharna [Tue, 24 Jun 2014 13:48:14 +0200] rev 57304

document property 'rel_coinduct'

desharna [Tue, 24 Jun 2014 13:48:14 +0200] rev 57303

tune the implementation of 'rel_coinduct'

desharna [Tue, 24 Jun 2014 13:48:14 +0200] rev 57302

generate 'rel_coinduct' theorem for codatatypes

desharna [Tue, 24 Jun 2014 13:48:14 +0200] rev 57301

generate 'rel_coinduct0' theorem for codatatypes

isabelle