| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/UTP/document/ (Archive of formal Proofs Version 2026-5©) Datei vom 29.4.2026 mit Größe 509 B |
|
Quelle document.stySprache: Latech |
|||||||||
|
% Support the outer command "paragraph {* *}".
%%%%%%%%%%% % Colours % %%%%%%%%%%% \newcommand{\red}[1]{{\color{Red}#1}} \newcommand{\blue}[1]{{\color{Blue}#1}} \newcommand{\green}[1]{{\color{Green}#1}} \newcommand{\grey}[1]{{\color{Gray}#1}} \newcommand{\purple}[1]{{\color{Purple}#1}} %%%%%%%%%%%%%%%%%%%%%%% % Document Management % %%%%%%%%%%%%%%%%%%%%%%% \newcommand{\todo}[1]{\textbf{TODO}:~\red{#1}} \newcommand{\note}[1]{\textbf{NOTE}:~\green{#1}} \newcommand{\fixme}[1]{\textbf{FIXME}:~\blue{#1}} ¤ Dauer der Verarbeitung: 0.9 Sekunden (vorverarbeitet am 2026-07-06) ¤*© Formatika GbR, Deutschland |
|
2026-07-27