]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c6cd0d) | patch
progress
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 16 Nov 2012 14:24:20 +0000 (14:24 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 16 Nov 2012 14:24:20 +0000 (14:24 +0000)
commit1a054f8c2ca1590cab8d335749a10e2ed13a11eb
tree91dda39c7699145368e247025a4aa6180e0aa721tree | snapshot
parent9c6cd0d86ec26207cdd3ba2a250d1bd8c00a98a3commit | diff
progress
matita/matita/lib/turing/multi_universal/moves.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.