]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Tue, 4 Mar 2014 12:07:04 +0000 (12:07 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Tue, 4 Mar 2014 12:07:04 +0000 (12:07 +0000) | ||
commit | b8bf1433f739c8befdf410ace0a0ff6e779a3339 | |
tree | 42dd7ef5ed4211799088c8bcbee7a102268fe843 | tree | snapshot |
parent | 52d6d0a1d971e61fef9cfded716d319db5782f8f | commit | diff |
matita/components/ng_refiner/nCicRefiner.ml | diff | blob | history |