projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 20 Oct 2011 16:13:06 +0000 (16:13 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 20 Oct 2011 16:13:06 +0000 (16:13 +0000) | ||
| commit | 98f3202363b4baf3bf8e13af10f086ca1cf848be | |
| tree | 49a84783f3fc2dbcda2bea50c9cce071a2f38d58 | tree | snapshot |
| parent | c8d73368c6279460b6525834895ee2d65be3bda3 | commit | diff |
| matitaB/components/ng_tactics/nnAuto.ml | diff | blob | history |