diff options
author | Norbert Preining <norbert@preining.info> | 2022-02-26 03:00:34 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2022-02-26 03:00:34 +0000 |
commit | 740a11f29a3551babe3d7edbb57ac3baa2280a3f (patch) | |
tree | 5d6d449e762f5ab95042e3517d03c5ac3ddaf7c3 /macros/latex/contrib/stex/sty/rfdmeta/certification.tex | |
parent | 157cc9e776520d0b7d488317a69a10d4ae4d493b (diff) |
CTAN sync 202202260300
Diffstat (limited to 'macros/latex/contrib/stex/sty/rfdmeta/certification.tex')
-rw-r--r-- | macros/latex/contrib/stex/sty/rfdmeta/certification.tex | 30 |
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: |