theory Further
imports Setup
begin
section {* Further topics *}
subsection {* Serializer options *}
subsection {* Evaluation oracle *}
subsection {* Code antiquotation *}
subsection {* Creating new targets *}
text {* extending targets, adding targets *}
end