thys/turing_basic.thy
Sun, 13 Jan 2013 11:29:33 +0000 Christian Urban updated test
less more (0) tip