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/Tools/Old_Datatype/old_datatype_data.ML
changeset 59266 776964a0589f
parent 59058 a78612c67ec0
child 59271 c448752e8b9d 
--- a/src/HOL/Tools/Old_Datatype/old_datatype_data.ML	Mon Jan 05 00:07:01 2015 +0100
+++ b/src/HOL/Tools/Old_Datatype/old_datatype_data.ML	Fri Dec 19 11:17:23 2014 +0100
@@ -110,6 +110,7 @@
      case_thms = case_rewrites,
      case_cong = case_cong,
      case_cong_weak = case_cong_weak,
+     case_distribs = [],
      split = split,
      split_asm = split_asm,
      disc_defs = [],
isabelle