Hi Dmitry: The code form you show has come up before in illustrating the difficulty of coding with strong sequential properties when a weak property is needed. I assume that is the point you were illustrating? J.H. > > en |-> a[*0:$] ##1 b > en ##0 !b[*1:$] |-> a > --------------------------------------------------------------------- > Intel Israel (74) Limited > -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed May 27 06:05:41 2009
This archive was generated by hypermail 2.1.8 : Wed May 27 2009 - 06:06:50 PDT