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/CTL/PDL.thy
changeset 10524 270b285d48ee
parent 10363 6e8002c1790e
child 10800 2d4c058749a7 
--- a/doc-src/TutorialI/CTL/PDL.thy	Mon Nov 27 11:06:28 2000 +0100
+++ b/doc-src/TutorialI/CTL/PDL.thy	Mon Nov 27 16:40:56 2000 +0100
@@ -96,7 +96,7 @@
 
 apply(rule equalityI);
  apply(rule subsetI);
- apply(simp)
+ apply(simp)(*<*)apply(rename_tac s)(*>*)
 
 txt{*\noindent
 Simplification leaves us with the following first subgoal
isabelle