]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Tue, 4 Mar 2014 12:24:19 +0000 (12:24 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Tue, 4 Mar 2014 12:24:19 +0000 (12:24 +0000) | ||
commit | 9cfd213efc96e1bd60207d4edbf8c21ca80b6d80 | |
tree | 6a5db72ba7b80f477efe7d691941f9c25c80f571 | tree | snapshot |
parent | b8bf1433f739c8befdf410ace0a0ff6e779a3339 | commit | diff |
matita/components/ng_tactics/nTactics.ml | diff | blob | history |