projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 21 Nov 2011 10:17:02 +0000 (10:17 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 21 Nov 2011 10:17:02 +0000 (10:17 +0000) | ||
| commit | 99d8a9f4c5d6e3b3052ec03189e02db6b817bc55 | |
| tree | a3cc598eae80ecb40e55402ecc62de6e6d2df3ad | tree | snapshot |
| parent | 4c2b24a41bec48da2f6b5abc0dda537f12578a87 | commit | diff |
| matita/components/ng_tactics/nnAuto.ml | diff | blob | history |