Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Enum.thy
changeset 57247 8191ccf6a1bd
parent 55088 57c82e01022b
child 57818 51aa30c9ee4e 
--- a/src/HOL/Enum.thy	Thu Jun 12 15:47:36 2014 +0200
+++ b/src/HOL/Enum.thy	Thu Jun 12 18:47:16 2014 +0200
@@ -447,7 +447,7 @@
 
  
 instance by default
-  (simp_all add: enum_prod_def product_list_set distinct_product
+  (simp_all add: enum_prod_def distinct_product
     enum_UNIV enum_distinct enum_all_prod_def enum_ex_prod_def)
 
 end
isabelle