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/Inductive.thy
changeset 58306 117ba6cbe414
parent 58187 d2ddd401d74d
child 58815 fd3f893a40ea 
--- a/src/HOL/Inductive.thy	Thu Sep 11 18:54:36 2014 +0200
+++ b/src/HOL/Inductive.thy	Thu Sep 11 18:54:36 2014 +0200
@@ -10,7 +10,7 @@
   "inductive" "coinductive" "inductive_cases" "inductive_simps" :: thy_decl and
   "monos" and
   "print_inductives" :: diag and
-  "rep_datatype" :: thy_goal and
+  "old_rep_datatype" :: thy_goal and
   "primrec" :: thy_decl
 begin
isabelle