ProgTutorial/Intro.thy
changeset 192 2fff636e1fa0
parent 189 069d525f8f1d
child 194 8cd51a25a7ca
child 195 7305beb69893
equal deleted inserted replaced
191:0150cf5982ae 192:2fff636e1fa0
   149   Please let me know of any omissions. Responsibility for any remaining
   149   Please let me know of any omissions. Responsibility for any remaining
   150   errors lies with me.\bigskip
   150   errors lies with me.\bigskip
   151 
   151 
   152   {\Large\bf
   152   {\Large\bf
   153   This document is still in the process of being written! All of the
   153   This document is still in the process of being written! All of the
   154   text is still under constructions. Sections and 
   154   text is still under construction. Sections and 
   155   chapters that are under \underline{heavy} construction are marked 
   155   chapters that are under \underline{heavy} construction are marked 
   156   with TBD.}
   156   with TBD.}
   157 
   157 
   158   
   158   
   159   \vfill
   159   \vfill