editing fix to Semantics

A week or so ago, in response to the issue-156 comment, I changed the wording of the lemmas in section 5.3 to make all the 'entails' unambiguous. But I forgot to make the parallel changes in appendix C, where the proofs are stated. 

Fixed in the latest draft. 


IHMC                                     (850)434 8903 home
40 South Alcaniz St.            (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile (preferred)
phayes@ihmc.us       http://www.ihmc.us/users/phayes

Received on Thursday, 31 October 2013 00:41:42 UTC