Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

more on aop

This commit is contained in:
Burkhart Wolff 2020-08-24 13:18:25 +02:00
parent dbce392e8b
commit ff63b441b0
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/tests/OutOfOrderPresntn.thy
View File

@ -149,8 +149,8 @@ textN\<open>... and here is its application macro expansion:
textN\<open> \<^theory_text>\<open>definition df = ...
\<close>
@{theory_text [display] \<open>definition df = ...
\<close>}
@{cartouche [display] \<open> @{figure "cfgdfg"}\<close>} \<close>
\<close>}
@{cartouche [display] \<open> @{figure "cfgdfg"}\<close>} \<close>
(*<*)
text\<open>Final Status:\<close>