ProgTutorial/Intro.thy
changeset 335 163ac0662211
parent 329 5dffcab68680
child 343 8f73e80c8c6f
equal deleted inserted replaced
334:4ae1ecb71539 335:163ac0662211
   227   Please let me know of any omissions. Responsibility for any remaining
   227   Please let me know of any omissions. Responsibility for any remaining
   228   errors lies with me.\bigskip
   228   errors lies with me.\bigskip
   229 
   229 
   230   \vspace{5cm}
   230   \vspace{5cm}
   231   {\Large\bf
   231   {\Large\bf
   232   This document is still in the process of being written! All of the
   232   This tutorial is still in the process of being written! All of the
   233   text is still under construction. Sections and 
   233   text is still under construction. Sections and 
   234   chapters that are under \underline{heavy} construction are marked 
   234   chapters that are under \underline{heavy} construction are marked 
   235   with TBD.}
   235   with TBD.}
   236 
   236 
   237   \vfill
   237   \vfill