2013-01-22 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 22 Jan 2013 14:46:02 +0000] rev 62
updated
2013-01-22 updated files
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 22 Jan 2013 14:38:56 +0000] rev 61
updated files
2013-01-20 new version of abacus
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
2013-01-20 polished turing_basic
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 20 Jan 2013 05:04:19 +0000] rev 59
polished turing_basic
2013-01-19 more proofs polished
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 19 Jan 2013 21:03:55 +0000] rev 58
more proofs polished
2013-01-19 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
2013-01-19 some small changes to turing and uncomputable
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 19 Jan 2013 15:27:21 +0000] rev 56
some small changes to turing and uncomputable
2013-01-19 added turing_hoare
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 19 Jan 2013 14:44:07 +0000] rev 55
added turing_hoare
2013-01-19 changed slightly HOARE-def
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 19 Jan 2013 14:29:56 +0000] rev 54
changed slightly HOARE-def
2013-01-19 tuned
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 19 Jan 2013 12:46:28 +0000] rev 53
tuned
(0) -10 +10 +100 tip