projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Tue, 5 Jun 2012 08:22:40 +0000 (08:22 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Tue, 5 Jun 2012 08:22:40 +0000 (08:22 +0000) | ||
| commit | 2682e8a14cbd59e1dfd01e463d22aabd530e7ba3 | |
| tree | d4e2656978e22a94554062b2eec372bee0af1495 | tree | snapshot |
| parent | 24463efd3724f32c9de2683a0e4a13aacf311428 | commit | diff |
| matita/matita/lib/turing/if_machine.ma | diff | blob | history | |
| matita/matita/lib/turing/mono.ma | diff | blob | history |