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