| 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 |
| Thu, 03 Apr 2014 12:47:07 +0100 | Christian Urban |
some comments | changeset | files |
| Thu, 27 Mar 2014 15:12:33 +0000 | Christian Urban |
added some comments | changeset | files |
| Thu, 27 Mar 2014 13:06:27 +0000 | Christian Urban |
some minor changes | changeset | files |