| 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 |