author | wenzelm |
Thu, 21 Oct 1999 15:57:26 +0200 | |
changeset 7894 | 2ccfea468b24 |
parent 7893 | fef0738b62d7 |
child 7895 | 7c492d8bc8e3 |
doc-src/isar.sty | file | annotate | diff | comparison | revisions |
1.1 --- a/doc-src/isar.sty Wed Oct 20 15:53:22 1999 +0200 1.2 +++ b/doc-src/isar.sty Thu Oct 21 15:57:26 1999 +0200 1.3 @@ -82,6 +82,7 @@ 1.4 \newcommand{\DDOT}{\isarkeyword{.\,.}} 1.5 \newcommand{\DDDOT}{\dots} 1.6 \newcommand{\IS}[1]{(\ISNAME~#1)} 1.7 +\newcommand{\ISS}[2]{(\ISNAME~#1~\ISNAME~#2)} 1.8 \newcommand{\LET}[1]{\LETNAME~#1} 1.9 \newcommand{\LETT}[1]{\LETNAME~#1\dt\;} 1.10 \newcommand{\DEF}[2]{\DEFNAME\I@optname{#1}~#2}