Some formalisation work done in the Abella theorem prover

Various formal proofs done in Abella theorem prover

• pic: Formalisation of modal logics for the pi-calculus.