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/Datatype/datatype_data.ML
changeset 54422 4ca60c430147
parent 54400 418a183fbe21
child 54491 27966e17d075 
--- a/src/HOL/Tools/Datatype/datatype_data.ML	Wed Nov 13 10:53:36 2013 +0100
+++ b/src/HOL/Tools/Datatype/datatype_data.ML	Wed Nov 13 12:32:26 2013 +0100
@@ -118,7 +118,7 @@
    expands = [],
    sel_splits = [],
    sel_split_asms = [],
-   case_conv_ifs = []};
+   case_ifs = []};
 
 fun register dt_infos =
   Data.map (fn {types, constrs, cases} =>
isabelle