isabelle: Changelog

blanchet [Wed, 24 Sep 2014 15:46:41 +0200] rev 58431

updated SMT certificates

blanchet [Wed, 24 Sep 2014 15:46:40 +0200] rev 58430

allow homogeneous nesting for SMT (co)datatypes

blanchet [Wed, 24 Sep 2014 15:46:25 +0200] rev 58429

interleave (co)datatypes in the right order w.r.t. dependencies

blanchet [Wed, 24 Sep 2014 15:46:24 +0200] rev 58428

rule out nested (co)recursion for SMT (co)datatypes

blanchet [Wed, 24 Sep 2014 15:46:23 +0200] rev 58427

gracefully handle types like 'enat' whose coinductive view is registered using 'free_constructors'

blanchet [Wed, 24 Sep 2014 15:46:11 +0200] rev 58426

tuning

blanchet [Wed, 24 Sep 2014 15:45:55 +0200] rev 58425

simpler proof

nipkow [Wed, 24 Sep 2014 11:09:05 +0200] rev 58424

added nice standard syntax

wenzelm [Mon, 22 Sep 2014 21:45:59 +0200] rev 58423

clarified timeout for isatest;

wenzelm [Mon, 22 Sep 2014 21:31:45 +0200] rev 58422

merged

isabelle