ProofPower and its use at X-Logic.org
(for noframe browsers)