Untersuchungsergebnis.out Download desText {Text[255] Latech[367] Haskell[388]}zum Wurzelverzeichnis wechseln
Notation
"b1 && b2" := if b1 then b2 else false (default interpretation)
"x && y" := andb x y : bool_scope
[ zur Elbe Produktseite wechseln0.71Quellennavigators
]
