| changeset 62271 | 4cfe65cfd369 |
| parent 62270 | 77e3ffb5aeb3 |
| child 62312 | 5e5a881ebc12 |
--- a/src/Doc/Isar_Ref/document/style.sty Sun Feb 07 19:33:42 2016 +0100 +++ b/src/Doc/Isar_Ref/document/style.sty Sun Feb 07 19:43:40 2016 +0100 @@ -16,7 +16,6 @@ %% Isar \newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}} -\isafoldtag{noproof}\def\isafoldnoproof{~\isafold{proof}} \renewcommand{\isacommand}[1]{\isakeyword{\isadigitreset#1}} \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}