Thu, 09 Jun 2011 08:32:18 +0200 | bulwahn | adding narrowing engine for existentials | changeset | files |
Thu, 09 Jun 2011 08:32:18 +0200 | bulwahn | adapting Quickcheck_Narrowing: adding setup for characters; correcting import statement | changeset | files |
Thu, 09 Jun 2011 08:32:16 +0200 | bulwahn | adding theory Quickcheck_Narrowing to HOL-Main image | changeset | files |