]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 933f288) | patch
End of copy.ma
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 27 Aug 2012 08:43:30 +0000 (08:43 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 27 Aug 2012 08:43:30 +0000 (08:43 +0000)
commitadb2af8448f6001184acb989980198f2ab4d76a2
tree1df65d9f35508108714c6f94f13db64dccbf0b6ctree | snapshot
parent933f288c1ef283f50050ce51fbe6773f25fc68eacommit | diff
End of copy.ma
matita/matita/lib/turing/mono.ma diff | blob | history
matita/matita/lib/turing/universal/alphabet.ma diff | blob | history
matita/matita/lib/turing/universal/copy.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.