changeset 63680 | 6e1e8b5abbfa |
parent 63648 | f9f3006a5579 |
child 67613 | ce654b0e6d69 |
--- a/src/HOL/HOLCF/IOA/RefCorrectness.thy Fri Aug 12 17:49:02 2016 +0200 +++ b/src/HOL/HOLCF/IOA/RefCorrectness.thy Fri Aug 12 17:53:55 2016 +0200 @@ -32,7 +32,7 @@ Axioms for fair trace inclusion proof support, not for the correctness proof of refinement mappings! - Note: Everything is superseded by @{file "LiveIOA.thy"}. + Note: Everything is superseded by \<^file>\<open>LiveIOA.thy\<close>. \<close> axiomatization where