search

knowsys / FormaleSysteme

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
https://iccl.inf.tu-dresden.de/web/Formale_Systeme
44 stars 14 forks source link

Schreibfehler #4

Closed eknoes closed 7 years ago

eknoes commented 7 years ago

Ein kleiner Schreibfehler korrigiert.

mkroetzsch commented 7 years ago

Danke. Durch Verschiebung der Datei kann ich das leider nicht mehr direkt mergen. Bitte entweder nochmal aktualisieren oder den Request schließen (dann mache ich es selbst).

eknoes commented 7 years ago

Ist aktualisiert

mkroetzsch commented 7 years ago

Super, danke!