utm/rec_def.thy
2012-09-29 zhang Initial upload of the formal construction of Universal Turing Machine.
less more (0) tip