Holistic CSP
Isabelle code for soundness and completeness of
Holistic CSP