Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Updated MMT files
a)
Attachment:
Logic.mmt: https://fsi.cs.fau.de/unb-attachments/post_156372/Logic.mmt
Vielen Dank