| changeset 32891 | d403b99287ff |
| parent 32846 | 29941e925c82 |
| child 32898 | e871d897969c |
--- a/NEWS Wed Oct 07 16:57:56 2009 +0200 +++ b/NEWS Thu Oct 08 15:16:13 2009 +0200 @@ -24,6 +24,12 @@ in proofs are not shown. +*** document preparation *** + +* New generalized style concept for printing terms: +write @{foo (style) ...} instead of @{foo_style style ...}. + + *** HOL *** * Most rules produced by inductive and datatype package