LOOP32. Generalizing when using array diagrams

We show how a loop invariant is sometimes found by generalizing pre- and post-conditions that are written as array diagrams.

[jrStarrr]

Thanks to everyone involved in the creation of this material! It was very helpful.