| Fri, 30 Aug 2013 13:23:23 +0200 | blanchet | updated keywords | changeset | files |
| Fri, 30 Aug 2013 12:43:39 +0200 | blanchet | tuned theory name | changeset | files |
| Fri, 30 Aug 2013 12:37:03 +0200 | blanchet | moved keywords down the hierarchy | changeset | files |
| Fri, 30 Aug 2013 12:12:41 +0200 | blanchet | renamed command to clarify connection with BNF | changeset | files |
| Fri, 30 Aug 2013 12:09:51 +0200 | blanchet | merged two theory files | changeset | files |
| Fri, 30 Aug 2013 12:06:37 +0200 | blanchet | updated news/contributors with BNF stuff | changeset | files |
| 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 |
| Thu, 29 Aug 2013 23:13:17 +0200 | wenzelm | merged | changeset | files |