]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5af5db1) | patch
several changes
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 12 Jun 2012 09:46:36 +0000 (09:46 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 12 Jun 2012 09:46:36 +0000 (09:46 +0000)
commit31cb2f0b374657eb5acb95708443e2c1b8481891
tree39481ced9dda39e3a29d10d96924d0e2878be178tree | snapshot
parent5af5db14a2bb7583ae1b8eaaf18ad26a06e3d892commit | diff
several changes
matita/matita/lib/turing/mono.ma diff | blob | history
matita/matita/lib/turing/universal/move_tape.ma diff | blob | history
matita/matita/lib/turing/universal/normalTM.ma diff | blob | history
matita/matita/lib/turing/universal/tuples.ma diff | blob | history
matita/matita/lib/turing/universal/uni_step.ma diff | blob | history
matita/matita/lib/turing/universal/universal.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.