projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 22 Aug 2012 16:57:38 +0000 (16:57 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 22 Aug 2012 16:57:38 +0000 (16:57 +0000) | ||
| commit | 62ba47750dc6a598a01a5c53c375124a517b6ee0 | |
| tree | c5bbf8514c553d34296239a74407db596b2f9d10 | tree | snapshot |
| parent | 3f089c91ad16dfe03db9dca381330e7389e3cfe4 | commit | diff |
| matita/components/ng_kernel/nCicExtraction.ml | diff | blob | history | |
| matita/matita/lib/extraction.ma | diff | blob | history |