summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/semantic/infernce.sty
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/latex/semantic/infernce.sty')
-rw-r--r--Master/texmf-dist/tex/latex/semantic/infernce.sty22
1 files changed, 13 insertions, 9 deletions
diff --git a/Master/texmf-dist/tex/latex/semantic/infernce.sty b/Master/texmf-dist/tex/latex/semantic/infernce.sty
index bb5b3230173..6e1f005938f 100644
--- a/Master/texmf-dist/tex/latex/semantic/infernce.sty
+++ b/Master/texmf-dist/tex/latex/semantic/infernce.sty
@@ -20,6 +20,10 @@
%% original source files, as listed above, are part of the
%% same distribution. (The sources need not necessarily be
%% in the same archive or directory.)
+%%
+%% semantic.dtx (c)1995--2002 Peter Møller Neergaard and
+%% Arne John Glenstrup
+%%
\expandafter\ifx\csname sem@nticsLoader\endcsname\relax
\PackageError{semantic}{%
This file should not be loaded directly}
@@ -103,9 +107,9 @@
\hbox{\hskip\@@pEnd \predicate{\ignorespaces#1}\unskip\hskip\@@pEnd}%
\setbox1=\hbox{$ $}%
\setbox\@@pBox=\vtop{\unvbox\@@pBox
- \vskip 4\fontdimen8\textfont3}%
+ \vskip 4\fontdimen8\textfont3}%
\setbox\@@cBox=\vbox{\vskip 4\fontdimen8\textfont3%
- \box\@@cBox}%
+ \box\@@cBox}%
\if@@shortDivider
\ifdim\wd\@@pBox >\wd\@@cBox%
\dimen1=\wd\@@pBox%
@@ -169,25 +173,25 @@
\fi %
\setbox\@@pBox=\vbox{\box\@@pLineBox\unvbox\@@pBox}%
\fi %
- \def\@temp{#2}%
- \ifx \@temp\empty \else %
+ \def\sem@tmp{#2}%
+ \ifx \sem@tmp\empty \else %
\@ReturnAfterFi{%
\@processPremises #2\end %
}%
\fi%
}
\def\@processPremiseLine#1&#2\end{%
- \def\@temp{#1}%
- \ifx \@temp\empty \else%
- \ifx \@temp\@@space \else%
+ \def\sem@tmp{#1}%
+ \ifx \sem@tmp\empty \else%
+ \ifx \sem@tmp\@@space \else%
\setbox\@@pLineBox=%
\hbox{\unhbox\@@pLineBox%
\@inferenceOrPremis #1\inference\end%
\hskip\@@pSpace}%
\fi%
\fi%
- \def\@temp{#2}%
- \ifx \@temp\empty \else%
+ \def\sem@tmp{#2}%
+ \ifx \sem@tmp\empty \else%
\@ReturnAfterFi{%
\@processPremiseLine#2\end%
}%