projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 8 Jun 2012 11:48:47 +0000 (11:48 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 8 Jun 2012 11:48:47 +0000 (11:48 +0000) | ||
| commit | 7ac5fca2e08ea671a75c9adf4ef070dbd0ea2c37 | |
| tree | 21f2e8cdd2118c8f44d8c58dd4294fb0017870d9 | tree | snapshot |
| parent | e94a85ba0e6313f88f0c1b6b9d28eb4c3294ba52 | commit | diff |
| matita/matita/lib/turing/char_move.ma | [new file with mode: 0644] | blob |