| changeset 346 | 0fea8b7a14a1 |
| parent 292 | 41a802bbb7df |
| child 426 | d94755882e36 |
| 345:4c54ef4dc84d | 346:0fea8b7a14a1 |
|---|---|
1 |
1 |
2 theory Antiquotes |
2 theory Antiquotes |
3 imports "../Base" |
3 imports "../Appendix" |
4 begin |
4 begin |
5 |
5 |
6 section {* Useful Document Antiquotations\label{rec:docantiquotations} *} |
6 section {* Useful Document Antiquotations\label{rec:docantiquotations} *} |
7 |
7 |
8 text {* |
8 text {* |