Prove.thy
2009-08-24 Christian Urban added the prove command
less more (0) tip