turing_basic.thy
2013-01-18 Christian Urban updated turing_basic by Jian
2013-01-13 Christian Urban some experiments
2012-12-24 Christian Urban initial setup
less more (0) tip