]> matita.cs.unibo.it Git - helm.git/commit
added notation for arithmetics
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Mar 2001 17:17:28 +0000 (17:17 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Mar 2001 17:17:28 +0000 (17:17 +0000)
commitd42e5b087a231f25c06f370a0ae0048ddf76ca7e
tree52756d4c98935e2c5d79464442a2b1818ab8ae61
parent2238b5779cd8587ad7afaf32d13eba9173fa8473
added notation for arithmetics
helm/style/basic.xsl
helm/style/rootcontent.xsl