ProofSamples with xor proofs in both styles

Conflicts:
	src/PiWare/ProofSamples/BoolTrioComb.lagda