]> matita.cs.unibo.it Git - helm.git/commit
Adding GRealize to uni_step.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 8 Aug 2012 12:09:51 +0000 (12:09 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 8 Aug 2012 12:09:51 +0000 (12:09 +0000)
commit5535cd4e08fd8d1e7e6e067eac1bb6c1bf8fcbbf
tree69d058cc9b3f440cd078635240b04b96e115a937
parentcac9e26db70506c0834d618f56d22e2d0bb37a9d
Adding GRealize to uni_step.
matita/matita/lib/basics/relations.ma
matita/matita/lib/turing/basic_machines.ma
matita/matita/lib/turing/if_machine.ma
matita/matita/lib/turing/mono.ma
matita/matita/lib/turing/universal/copy.ma
matita/matita/lib/turing/universal/uni_step.ma