forked from Isabelle_DOF/Isabelle_DOF
added diag 'integrated document'
This commit is contained in:
parent
3ab6f665eb
commit
6c588c3fe4
|
@ -78,7 +78,7 @@ text\<open>Now, define a forward reference to the formal content: \<close>
|
|||
declare_reference*[e1bisbis::"definition"]
|
||||
|
||||
text\<open>... which makes it possible to refer in a freeform definition to its formal counterpart
|
||||
which will appear textually later. With this pragmatics, an "out-of-order-presentation"
|
||||
which will appear textually later. With this pragmatics, an "out-of- order-presentation"
|
||||
can be achieved within \<^theory>\<open>Isabelle_DOF.scholarly_paper\<close> for the most common cases.\<close>
|
||||
|
||||
|
||||
|
|
Binary file not shown.
Binary file not shown.
Loading…
Reference in New Issue