equal
deleted
inserted
replaced
20 \newcommand{\isasymimp}{\isasymlongrightarrow} |
20 \newcommand{\isasymimp}{\isasymlongrightarrow} |
21 \newcommand{\isasymImp}{\isasymLongrightarrow} |
21 \newcommand{\isasymImp}{\isasymLongrightarrow} |
22 \newcommand{\isasymFun}{\isasymRightarrow} |
22 \newcommand{\isasymFun}{\isasymRightarrow} |
23 \newcommand{\isasymuniqex}{\emph{$\exists!\,$}} |
23 \newcommand{\isasymuniqex}{\emph{$\exists!\,$}} |
24 |
24 |
25 \newenvironment{isabellepar}% |
25 \newenvironment{isabellepar}{\medskip\begin{isabelle}}{\end{isabelle}\medskip} |
26 {\par\medskip\noindent\begin{isabelle}}{\end{isabelle}\medskip\par\noindent} |
|
27 |
|
28 \renewenvironment{isamarkuptxt}{\begin{isamarkuptext}}{\end{isamarkuptext}} |
26 \renewenvironment{isamarkuptxt}{\begin{isamarkuptext}}{\end{isamarkuptext}} |
29 |
27 |
30 %%% to index derived rls: ^\([a-zA-Z0-9][a-zA-Z0-9_]*\) \\tdx{\1} |
28 %%% to index derived rls: ^\([a-zA-Z0-9][a-zA-Z0-9_]*\) \\tdx{\1} |
31 %%% to index rulenames: ^ *(\([a-zA-Z0-9][a-zA-Z0-9_]*\), \\tdx{\1} |
29 %%% to index rulenames: ^ *(\([a-zA-Z0-9][a-zA-Z0-9_]*\), \\tdx{\1} |
32 %%% to index constants: \\tt \([a-zA-Z0-9][a-zA-Z0-9_]*\) \\cdx{\1} |
30 %%% to index constants: \\tt \([a-zA-Z0-9][a-zA-Z0-9_]*\) \\cdx{\1} |