]> matita.cs.unibo.it Git - helm.git/commit
Correct CurrentProof
authorMatteo Selmi <matteo.selmi@mail.polimi.it>
Wed, 30 Oct 2002 14:22:19 +0000 (14:22 +0000)
committerMatteo Selmi <matteo.selmi@mail.polimi.it>
Wed, 30 Oct 2002 14:22:19 +0000 (14:22 +0000)
commite78f0dbe755c21981753a0f93d1dc74cd89c6152
tree25a4fe516c82c3b5c29a3231954428e6c826ad81
parent3158af584f7fdd261a39757d979bd4369197c2bb
Correct CurrentProof
helm/style/objcontent.xsl