enkele typefoutjes in comments
Merge branch 'master' of https://github.com/jessab/MCS
oei blijkbaar mijn laatste versie vh verslage vergeten te committen... zal wel niet veel verschil zijn
laatste foutjes uit NuSMV