Mon, 28 Jun 2010 15:03:07 +0200 | haftmann | merged constants "split" and "prod_case" | file | diff | annotate |
Wed, 21 Apr 2010 12:10:52 +0200 | bulwahn | added further inlining of boolean constants to the predicate compiler | file | diff | annotate |
Wed, 21 Apr 2010 12:10:52 +0200 | bulwahn | added peephole optimisations to the predicate compiler; added structure Predicate_Compile_Simps for peephole optimisations | file | diff | annotate |
Wed, 31 Mar 2010 16:44:41 +0200 | bulwahn | adding setup for handling arithmetic of natural numbers and integers precisely and more efficiently in the predicate compiler; changed alternative size_list definition for predicate compiler | file | diff | annotate |
Wed, 24 Mar 2010 17:40:43 +0100 | bulwahn | moved further predicate compile files to HOL-Library | file | diff | annotate |