tm2: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 29 Apr 2014 15:26:48 +0100] rev 19

added FMap theory and adapted tm-theory

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 04 Apr 2014 13:15:07 +0100] rev 18

deleted AList theory, which is not necessary

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 03 Apr 2014 15:28:01 +0100] rev 17

added a version using finfuns

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 03 Apr 2014 14:02:58 +0100] rev 16

added an attempt to change TMs to use FinFuns.

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 03 Apr 2014 12:55:43 +0100] rev 15

recursive function theories / UF_rec still need coding of tapes and programs

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 03 Apr 2014 12:47:07 +0100] rev 14

some comments

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 27 Mar 2014 15:12:33 +0000] rev 13

added some comments

tm2