HomeIsabelle/Phabricator

Substantial additions by Franz Regensburger to the Universal_Turing_Machineā€¦

Description

Substantial additions by Franz Regensburger to the Universal_Turing_Machine entry

Details

Provenance
Christian Urban <christian.urban@kcl.ac.uk>Authored on
Parents
rAFP10120a93e155: replaced slow smt call by blast
Branches
Unknown
Tags
Unknown