| products/sources/formale Sprachen/Coq/doc/tools/coqrst/notations/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Sprache: Unknown
|
rahmenlose Ansicht.tokens DruckansichtDelphi {Delphi[91] Coq[123] C[141]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] LALT=1 LGROUP=2 LBRACE=3 RBRACE=4 ESCAPED=5 PIPE=6 ATOM=7 ID=8 SUB=9 WHITESPACE=10 '{|'=1 '{'=3 '}'=4 '|'=6 [ Verzeichnis aufwärts0.44unsichere Verbindung ] |