diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex/rfdmeta/certification.tex')
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/rfdmeta/certification.tex | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/Master/texmf-dist/doc/latex/stex/rfdmeta/certification.tex b/Master/texmf-dist/doc/latex/stex/rfdmeta/certification.tex deleted file mode 100644 index 85fa8b7f382..00000000000 --- a/Master/texmf-dist/doc/latex/stex/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: |