]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c32e871) | patch
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 30 Dec 2009 17:30:48 +0000 (17:30 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 30 Dec 2009 17:30:48 +0000 (17:30 +0000)
commitb2d91e46900424ce5eb5a058c33841e72cc4b229
tree2f2650aa1ce07318c860ace4ff35d52f09b06429tree | snapshot
parentc32e87198e3434dc89009b954223e825da34c1accommit | diff
...
helm/software/matita/nlibrary/sets/setoids1.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.