Updated MMT files

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


b)

Attachment:
ZFC.mmt: https://fsi.cs.fau.de/unb-attachments/post_156373/ZFC.mmt


Vielen Dank :slight_smile: