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.
doc-src/TutorialI/Inductive/Mutual.thy
changeset 12815 1f073030b97a
parent 11494 23a118849801
child 17914 99ead7a7eb42 
--- a/doc-src/TutorialI/Inductive/Mutual.thy	Fri Jan 18 17:46:17 2002 +0100
+++ b/doc-src/TutorialI/Inductive/Mutual.thy	Fri Jan 18 18:30:19 2002 +0100
@@ -49,7 +49,7 @@
 (*<*)
   apply simp
  apply simp
-apply(simp add:dvd_def)
+apply(simp add: dvd_def)
 apply(clarify)
 apply(rule_tac x = "Suc k" in exI)
 apply simp
isabelle