CookBook/Intro.thy
changeset 52 a04bdee4fb1e
parent 50 3d4b49921cdb
child 54 1783211b3494
equal deleted inserted replaced
51:c346c156a7cd 52:a04bdee4fb1e
    56   good to look at code that does similar things as you want to do, to
    56   good to look at code that does similar things as you want to do, to
    57   learn from other people's code.
    57   learn from other people's code.
    58   \end{description}
    58   \end{description}
    59 
    59 
    60   The Cookbook is written in such a way that the code examples in it are 
    60   The Cookbook is written in such a way that the code examples in it are 
    61   synchronised with fairly recent versions of the code.
    61   checked against recent versions of the code.
    62 
    62 
    63 *}
    63 *}
    64 
    64 
    65 
    65 
    66 end
    66 end