Theory Userguides_Chapter

(*<*)
theory Userguides_Chapter imports Main begin 
(*>*)
text_raw ‹\isachapter{Userguides}›
text ‹
  This chapter contains various userguides.
›
(*<*)
end
(*>*)