Mercurial Mercurial > hg > isabelle-cookbook / 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.
ProgTutorial/Appendix.thy
changeset 475 25371f74c768
parent 407 aee4abd02db1
child 517 d8c376662bb4 
--- a/ProgTutorial/Appendix.thy	Mon Oct 17 13:30:49 2011 +0100
+++ b/ProgTutorial/Appendix.thy	Wed Oct 26 12:59:44 2011 +0100
@@ -21,7 +21,7 @@
 
   \begin{itemize}
   \item translations/print translations; 
-  @{ML "ProofContext.print_syntax"}
+  @{ML "Proof_Context.print_syntax"}
   
   \item user space type systems (in the form that already exists)
isabelle-cookbook