thys2/Turing2.thy
2013-05-22 Christian Urban moved new theries into a separate directory
less more (0) tip