Theory Sepref_All_Examples

(*<*)
theory Sepref_All_Examples
imports Sepref_DFS Sepref_Dijkstra Sepref_NDFS Sepref_Minitests
  Worklist_Subsumption_Impl
  "Snippets/Sepref_Snip_Datatype"
  "Snippets/Sepref_Snip_Combinator"
begin

end
(*>*)