projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 30 Apr 2012 08:44:34 +0000 (08:44 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 30 Apr 2012 08:44:34 +0000 (08:44 +0000) | ||
| commit | 09a348f01d0a42a1936a3e90803fd27dd49984f4 | |
| tree | 6a847eb8e8dc6c525b427280f8033e4df07d0640 | tree | snapshot |
| parent | f6e6486af6eaf33087e3c7180dd115e40d9b191c | commit | diff |
| matita/matita/lib/turing/if_machine.ma | [new file with mode: 0644] | blob |
| matita/matita/lib/turing/mono.ma | diff | blob | history |