tm2: Changelog

Xingyuan Zhang <xingyuanzhang@126.com> [Sat, 13 Sep 2014 10:07:14 +0800] rev 25

thys2 added

ibm-PC\ibm <xingyuanzhang@126.com> [Fri, 12 Sep 2014 00:47:15 +0800] rev 24

new change

ibm-PC\ibm <xingyuanzhang@126.com> [Fri, 12 Sep 2014 00:41:17 +0800] rev 23

good

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 30 May 2014 12:05:57 +0100] rev 22

merged

wuc [Tue, 20 May 2014 20:21:29 +0800] rev 21

test if can write

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 30 May 2014 12:04:49 +0100] rev 20

soem more work

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.

tm2