]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 27 Feb 2013 20:19:04 +0000 (20:19 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 27 Feb 2013 20:19:04 +0000 (20:19 +0000) | ||
commit | 6640fe3db217790d39fd9bf772b0b9fe5170786c | |
tree | a8e9a3baaf1fc245a067a31187f7f94fab0febb2 | tree | snapshot |
parent | 0e93127aaf63e2312c214a0f8fbbc58a6cd129b7 | commit | diff |
matita/components/ng_refiner/nCicMetaSubst.ml | diff | blob | history | |
matita/components/ng_refiner/nCicMetaSubst.mli | diff | blob | history |