]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Aug 2008 13:18:04 +0000 (13:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Aug 2008 13:18:04 +0000 (13:18 +0000)
commit0faf538d2a970007527f493c67c17a54fd19d9b7
tree78179cdf3653457894816e939e5f99b2c2908c37
parentb195056adc77e652f59ec0b46afe277b150e12c8
...
helm/software/matita/core_notation.moo