(*<*)
theory IsaDofManual
  imports "06_Conclusion"
begin
(*<*) 

text*[bib::bibliography]\<open>References\<close>

close_monitor*[this]

text\<open>Resulting trace in doc\_item ''this'': \<close>
ML\<open>@{trace_attribute this}\<close>


(*<*)
end
(*>*) 
  
