Theory Sepref_Chapter_Examples

chapter ‹Examples›
text ‹This chapter contains practical examples of using the IRF and IICF.
  Moreover it contains some snippets that illustrate how to solve common tasks
  like setting up custom datatypes or higher-order combinators.
›
(*<*)
theory Sepref_Chapter_Examples
imports Main
begin
end
(*>*)