[CCS] MultivariateTheory: general forms of the "unique solution of equations/contractions" theorems

Delete trailing whitespace in examples

Remove TABs from examples

[CCS] late developments with new theorems; fixed with K11 release; selftest added

[CCS] further extensions of the CCS example (thesis project)

Update now invalid calls to DB.html_theory

These now have to be Hol_pp.html_theory

Remove trailing whitespace throughout examples/

New version of the CCS example

[example] a formalization of process algebra CCS (ported from HOL88)