| Fri, 04 Apr 2014 13:15:07 +0100 | Christian Urban |
deleted AList theory, which is not necessary | changeset | files |
| Thu, 03 Apr 2014 15:28:01 +0100 | Christian Urban |
added a version using finfuns | changeset | files |
| Thu, 03 Apr 2014 14:02:58 +0100 | Christian Urban |
added an attempt to change TMs to use FinFuns. | changeset | files |
| Thu, 03 Apr 2014 12:55:43 +0100 | Christian Urban |
recursive function theories / UF_rec still need coding of tapes and programs | changeset | files |