changeset 12582 | b85acd66f715 |
parent 12473 | f41e477576b9 |
child 13305 | f88d0c363582 |
12581:dceea9dbdedd | 12582:b85acd66f715 |
---|---|
295 |
295 |
296 \input{Misc/document/types.tex} |
296 \input{Misc/document/types.tex} |
297 |
297 |
298 \input{Misc/document/prime_def.tex} |
298 \input{Misc/document/prime_def.tex} |
299 |
299 |
300 \input{Misc/document/Translations.tex} |
|
301 |
|
302 |
300 |
303 \section{The Definitional Approach} |
301 \section{The Definitional Approach} |
304 \label{sec:definitional} |
302 \label{sec:definitional} |
305 |
303 |
306 \index{Definitional Approach}% |
304 \index{Definitional Approach}% |