Talk:Loop variant

Database Vandalism
I corrected an instance of vandalism in this article as follows: The following sentence, in all revisions of the article
 * While we have shown that every loop that terminates has a variant, this does not mean that the well-foundedness of the loop iteration can be proven.

had been vandalised to read
 * While we have shown that every loop that terminates has an invariant, this does not mean that the well-foundedness of the loop iteration can be proven.

Deepmath (talk) 04:48, 19 July 2009 (UTC)