projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 18 Jan 2013 11:08:33 +0000 (11:08 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 18 Jan 2013 11:08:33 +0000 (11:08 +0000) | ||
| commit | f4047107dfd976f173151174269f356b1f431ab7 | |
| tree | 18798ce45c46239ba2b7ceeb5921698a95924ac6 | tree | snapshot |
| parent | b2e4273cdfa45add6110a81626dcb3e25928a0d4 | commit | diff |
| matita/matita/lib/basics/vectors.ma | diff | blob | history | |
| matita/matita/lib/turing/multi_universal/unistep_aux.ma | diff | blob | history |