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