Theory Doc_Libraries

chapter ‹More Standard Theorems›

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

text ‹
  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.
›

(*<*)
end
(*>*)