2009-10-29 | Cezary Kaliszyk | Fixed wrong CARD definition and removed the "Does not work anymore" comment. | file | diff | annotate |
2009-10-28 | Cezary Kaliszyk | Fixes | file | diff | annotate |
2009-10-27 | Christian Urban | made quotients compatiple with Nominal; updated keyword file | file | diff | annotate |
2009-10-26 | Christian Urban | updated with quotient_def | file | diff | annotate |
2009-10-24 | Christian Urban | added "print_quotients" command to th ekeyword file | file | diff | annotate |
2009-10-12 | Christian Urban | added new keyword | file | diff | annotate |
2009-08-24 | Christian Urban | added the prove command | file | diff | annotate |