CookBook/Intro.thy
changeset 66 d563f8ff6aa0
parent 65 c8e9a4f97916
child 68 e7519207c2b7
equal deleted inserted replaced
65:c8e9a4f97916 66:d563f8ff6aa0
     5 
     5 
     6 
     6 
     7 chapter {* Introduction *}
     7 chapter {* Introduction *}
     8 
     8 
     9 text {*
     9 text {*
    10   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 first steps
    11   first steps of Isabelle programming, and to provide recipes for
    11   of Isabelle programming, and to explain some tricks of the trade. The code
    12   solving common problems. The code provided in the Cookbook is 
    12   provided in the Cookbook is as far as possible checked against recent
    13   as far as possible checked against recent versions of Isabelle.
    13   versions of Isabelle.  If something does not work, then please let us
       
    14   know. If you have comments or like to add to the Cookbook, you are very
       
    15   welcome.
       
    16 
    14 *}
    17 *}
    15 
    18 
    16 section {* Intended Audience and Prior Knowledge *}
    19 section {* Intended Audience and Prior Knowledge *}
    17 
    20 
    18 text {* 
    21 text {*