| Sat, 31 Aug 2013 20:37:31 +0200 | panny | simplified recursive calls' replacement | file | diff | annotate |
| Sat, 31 Aug 2013 18:18:33 +0200 | panny | handle selector formulae with no corecursive calls | file | diff | annotate |
| Fri, 30 Aug 2013 21:43:15 +0200 | panny | fixed bug in primrec_new (allow indirect recursion through constructor arguments other than the first) | file | diff | annotate |
| Fri, 30 Aug 2013 14:17:19 +0200 | blanchet | more canonical naming | file | diff | annotate |
| Fri, 30 Aug 2013 12:37:03 +0200 | blanchet | moved keywords down the hierarchy | file | diff | annotate |
| Fri, 30 Aug 2013 11:37:22 +0200 | blanchet | polished newly included files after moving | file | diff | annotate |
| Fri, 30 Aug 2013 11:27:23 +0200 | blanchet | moved files related to "primrec_new", "primcorec", and "datatype_compat" from bitbucket co-rec repository | file | diff | annotate |