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

Changes on doc model.
HOL-OCL/Isabelle_DOF/master There was a failure building this commit Details

This commit is contained in:
Burkhart Wolff 2019-03-06 09:29:20 +01:00
parent d5cfaa79e8
commit 7b7eeefa76
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
examples/technical_report/TR_my_commented_isabelle/MyCommentedIsabelle.thy
View File

@ -1088,7 +1088,7 @@ The primary format of the text files is \<^verbatim>\<open>.thy\<close> (for his
secondary formats can be \<^verbatim>\<open>.sty\<close>,\<^verbatim>\<open>.tex\<close>, \<^verbatim>\<open>.png\<close>, \<^verbatim>\<open>.pdf\<close>, or other files processed
by Isabelle and listed in a configurations processed by the build system.
\<close>
figure*[fig3::figure, relative_width="100",src="''figures/document-model.pdf''"]
figure*[fig3::figure, relative_width="100",src="''figures/document-model''"]
\<open>Document Model\<close>
text\<open>A \<^verbatim>\<open>.thy\<close> file consists of a \<^emph>\<open>preamble\<close>, a \<^emph>\<open>context-import-statement\<close> and
a \<^emph>\<open>body\<close> consisting of a sequence of \<^emph>\<open>commands\<close>. Even the preamble consists of