isabelle: Changelog

blanchet [Tue, 24 Sep 2013 19:15:49 +0200] rev 53832

tuning

panny [Tue, 24 Sep 2013 18:07:09 +0200] rev 53831

support "of" syntax to disambiguate selector equations

blanchet [Tue, 24 Sep 2013 17:54:09 +0200] rev 53830

don't note more induction principles than there are functions + tuning

blanchet [Tue, 24 Sep 2013 17:28:23 +0200] rev 53829

more (co)data docs

blanchet [Tue, 24 Sep 2013 17:06:06 +0200] rev 53828

improved rail diagram

blanchet [Tue, 24 Sep 2013 16:59:14 +0200] rev 53827

use "primcorec" in example

blanchet [Tue, 24 Sep 2013 16:55:29 +0200] rev 53826

use "primcorec" in doc

blanchet [Tue, 24 Sep 2013 16:54:50 +0200] rev 53825

updated keywords

blanchet [Tue, 24 Sep 2013 16:21:04 +0200] rev 53824

updated certificates

blanchet [Tue, 24 Sep 2013 16:21:03 +0200] rev 53823

when "max_thm_instances" is hit, choose more carefully which instances should be kept

isabelle