2014-05-20 | wuc | test if can write | changeset | files |
2014-05-30 | Christian Urban |
soem more work | changeset | files |
2014-04-29 | Christian Urban |
added FMap theory and adapted tm-theory | changeset | files |
2014-04-04 | Christian Urban |
deleted AList theory, which is not necessary | changeset | files |
2014-04-03 | Christian Urban |
added a version using finfuns | changeset | files |
2014-04-03 | Christian Urban |
added an attempt to change TMs to use FinFuns. | changeset | files |
2014-04-03 | Christian Urban |
recursive function theories / UF_rec still need coding of tapes and programs | changeset | files |
2014-04-03 | Christian Urban |
some comments | changeset | files |
Loading... |