Date: Jun 24, 2009 3:46 AM
Author: Tim Smith
Subject: Re: Formal Proof Language Example - Human-Readable?
Spiros Bousbouras <firstname.lastname@example.org> 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