[sv-ac] review of D4 implementation of 1734

From: John Havlicek <john.havlicek_at_.....>
Date: Sat Oct 13 2007 - 11:03:37 PDT
Hi Folks:

I reviewed the D4 implementation of 1734, and everything
looks o.k. except that one stray period slipped in:


* In F.3.3.1, under "Disabling of top-level properties", in the third item,
  there is a stray period:

     w^{0,i-1}\bot^\omega . \not\models P


J.H.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Sat Oct 13 11:03:58 2007

This archive was generated by hypermail 2.1.8 : Sat Oct 13 2007 - 11:04:07 PDT