chapter \<open>More Standard Theorems\<close>

(*<*)
theory Doc_Libraries
imports Main
begin
(*>*)

text \<open>
  This chapter contains additional lemmas built on top of HOL. Some of the additional lemmas are not
  included here. Most of them are too specialised to move to HOL.
\<close>

(*<*)
end
(*>*)
