[r-t] Double major principles

[Graham John]

I wrote:

> programme

... three times! I'm not sure how I came to use the spelling in this
context.

Also I wrote:

> as there was not enough memory even to store all the rows.

Of course the first proving program I wrote did not store all the rows
either, but at least the computer had 32K of RAM which was sufficient to
keep an 8-bell bit-proving table of 5K.

Graham