]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b48c812) | patch
step (almost) done
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 24 Oct 2013 10:54:17 +0000 (10:54 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 24 Oct 2013 10:54:17 +0000 (10:54 +0000)
commitaa900a8d853f1040716bb050e38406463de08271
tree59f48ddc577681267886118960f28729f8f56f4ctree | snapshot
parentb48c812ec2bac673b10a8072a68b2cc4a1105673commit | diff
step (almost) done
matita/matita/lib/turing/multi_to_mono/exec_moves.ma diff | blob | history
matita/matita/lib/turing/multi_to_mono/exec_trace_move.ma diff | blob | history
matita/matita/lib/turing/multi_to_mono/step.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.