Isabelle_DOF/examples/technical_report/Isabelle_DOF-Manual/Isabelle_DOF-Manual.thy

(*<*)
theory "Isabelle_DOF-Manual"
  imports "05_Implementation"
begin
close_monitor*[this]
check_doc_global
text\<open>Resulting trace in doc\_item ''this'': \<close>
ML\<open>@{trace_attribute this}\<close>
end
(*>*)
Initial setup. 2018-10-30 00:58:45 +00:00			`(<)`
Fixed naming inconsistency. 2019-07-22 13:41:29 +00:00			`theory "Isabelle_DOF-Manual"`
Updated introduction and started content restructuring. 2019-08-02 10:12:16 +00:00			`imports "05_Implementation"`
Initial setup. 2018-10-30 00:58:45 +00:00			`begin`
			`close_monitor*[this]`
New LaTeX chapter introduced. Structuring proposal 2019-07-17 14:06:55 +00:00			`check_doc_global`
Initial setup. 2018-10-30 00:58:45 +00:00			`text\<open>Resulting trace in doc\_item ''this'': \<close>`
			`ML\<open>@{trace_attribute this}\<close>`
			`end`
			`(>)`