Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
adding theory Quickcheck_Narrowing to HOL-Main image
authorbulwahn
Thu, 09 Jun 2011 08:32:16 +0200
changeset 43311 1efdcb579b6c
parent 43310 d1265a4d8ae1
child 43312 7a31f9064f99
adding theory Quickcheck_Narrowing to HOL-Main image
src/HOL/Record.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Record.thy	Thu Jun 09 08:32:15 2011 +0200
+++ b/src/HOL/Record.thy	Thu Jun 09 08:32:16 2011 +0200
@@ -9,7 +9,7 @@
 header {* Extensible records with structural subtyping *}
 
 theory Record
-imports Plain Quickcheck_Exhaustive
+imports Plain Quickcheck_Narrowing
 uses ("Tools/record.ML")
 begin
isabelle