feedback
Added empty Lab3-module
Completed genIntList method
Completed isPermutation method
Added property testing for isPermutation
Completed permutation property testing, now the properties are tested in the correct fashion
Added CNF testing properties and executed numerous tests.
Added random FOL Generator
Assignments
Parser additions
push
Test
Merge branch 'bas'
Merge branch 'martijn'
fix quotes
Merge branch 'master' of https://github.com/martyn82/SST