projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Wed, 9 May 2012 16:49:50 +0000 (16:49 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Wed, 9 May 2012 16:49:50 +0000 (16:49 +0000) | ||
| commit | 28c261aad4d710c9f218fbbbaf1ed3b45c1caf72 | |
| tree | 4d620908070979926c9ae6407f01641a0d5d8d73 | tree | snapshot |
| parent | 09b49f4f848d45ac64835c72e6f42ed82fb82ac7 | commit | diff |
| matita/matita/lib/turing/if_machine.ma | diff | blob | history | |
| matita/matita/lib/turing/mono.ma | diff | blob | history | |
| matita/matita/lib/turing/universal/marks.ma | diff | blob | history |