| Thu, 19 Sep 2013 02:30:45 +0200 | added helper function for code equations in primcorec | file | diff | annotate |
| Wed, 18 Sep 2013 17:36:47 +0200 | no need thanks to "Code.abort" | file | diff | annotate |
| Wed, 18 Sep 2013 16:44:19 +0200 | minor change related to code equations in primcorec | file | diff | annotate |
| Wed, 18 Sep 2013 15:33:32 +0200 | new tactics for constructor view | file | diff | annotate |
| Thu, 12 Sep 2013 00:07:46 +0200 | avoid a keyword | file | diff | annotate |
| Fri, 30 Aug 2013 12:43:39 +0200 | tuned theory name | file | diff | annotate | base |