]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 27 Aug 2012 12:05:30 +0000 (12:05 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 27 Aug 2012 12:05:30 +0000 (12:05 +0000) | ||
commit | ceac1e90a8108f526e33bbae7173571c55ea802d | |
tree | 2fa9d3490786553df0205d65cec30c562cbce97f | tree | snapshot |
parent | 01dd8b3dcbf02a9645152496d64f649afbbd22b9 | commit | diff |
matita/components/ng_kernel/nCicExtraction.ml | diff | blob | history |