1 theory Intro

     1 theory Intro

     2 imports Base

     2 imports Base

     3 begin

     3 begin

     4 

     4 

     5 chapter {* Introduction *}

    13 chapter {* Introduction *}

     7 

    14 

     8 text {*

    15 text {*

     9    \begin{flushright}

    16    \begin{flushright}

    10   {\em

    17   {\em

    11   ``My thesis is that programming is not at the bottom of the intellectual \\

    18   ``My thesis is that programming is not at the bottom of the intellectual \\