]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Tue, 4 Mar 2014 11:56:12 +0000 (11:56 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Tue, 4 Mar 2014 11:56:12 +0000 (11:56 +0000) | ||
commit | 52d6d0a1d971e61fef9cfded716d319db5782f8f | |
tree | f70b96630ab6bb9e0b7fbdf10d9f1e22f8bc30cd | tree | snapshot |
parent | 4ce3d9ff25dab34412495bf3dce9484e7d48efa5 | commit | diff |
matita/components/ng_kernel/nCicUntrusted.ml | diff | blob | history |