]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df4cfc7) | patch
Old version dropped.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 Apr 2013 16:05:01 +0000 (16:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 Apr 2013 16:05:01 +0000 (16:05 +0000)
commited69681d11a9c202a7fba715ff080bfdf2e3de6f
tree45f37df9752d318ad4892c32a54373054cecb67btree | snapshot
parentdf4cfc76ab059f6b3d5daf324712ad27ec281088commit | diff
Old version dropped.
matita/matita/lib/turing/universal/alphabet.ma [deleted file] blob | history
matita/matita/lib/turing/universal/copy.ma [deleted file] blob | history
matita/matita/lib/turing/universal/marks.ma [deleted file] blob | history
matita/matita/lib/turing/universal/match_machines.ma [deleted file] blob | history
matita/matita/lib/turing/universal/move_tape.ma [deleted file] blob | history
matita/matita/lib/turing/universal/normalTM.ma [deleted file] blob | history
matita/matita/lib/turing/universal/tuples.ma [deleted file] blob | history
matita/matita/lib/turing/universal/uni_step.ma [deleted file] blob | history
matita/matita/lib/turing/universal/universal.ma [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.