1.1 --- a/doc-src/IsarRef/style.sty	Thu Feb 12 11:36:15 2009 +0100
     1.2 +++ b/doc-src/IsarRef/style.sty	Thu Feb 12 21:15:54 2009 +0100
     1.3 @@ -19,6 +19,7 @@
     1.4  
     1.5  %% Isar
     1.6  \newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}}
     1.7 +\isafoldtag{noproof}\def\isafoldnoproof{~\isafold{proof}}
     1.8  
     1.9  %% math
    1.10  \newcommand{\isasymstrut}{\isamath{\mathstrut}}