Date: Jun 24, 2009 3:46 AM
Author: Tim Smith
Subject: Re: Formal Proof Language Example - Human-Readable?

In article 
<5295f40e-3b94-4b65-b5b1-9d8acc0ae0da@r16g2000vbn.googlegroups.com>,
Spiros Bousbouras <spibou@gmail.com> wrote:
> 3) I don't like that you are using ";" for conjunction. The
> established term is "and" and I see no reason to change it.
> Since I also do programming I can live with & or && but not ;.


He doesn't appear to be using ";" for conjunction. He's using it for
statement termination, like a period in written English. If he were
using it for conjunction, the last line in each group would not end with
";".


--
--Tim Smith