projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 14 May 2012 11:55:54 +0000 (11:55 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 14 May 2012 11:55:54 +0000 (11:55 +0000) | ||
| commit | 35e0d9c8c27601b93413f4e9cbf1558404f24a41 | |
| tree | 5d343a694d5f44451144d9061b06b388ce776a8b | tree | snapshot |
| parent | 0a8212f3e87b75e8ab47dc853e612a9a3e1d2544 | commit | diff |
| matita/matita/lib/turing/if_machine.ma | diff | blob | history | |
| matita/matita/lib/turing/universal/marks.ma | diff | blob | history | |
| matita/matita/lib/turing/universal/tuples.ma | diff | blob | history |