isabelle: Changelog

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

Andreas Lochbihler [Tue, 24 Sep 2013 10:35:37 +0200] rev 53816

make measure_of total

blanchet [Tue, 24 Sep 2013 11:02:42 +0200] rev 53815

encode goal digest in spying log (to detect duplicates)

isabelle