PIPBasics.thy reorganized into sections. The structure is now stable. Next step is to put in more comments.

use_thy "Paper";