| Fri, 11 Dec 2009 11:08:58 +0100 | Cezary Kaliszyk | New syntax for definitions. | file | diff | annotate |
| Fri, 11 Dec 2009 08:28:41 +0100 | Christian Urban | changed error message | file | diff | annotate |
| Thu, 10 Dec 2009 19:05:56 +0100 | Christian Urban | slightly tuned | file | diff | annotate |
| Thu, 10 Dec 2009 18:28:30 +0100 | Christian Urban | added Larry's theory; introduced lemma equivpI; added something to the TODO about error messages | file | diff | annotate |