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. 

Pat

------------------------------------------------------------
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