1 theory Intro

     1 theory Intro

     2 imports Base

     2 imports Base

     3 begin

     3 begin

    12 

     4 

    13 chapter {* Introduction *}

     5 chapter {* Introduction *}

    14 

     6 

    15 text {*

     7 text {*

    16    \begin{flushright}

     8    \begin{flushright}