1 theory Intro

     1 theory Intro

     2 imports Main

     2 imports Main

     3 

     3 

     4 begin

     4 begin

     5 

     6 

     6 chapter {* Introduction *}

     7 chapter {* Introduction *}

     7 

     8 

     8 text {*

     9 text {*

     9   The purpose of this Cookbook is to guide the reader through the

    10   The purpose of this Cookbook is to guide the reader through the