projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 7 May 2012 13:13:32 +0000 (13:13 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 7 May 2012 13:13:32 +0000 (13:13 +0000) | ||
| commit | 70279506c9837750cccf925dc9840b0b3d9951a5 | |
| tree | 085c89f330a0b9a0b31f4945f80349f5d0a006ea | tree | snapshot |
| parent | fac3ace96363de48a5fa3d75e2515f1eaf52d133 | commit | diff |
| matita/matita/lib/turing/mono.ma | diff | blob | history | |
| matita/matita/lib/turing/universal/move_char_c.ma | diff | blob | history | |
| matita/matita/lib/turing/while_machine.ma | diff | blob | history |