isar-keywords-prove.el
2009-10-29 Cezary Kaliszyk Fixed wrong CARD definition and removed the "Does not work anymore" comment.
2009-10-28 Cezary Kaliszyk Fixes
2009-10-27 Christian Urban made quotients compatiple with Nominal; updated keyword file
2009-10-26 Christian Urban updated with quotient_def
2009-10-24 Christian Urban added "print_quotients" command to th ekeyword file
2009-10-12 Christian Urban added new keyword
2009-08-24 Christian Urban added the prove command
less more (0) tip