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/HOLCF/IOA/Traces.thy
changeset 63680 6e1e8b5abbfa
parent 63549 b0d31c7def86 
--- a/src/HOL/HOLCF/IOA/Traces.thy	Fri Aug 12 17:49:02 2016 +0200
+++ b/src/HOL/HOLCF/IOA/Traces.thy	Fri Aug 12 17:53:55 2016 +0200
@@ -84,7 +84,7 @@
   else branch prohibits it. However they can be \<open>sfair\<close> in the case when all
   \<open>W\<close> are only finitely often enabled: Is this the right model?
 
-  See @{file "LiveIOA.thy"} for solution conforming with the literature and
+  See \<^file>\<open>LiveIOA.thy\<close> for solution conforming with the literature and
   superseding this one.
 \<close>
isabelle