]> matita.cs.unibo.it Git - helm.git/commit
Set notation now working again
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 3 Nov 2000 12:13:27 +0000 (12:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 3 Nov 2000 12:13:27 +0000 (12:13 +0000)
commite4ae880d435c1b46be0e900a675d2e6e4aaac837
tree0ef7357985662fed428fd877a5c7104c616d5f37
parent360b47cdbb8a0b00a3beb4ca3cd509bee0001791
Set notation now working again
helm/style/rootcontent.xsl
helm/style/set.xsl