Wed, 24 Mar 2010 17:40:44 +0100 | bulwahn | added predicate compiler quickcheck examples to new session Predicate_Compile_Examples | changeset | files |
Wed, 24 Mar 2010 17:40:44 +0100 | bulwahn | adopting examples to Library move | changeset | files |
Wed, 24 Mar 2010 17:40:43 +0100 | bulwahn | moved further predicate compile files to HOL-Library | changeset | files |
Wed, 24 Mar 2010 17:40:43 +0100 | bulwahn | added simple setup for arithmetic on natural numbers | changeset | files |