]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c81b4f5) | patch
autobatch by
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 5 May 2009 11:09:36 +0000 (11:09 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 5 May 2009 11:09:36 +0000 (11:09 +0000)
commita2b703feae630d0fdd1740bd18e80ee1f6654a88
treeea15e2cf0983f565b4d17eb8550e2ff81aa58b55tree | snapshot
parentc81b4f59a7f58dc1e6c3ea1fc792bcce6234f866commit | diff
autobatch by
helm/software/matita/library/nat/gcd.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.