isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Tue, 23 Feb 2010 13:57:51 +0100 adding ROOT.ML to HOL-Mutabelle session; uncommenting HOL.induct constants in Mutabelle session

changeset

bulwahn [Tue, 23 Feb 2010 13:57:51 +0100] rev 35325

adding ROOT.ML to HOL-Mutabelle session; uncommenting HOL.induct constants in Mutabelle session

Tue, 23 Feb 2010 13:36:15 +0100 adopting mutabelle and quickcheck to return timing information; exporting make_case_combs in datatype package for predicate compiler; adding Spec_Rules declaration for tail recursive functions; improving the predicate compiler and function flattening

changeset

bulwahn [Tue, 23 Feb 2010 13:36:15 +0100] rev 35324

adopting mutabelle and quickcheck to return timing information; exporting make_case_combs in datatype package for predicate compiler; adding Spec_Rules declaration for tail recursive functions; improving the predicate compiler and function flattening

Tue, 23 Feb 2010 15:20:19 +0100 separated narrowing timeouts for intermediate and final steps

changeset

boehmes [Tue, 23 Feb 2010 15:20:19 +0100] rev 35323

separated narrowing timeouts for intermediate and final steps

Tue, 23 Feb 2010 14:13:14 +0100 merged

changeset

haftmann [Tue, 23 Feb 2010 14:13:14 +0100] rev 35322

merged

Tue, 23 Feb 2010 14:11:32 +0100 merged

changeset

haftmann [Tue, 23 Feb 2010 14:11:32 +0100] rev 35321

merged