]> matita.cs.unibo.it Git - helm.git/commit
abstract polinomials
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 3 Apr 2001 14:58:57 +0000 (14:58 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 3 Apr 2001 14:58:57 +0000 (14:58 +0000)
commite8c7d0435c1f0de182d341f6e6f8e0d7412eefac
tree75ba5eda4a1e0493dc433134b294e1527c9c5c89
parentda5fe4c75778c9efab036b71d3c936025d20a98c
abstract polinomials
helm/style/ring.xsl [new file with mode: 0644]