adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

trivial lib: quote identifiers in text blocks for document builds

This commit is contained in:
Matthew Brecknell 2017-12-21 16:19:23 +11:00
parent 00bc13d7ce
commit a6d245b83f
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/Monad_WP/Strengthen.thy
View File

@ -12,8 +12,8 @@ theory Strengthen
imports Main
begin
text {* Implementation of the 'strengthen' tool and the 'mk_strg'
attribute. See the theory Strengthen_Demo for a demonstration. *}
text {* Implementation of the @{text strengthen} tool and the @{text mk_strg}
attribute. See the theory @{text Strengthen_Demo} for a demonstration. *}
locale strengthen_implementation begin