chapter Weidenbach_Book

session "More_Refinement_Libs" (Weidenbach_Book) = "Refine_Monadic"  +
  description \<open>This session contains some libraries for Refinement.\<close>
  options [document = pdf, document_output = "output"]
  sessions
    "HOL-Library"
    Sepref_IICF
    "HOL-Eisbach"
    Nested_Multisets_Ordinals
    Weidenbach_Book_Base
  theories [quick_and_dirty = false, document = false]
    WB_More_Refinement_Loops
