]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 6 May 2010 15:52:38 +0000 (15:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 6 May 2010 15:52:38 +0000 (15:52 +0000)
commit3b6ca0e12de74ada4da4a3500a0cbffaa260c9e1
tree31b3d5ea31b2207bf9f09f6c31b5038c37e94293
parent668fb315dc8502dc1b4d336eba19ab9436bf5b7a
...
helm/software/matita/nlibrary/PTS/subst.ma