utm/uncomputable.thy
Fri, 01 Mar 2013 17:13:32 +0000 Christian Urban adapted to JAR
Sat, 29 Sep 2012 12:38:12 +0000 zhang Initial upload of the formal construction of Universal Turing Machine.
less more (0) tip