1 theory Further
2 imports Setup
3 begin
4
5 section {* Further topics *}
6
7 subsection {* Serializer options *}
8
9 subsection {* Evaluation oracle *}
10
11 subsection {* Code antiquotation *}
12
13 subsection {* Creating new targets *}
14
15 text {* extending targets, adding targets *}
16
17 end