CpsG.thy has been cleaned up. The next step is to add more comments and make slight changes along the way.

use_thy "Paper";