]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 24 Mar 2010 14:19:52 +0000 (14:19 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 24 Mar 2010 14:19:52 +0000 (14:19 +0000) | ||
commit | f4d1feaa9cc24ef94f72fe32603a71f8d65acd01 | |
tree | 2429b9b6d6b64a4ca7e802039494e6e237ca0624 | tree | snapshot |
parent | cf72398627cd1189f42c3fbb9e29fa4b32e723c8 | commit | diff |
helm/software/matita/nlibrary/arithmetics/R.ma | [new file with mode: 0644] | blob |