]> matita.cs.unibo.it Git - helm.git/commit
First experimental commit of the notation (partial!) for real numbers.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Dec 2002 17:50:45 +0000 (17:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Dec 2002 17:50:45 +0000 (17:50 +0000)
commit7ff85e55518d06d96b9abbea4aa68d83e6be35b0
tree2e231c398949db8e1827a1ff386b3840bcfcb718
parent570d0db41452928eac92a00dc63f0b360d2c816b
First experimental commit of the notation (partial!) for real numbers.
helm/meta_style/positive.xsl