Correction

Correction of sequent.pl

Correction of resolution.ml

Correction of ZF.v