tm: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 15:33:26 +0100] rev 66

tuned more

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 15:06:32 +0100] rev 65

also polished uh_h proof

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 12:25:24 +0100] rev 64

updated h_uh proof in uncomputable

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 08:01:35 +0100] rev 63

small updates

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 22 Jan 2013 14:46:02 +0000] rev 62

updated

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 22 Jan 2013 14:38:56 +0000] rev 61

updated files

Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 20 Jan 2013 16:01:16 +0000] rev 60

new version of abacus

Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 20 Jan 2013 05:04:19 +0000] rev 59

polished turing_basic

Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 19 Jan 2013 21:03:55 +0000] rev 58

more proofs polished

Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 19 Jan 2013 19:23:42 +0000] rev 57

more proofs polished