[sv-ac] a small boo-boo in the 1668 flow-theory-notes.txt

Hi Folks:

I made a small mistake in Remark 10 of the flow-theory-notes.txt.

I said

      (t v=e; r) 
   
   is rewritten as
   
      (k(r) ( ((1,v=e) ##0 (r)) or ((r) intersect 1[*0]) ) )

when I meant 

      (t v=e; r) 

   is rewritten as

      (t v; k(r) ( ((1,v=e) ##0 (r)) or ((r) intersect 1[*0]) ) )


This is obviously a mistake if you are working through the notes.
I fixed the version posted on mantis.

J.H.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.