]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/lib/turing
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba575c0) | patch
done
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 9 Nov 2012 15:09:23 +0000 (15:09 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 9 Nov 2012 15:09:23 +0000 (15:09 +0000)
commite142e937772dd7b92152057f7fe9402d240b7b7e
tree3bdf7b6badd67aa6acba5b71c02c1102403dffbetree | snapshot
parentba575c0609015580c1419c17b350de19a158e8e3commit | diff
done
matita/matita/lib/turing/turing.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.