]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 1 Apr 2009 20:58:50 +0000 (20:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 1 Apr 2009 20:58:50 +0000 (20:58 +0000)
commitdee331ab42d5d625f32fecc3e70df013c2dd093d
treeaf243313304670ae81d0e37f7978c36788449c3d
parent9c2f282765ec75a3c9aafc9e73e6626588891abe
...
helm/software/matita/tests/a.ma