summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/stex/statements.sty
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/latex/stex/statements.sty')
-rw-r--r--Master/texmf-dist/tex/latex/stex/statements.sty85
1 files changed, 85 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/stex/statements.sty b/Master/texmf-dist/tex/latex/stex/statements.sty
new file mode 100644
index 00000000000..0ae7cda7c74
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/stex/statements.sty
@@ -0,0 +1,85 @@
+%%
+%% This is file `statements.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% statements.dtx (with options: `package')
+%%
+\NeedsTeXFormat{LaTeX2e}[1999/12/01]
+\ProvidesPackage{statements}[2007/09/09 v0.9d Semantic Markup for Statements]
+\newif\ifst@env\st@envfalse
+\newif\ifst@id\st@idfalse
+\newif\ifst@display\st@displayfalse
+\DeclareOption{id}{\st@idtrue\st@envtrue}
+\DeclareOption{env}{\st@envtrue}
+\DeclareOption{display}{\st@displaytrue\st@envtrue}
+\newif\ifstat@for\stat@forfalse
+\newif\ifstat@from\stat@forfalse
+\newif\ifstat@type\stat@typefalse
+\newif\ifstat@title\stat@titlefalse
+\newif\ifstat@continues\stat@continuesfalse
+\DeclareOption{for}{\stat@fortrue\st@envtrue}
+\DeclareOption{from}{\stat@fromtrue\st@envtrue}
+\DeclareOption{type}{\stat@typetrue\st@envtrue}
+\DeclareOption{title}{\stat@titletrue\st@envtrue}
+\DeclareOption{continues}{\stat@continuestrue\st@envtrue}
+\def\stattrue{\stat@fortrue\stat@fromtrue\stat@typetrue\stat@continuestrue}
+\DeclareOption{draft}{\st@envtrue\st@idtrue\stat@fortrue\stat@fromtrue\typetrue\justtrue}
+\DeclareOption{all}{\st@envtrue\stattrue\justtrue}
+\ProcessOptions
+\RequirePackage{omdoc}[2007/09/09]
+\def\define@statement@env#1#2{
+\newenvironment{#1}[1][]{\setkeys{stat}{##1}
+\ifx\st@display\st@flow\else\stDMemph{#2}:\fi%
+\@ifundefined{stat@title}{}%
+{\space\ifx\st@display\st@flow\else(\fi\stDMemph{\stat@title}\ifx\st@display\st@flow:\else)\par\fi}\space%
+\ifst@env\show@stat@keys{#1}\fi\csname st@#1@initialize\endcsname}
+{\csname st@#1@terminate\endcsname}}
+\newenvironment{assertion}[1][]{\setkeys{stat}{#1}
+\ifx\st@display\st@flow\else{\stDMemph{\stat@type}:}\fi%
+\@ifundefined{stat@title}{~}{~(\stDMemph{\stat@title})\par}%
+\ifst@env\show@stat@keys{#1}\fi\em}{}
+\newenvironment{simpleDef}[1][]{\setkeys{stat}{#1}
+\ifx\st@display\st@flow\else{\stDMemph{Definition}:}\fi%
+\@ifundefined{stat@title}{~}{~(\stDMemph{\stat@title})\par}%
+\ifst@env\show@stat@keys{#1}\fi}{}
+\newenvironment{PatternDef}[1][]{\setkeys{stat}{#1}
+\ifx\st@display\st@flow\else{\stDMemph{Definition}:}\fi%
+\@ifundefined{stat@title}{~}{~(\stDMemph{\stat@title})\par}%
+\ifst@env\show@stat@keys{#1}\fi}{}
+\newenvironment{PatternRule}[1]{#1$\colon=$}{}
+\newenvironment{PatternCMP}{}{}
+\newenvironment{RecDef}[1][]{\setkeys{stat}{#1}
+\ifx\st@display\st@flow\else{\stDMemph{Definition}:}\fi%
+\@ifundefined{stat@title}{~}{~(\stDMemph{\stat@title})\par}%
+\ifst@env\show@stat@keys{#1}\fi}{}
+\def\st@example@initialize{}\def\st@example@terminate{}
+\define@statement@env{example}{Example}
+\def\st@axiom@initialize{}\def\st@axiom@terminate{}
+\define@statement@env{axiom}{Axiom}
+\define@key{consymb}{type}{\def\consymb@type{#1}}
+\define@key{consymb}{title}{\def\consymb@title{#1}}
+\define@key{consymb}{name}{\def\consymb@name{#1}}
+\def\consymb@type{Symbol}
+\newenvironment{consymb}[1][]{\setkeys{consymb}{#1}
+\ifx\st@display\st@flow\else{\stDMemph{\consymb@type} \consymb@name:}\fi%
+\@ifundefined{consymb@title}{~}{~(\stDMemph{\consymb@title})\par}}{}
+\newcommand{\symtype}[2]{Type (#1): #2}
+\def\st@definition@initialize{%
+\newcommand{\notatiendum}[2][]{\notemph{##2}}
+\newcommand{\definiendum}[2][]{\defemph{##2}}}
+\def\st@definition@terminate{}
+\define@statement@env{definition}{Definition}
+\def\notemph#1{{\bf{#1}}}
+\def\st@notation@initialize{\newcommand{\notatiendum}[2][]{\notemph{##2}}}
+\def\st@notation@terminate{}
+\define@statement@env{notation}{Notation}
+\def\termin{\@ifnextchar[{\@termin}{\@termin[]}}
+\def\@termin[#1]#2{{\termemph{\index*{#2}}}}
+\providecommand{\termemph}[1]{#1}
+\providecommand{\defemph}[1]{{\bf{#1}}}
+\providecommand{\stDMemph}[1]{{\bf{#1}}}
+\endinput
+%%
+%% End of file `statements.sty'.