| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/UTP/document/ (Sammlung formaler Beweise 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.0 Sekunden (vorverarbeitet am 2026-06-10) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-06-09