]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d54a6d) | patch
A recompiling version
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 8 Jun 2012 10:49:53 +0000 (10:49 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 8 Jun 2012 10:49:53 +0000 (10:49 +0000)
commite94a85ba0e6313f88f0c1b6b9d28eb4c3294ba52
tree347c2b789b089b0fff1edaba2c33eee3a4d06f85tree | snapshot
parent5d54a6d3a0f22bb8784387c491de7bb66e67b625commit | diff
A recompiling version
matita/matita/lib/turing/universal/copy.ma diff | blob | history
matita/matita/lib/turing/universal/move_tape.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.