25 

    25 

    26 

    26 

    27   The best way to get to know the ML-level of Isabelle is by experimenting

    27   The best way to get to know the ML-level of Isabelle is by experimenting

    28   with the many code examples included in the tutorial. The code is as far as

    28   with the many code examples included in the tutorial. The code is as far as

    29   possible checked against the Isabelle

    29   possible checked against the Isabelle

    31   If something does not work, then

    31   If something does not work, then

    32   please let us know. It is impossible for us to know every environment,

    32   please let us know. It is impossible for us to know every environment,

    33   operating system or editor in which Isabelle is used. If you have comments,

    33   operating system or editor in which Isabelle is used. If you have comments,

    34   criticism or like to add to the tutorial, please feel free---you are most

    34   criticism or like to add to the tutorial, please feel free---you are most

    35   welcome!! The tutorial is meant to be gentle and comprehensive. To achieve

    35   welcome!! The tutorial is meant to be gentle and comprehensive. To achieve

   330   text is still under construction. Sections and 

   330   text is still under construction. Sections and 

   331   chapters that are under \underline{heavy} construction are marked 

   331   chapters that are under \underline{heavy} construction are marked 

   332   with TBD.}

   332   with TBD.}

   333 

   333 

   334   \vfill

   334   \vfill

   337   %% \input{pversion}

   337   %% \input{pversion}

   338 *}

   338 *}

   339 

   339 

   340 end

   340 end