projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Sun, 26 Jan 2014 16:20:46 +0000 (16:20 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Sun, 26 Jan 2014 16:20:46 +0000 (16:20 +0000) | ||
| commit | 204222914dd162af0a54eed1c81e284e1dc46b0a | |
| tree | b8a7ca124b902d6fc0f073edbd80a8cfa0cb8da2 | tree | snapshot |
| parent | cdf346ea9e5dd3842c67e0f0595e110a07c0094c | commit | diff |
| matita/matita/lib/turing/auxiliary_machines1.ma | [new file with mode: 0644] | blob |
| matita/matita/lib/turing/multi_to_mono/exec_moves.ma | diff | blob | history |