%% %% 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'.