- From: Pat Hayes <phayes@ihmc.us>
- Date: Wed, 30 Oct 2013 19:41:16 -0500
- To: RDF Working Group <public-rdf-wg@w3.org>
- Cc: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
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