]> matita.cs.unibo.it Git - helm.git/commit
basic notations for arithmetics
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Mar 2001 17:21:14 +0000 (17:21 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Mar 2001 17:21:14 +0000 (17:21 +0000)
commit3798732d9707017506da34b063f4ff6095722c30
tree00d09a2e1b68ab670ef0b94ed3a7ac13dd0a9cc4
parentd42e5b087a231f25c06f370a0ae0048ddf76ca7e
basic notations for arithmetics
helm/style/arith.xsl [new file with mode: 0644]
helm/style/contentlib.xsl [new file with mode: 0644]