]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Fri, 7 Mar 2014 15:43:17 +0000 (15:43 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Fri, 7 Mar 2014 15:43:17 +0000 (15:43 +0000) | ||
commit | 5072e94b40c0a9b9ed010d49c244d00ee30a7395 | |
tree | a664039b505c39c9a159472c8c5a86b7ffadc8f4 | tree | snapshot |
parent | d54a368a5d9ac5a0c4dc7f80d2738eed069517d8 | commit | diff |
matita/components/grafite/grafiteAstPp.ml | diff | blob | history |