Validating requirements by checking against Robert's table.
Corrections
Added lemmas for all rows except row 1 from Robert's table.
Merge branch 'master' of https://github.com/smaccm/smaccm.git
Updates for ISAS_S_190