| changeset 62270 | 77e3ffb5aeb3 |
| parent 61962 | 9c8fc56032e3 |
| child 62271 | 4cfe65cfd369 |
--- a/src/Doc/Isar_Ref/document/style.sty Sun Feb 07 19:32:35 2016 +0100 +++ b/src/Doc/Isar_Ref/document/style.sty Sun Feb 07 19:33:42 2016 +0100 @@ -19,6 +19,9 @@ \isafoldtag{noproof}\def\isafoldnoproof{~\isafold{proof}} \renewcommand{\isacommand}[1]{\isakeyword{\isadigitreset#1}} +\newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}} + + %% ML \newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{ll}}{\end{tabular}\medskip\endgroup}