changeset 63680 | 6e1e8b5abbfa |
parent 63531 | 847eefdca90d |
child 67369 | 7360fe6bb423 |
--- a/src/Doc/Isar_Ref/Synopsis.thy Fri Aug 12 17:49:02 2016 +0200 +++ b/src/Doc/Isar_Ref/Synopsis.thy Fri Aug 12 17:53:55 2016 +0200 @@ -214,7 +214,7 @@ section \<open>Calculational reasoning \label{sec:calculations-synopsis}\<close> text \<open> - For example, see @{file "~~/src/HOL/Isar_Examples/Group.thy"}. + For example, see \<^file>\<open>~~/src/HOL/Isar_Examples/Group.thy\<close>. \<close>