Wed, 19 May 2010 18:24:08 +0200 | bulwahn | removed unnecessary Thm.transfer in the predicate compiler | changeset | files |
Wed, 19 May 2010 18:24:07 +0200 | bulwahn | changing compilation to work only with contexts; adapting quickcheck | changeset | files |
Wed, 19 May 2010 18:24:06 +0200 | bulwahn | removing unused argument in print_modes function | changeset | files |
Wed, 19 May 2010 18:24:05 +0200 | bulwahn | moving towards working with proof contexts in the predicate compiler | changeset | files |