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 58815 fd3f893a40ea
parent 58306 117ba6cbe414
child 58889 5b7a9633cfa8 
--- a/src/HOL/Inductive.thy	Wed Oct 29 11:33:29 2014 +0100
+++ b/src/HOL/Inductive.thy	Wed Oct 29 11:41:54 2014 +0100
@@ -258,7 +258,6 @@
   Collect_mono in_mono vimage_mono
 
 ML_file "Tools/inductive.ML"
-setup Inductive.setup
 
 theorems [mono] =
   imp_refl disj_mono conj_mono ex_mono all_mono if_bool_eq_conj
isabelle