Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed junk;
authorwenzelm
Wed, 30 Dec 2015 20:11:19 +0100
changeset 61991 df64653779e1
parent 61990 39e4a93ad36e
child 61992 6d02bb8b5fe1
removed junk;
src/Doc/Tutorial/CTL/PDL.thy file | annotate | diff | comparison | revisions 
--- a/src/Doc/Tutorial/CTL/PDL.thy	Wed Dec 30 20:07:59 2015 +0100
+++ b/src/Doc/Tutorial/CTL/PDL.thy	Wed Dec 30 20:11:19 2015 +0100
@@ -98,7 +98,6 @@
  apply(erule lfp_induct_set)
   apply(rule mono_ef)
  apply(simp)
-(*pr(latex xsymbols symbols);*)
 txt{*\noindent
 Having disposed of the monotonicity subgoal,
 simplification leaves us with the following goal:
isabelle