projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 30 Apr 2012 10:44:36 +0000 (10:44 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 30 Apr 2012 10:44:36 +0000 (10:44 +0000) | ||
| commit | 74d4ef0ea9a72ecec47419c776ac05c51114d8a0 | |
| tree | ceee0624c54b6eb44d183641ba3ec6227e2351f8 | tree | snapshot |
| parent | 100184e7920cc3c70b50b694a17fa40ecde45e77 | commit | diff |
| matita/matita/lib/turing/if_machine.ma | diff | blob | history | |
| matita/matita/lib/turing/mono.ma | diff | blob | history |