tutch: 0.52 - natural deduction proof checker

Tutch is a proof checker for constructive natural deduction proofs,
written in SML. This formula installs it.