]> matita.cs.unibo.it Git - helm.git/commit
Notation for ZArith (inside arith.xsl) added.
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 5 Jul 2001 09:27:20 +0000 (09:27 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 5 Jul 2001 09:27:20 +0000 (09:27 +0000)
commitf4d99607a3d6b6b2013b3a951384dc6630fa1ea3
tree5c03dd97d867c99f98da968f939ce7d5e22b0ce7
parenta193d8a38b0598bfafc3309dc4f5346987b33e58
Notation for ZArith (inside arith.xsl) added.
helm/style/arith.xsl
helm/style/contentlib.xsl