]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bed400c) | patch
porting to termination
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 8 Aug 2012 09:22:58 +0000 (09:22 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 8 Aug 2012 09:22:58 +0000 (09:22 +0000)
commitcac9e26db70506c0834d618f56d22e2d0bb37a9d
tree8b051077ccac8d51ada8f14cf0998c11f7e34567tree | snapshot
parentbed400cf37906a25129907986b10f24cb499dbb4commit | diff
porting to termination
matita/matita/lib/turing/universal/move_tape.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.