isar-keywords-prove.el
2009-08-24 Christian Urban added the prove command
less more (0) tip