projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 31 Mar 2017 11:57:31 +0000 (11:57 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 31 Mar 2017 11:57:31 +0000 (11:57 +0000) | ||
| commit | f8f7942a189860b2fe0fe60765385a7d17a93033 | |
| tree | f50a5e0a26bc72a6a67add342d8310617a6d87f2 | tree | snapshot |
| parent | c3832abc23bb0907df2deb6751f4a46d213675b7 | commit | diff |
| matita/components/ng_tactics/nnAuto.ml | diff | blob | history |