isabelle: Changelog

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

panny [Tue, 24 Sep 2013 15:16:59 +0200] rev 53822

add "primcorec" command (cf. ae7f50e70c09)

nipkow [Tue, 24 Sep 2013 14:07:23 +0200] rev 53821

merged

nipkow [Tue, 24 Sep 2013 13:35:27 +0200] rev 53820

added lemmas

blanchet [Tue, 24 Sep 2013 12:11:53 +0200] rev 53819

honor MaSh's zero-overhead policy -- no learning if the tool is disabled

blanchet [Tue, 24 Sep 2013 11:57:43 +0200] rev 53818

adapted to reflect renaming of session

Andreas Lochbihler [Tue, 24 Sep 2013 11:33:56 +0200] rev 53817

merged

isabelle