Theory Sepref_Chapter_Setup

chapter ‹Basic Setup›
text ‹This chapter contains the basic setup of the Sepref tool.›
(*<*)
theory Sepref_Chapter_Setup
imports Main
begin
end
(*>*)