]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b205629) | patch
The moves (almost)
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 18 Oct 2013 14:26:36 +0000 (14:26 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 18 Oct 2013 14:26:36 +0000 (14:26 +0000)
commit1c50d9bf16156231da7d4366775feeb800664515
tree7663e341c5360950cf69af0c1a3d863164fac4b1tree | snapshot
parentb20562910685165ddcb488a9c651c454e53d3d7fcommit | diff
The moves (almost)
matita/matita/lib/turing/multi_to_mono/exec_moves.ma [new file with mode: 0644] blob
matita/matita/lib/turing/multi_to_mono/exec_trace_move.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.