]> matita.cs.unibo.it Git - helm.git/commit
more notations added
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 21 Mar 2001 16:53:40 +0000 (16:53 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 21 Mar 2001 16:53:40 +0000 (16:53 +0000)
commitf30453fc7ff18c75479f482dc230e174ab050204
tree6a78163b93ef49f84eeac2d41aee19eea98b6d26
parentfef1d2b3026ab198c786765fc6d0d07a71c0af3e
more notations added
helm/style/arith.xsl
helm/style/reals.xsl