Tue, 23 Feb 2010 13:36:15 +0100 | bulwahn | 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 | file | diff | annotate |
Wed, 10 Feb 2010 14:12:04 +0100 | haftmann | moved less_eq, less to Orderings.thy; moved abs, sgn to Groups.thy | file | diff | annotate |
Thu, 28 Jan 2010 11:48:49 +0100 | haftmann | new theory Algebras.thy for generic algebraic structures | file | diff | annotate |
Mon, 25 Jan 2010 16:19:42 +0100 | bulwahn | adding Mutabelle to repository | file | diff | annotate |