1 theory Intro

     1 theory Intro

     2 imports Base

     2 imports Base

     3 begin

     3 begin

     4 

     4 

     5 chapter {* Introduction *}

     5 chapter {* Introduction *}

     6 

     7 

     7 text {*

     8 text {*

     8    \begin{flushright}

     9    \begin{flushright}

     9   {\em

    10   {\em

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

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