added \ISS;
authorwenzelm
Thu Oct 21 15:57:26 1999 +0200 (1999-10-21)
changeset 78942ccfea468b24
parent 7893 fef0738b62d7
child 7895 7c492d8bc8e3
added \ISS;
doc-src/isar.sty
     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}