Added microwave example as a submodule#169

klaeufer wants to merge 1 commit into

tlaplus:mastertlaplus/Examples:masterfrom

klaeufer:masterklaeufer/TLAPlusExamples:masterCopy head branch name to clipboard