]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Fri, 7 Mar 2014 15:16:01 +0000 (15:16 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Fri, 7 Mar 2014 15:16:01 +0000 (15:16 +0000) | ||
commit | d54a368a5d9ac5a0c4dc7f80d2738eed069517d8 | |
tree | 1b6d2334f2b20fa4d81fa522796d75081c7bb49b | tree | snapshot |
parent | 37905ef451d98f0c857d62876fdbe12f0ee8ccaf | commit | diff |
matita/components/ng_paramodulation/nCicBlob.ml | diff | blob | history |