diff -r 345dd18f020e -r 907b1fff5637 Prover/Tableaux98.ps.gz
Binary file Prover/Tableaux98.ps.gz has changed