haftmann [Thu, 02 Sep 2010 16:41:42 +0200] rev 39064
avoid theory Imperative_HOL altogether
haftmann [Thu, 02 Sep 2010 16:41:41 +0200] rev 39063
adapted to change eq -> equal
haftmann [Thu, 02 Sep 2010 16:14:13 +0200] rev 39062
corrected printmode handling
haftmann [Thu, 02 Sep 2010 16:14:13 +0200] rev 39061
swapped slip
haftmann [Thu, 02 Sep 2010 16:14:09 +0200] rev 39060
updated
haftmann [Thu, 02 Sep 2010 15:09:51 +0200] rev 39059
restored and added surpression of case combinators
haftmann [Thu, 02 Sep 2010 14:59:28 +0200] rev 39058
dropped superfluous presentation names
haftmann [Thu, 02 Sep 2010 14:36:49 +0200] rev 39057
manage statement selection for presentation wholly through markup
haftmann [Thu, 02 Sep 2010 13:58:16 +0200] rev 39056
formal markup of generated code for statements
haftmann [Thu, 02 Sep 2010 13:43:38 +0200] rev 39055
removed namespace stuff from code_printer