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