| changeset 29733 | f38ccabb2edc |
| parent 29725 | 03916d2d16d3 |
| child 30120 | aaa4667285c8 |
--- a/doc-src/IsarRef/style.sty Thu Feb 12 11:36:15 2009 +0100 +++ b/doc-src/IsarRef/style.sty Thu Feb 12 21:15:54 2009 +0100 @@ -19,6 +19,7 @@ %% Isar \newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}} +\isafoldtag{noproof}\def\isafoldnoproof{~\isafold{proof}} %% math \newcommand{\isasymstrut}{\isamath{\mathstrut}}