Thu, 03 Apr 2014 14:02:58 +0100 added an attempt to change TMs to use 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.
(0) -10 -1 +1 +10 tip