summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/stex/sty/rfdmeta/certification.tex
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/stex/sty/rfdmeta/certification.tex')
-rw-r--r--macros/latex/contrib/stex/sty/rfdmeta/certification.tex30
1 files changed, 0 insertions, 30 deletions
diff --git a/macros/latex/contrib/stex/sty/rfdmeta/certification.tex b/macros/latex/contrib/stex/sty/rfdmeta/certification.tex
deleted file mode 100644
index 85fa8b7f38..0000000000
--- a/macros/latex/contrib/stex/sty/rfdmeta/certification.tex
+++ /dev/null
@@ -1,30 +0,0 @@
-\documentclass{omdoc}
-\usepackage{stex,rdfmeta,amstext}
-\begin{document}
-\begin{module}[id=certification]
-% \metalanguage[../owl2onto/owl2]{OWL2}
- \keydef{omtext}{hasState}
- \keydef{omgroup}{hasState}
- \symdef{hasState}{\text{hasState}}
- \symdef{statedocrd}[1]{rd. #1}
- \symdef{tuev}{\text{T\"UV}}
- \begin{omgroup}[id=foo,hasState=test]{Definitions}
- \begin{definition}[for=hasState]
- A document \defii{has}{state} $x$, iff the project manager decrees it so.
- \end{definition}
- \begin{definition}[for=statedocrd,hasState=$\statedocrd\tuev$]
- A document has state \defi[name=statedocrd]{rd. $x$}, iff it has been submitted to $x$ for
- certification.
- \end{definition}
- \begin{definition}[for=tuev,hasState=$\statedocrd\tuev$]
- The $\tuev$ (Technischer \"Uberwachungs Verein) is a national
- certification agency in Germany.
- \end{definition}
-\end{omgroup}
-\end{module}
-\end{document}
-
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End: