| Fri, 30 Aug 2013 12:06:11 +0200 | blanchet | added example | changeset | files |
| Fri, 30 Aug 2013 12:05:22 +0200 | blanchet | rationalized files | changeset | files |
| Fri, 30 Aug 2013 11:37:22 +0200 | blanchet | polished newly included files after moving | changeset | files |
| Fri, 30 Aug 2013 11:27:23 +0200 | blanchet | moved files related to "primrec_new", "primcorec", and "datatype_compat" from bitbucket co-rec repository | changeset | files |
| Fri, 30 Aug 2013 00:11:01 +0200 | wenzelm | tuned proofs; | changeset | files |
| Thu, 29 Aug 2013 23:22:58 +0200 | traytel | merged | changeset | files |
| Thu, 29 Aug 2013 23:21:48 +0200 | traytel | qualify internal and external constants in {l,g}fp properly | changeset | files |