| changeset 121 | 26e5b41faa74 |
| parent 120 | c39f83d8daeb |
| child 127 | 74846cb0fff9 |
| 120:c39f83d8daeb | 121:26e5b41faa74 |
|---|---|
1 theory Ind_Intro |
1 theory Ind_Intro |
2 imports Main |
2 imports Main |
3 begin |
3 begin |
4 |
4 |
5 chapter {* How to Write a Definitional Package *} |
5 chapter {* How to Write a Definitional Package\label{chp:package} *} |
6 |
6 |
7 text {* |
7 text {* |
8 \begin{flushright} |
8 \begin{flushright} |
9 {\em |
9 {\em |
10 ``My thesis is that programming is not at the bottom of the intellectual \\ |
10 ``My thesis is that programming is not at the bottom of the intellectual \\ |