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/Import/HOL/bool.imp
changeset 17268 309288714d9d
parent 17188 a26a4fc323ed
child 17644 bd59bfd4bf37 
--- a/src/HOL/Import/HOL/bool.imp	Mon Sep 05 17:38:25 2005 +0200
+++ b/src/HOL/Import/HOL/bool.imp	Mon Sep 05 17:38:25 2005 +0200
@@ -37,7 +37,7 @@
   "bool_case_thm" > "HOL4Base.bool.bool_case_thm"
   "bool_case_ID" > "HOL4Base.bool.bool_case_ID"
   "bool_case_DEF" > "HOL4Compat.bool_case_DEF"
-  "bool_INDUCT" > "Datatype.bool.induct"
+  "bool_INDUCT" > "Datatype.bool.induct_correctness"
   "boolAxiom" > "HOL4Base.bool.boolAxiom"
   "UNWIND_THM2" > "HOL.simp_thms_39"
   "UNWIND_THM1" > "HOL.simp_thms_40"
isabelle