diff -r 0a643dd9e0f5 -r f38ccabb2edc doc-src/IsarRef/style.sty
--- 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}}