| author | haftmann |
| Thu, 25 Sep 2008 09:28:08 +0200 | |
| changeset 28350 | 715163ec93c0 |
| parent 28213 | b52f9205a02d |
| child 28419 | f65e8b318581 |
| permissions | -rw-r--r-- |
| 28213 | 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 |