projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 30 Apr 2012 09:29:09 +0000 (09:29 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 30 Apr 2012 09:29:09 +0000 (09:29 +0000) | ||
| commit | 100184e7920cc3c70b50b694a17fa40ecde45e77 | |
| tree | 07c0b84b0591fc9238df5f01b3498ebe5e2f8838 | tree | snapshot |
| parent | 09a348f01d0a42a1936a3e90803fd27dd49984f4 | commit | diff |
| matita/matita/lib/turing/if_machine.ma | diff | blob | history | |
| matita/matita/lib/turing/mono.ma | diff | blob | history |