projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Tue, 22 Jan 2013 09:57:18 +0000 (09:57 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Tue, 22 Jan 2013 09:57:18 +0000 (09:57 +0000) | ||
| commit | 9971fb3f00ed1d0749622afa8d0523e3e923a1a3 | |
| tree | 19d5d84b6857be3265c8c2c9421e9942cf9a2715 | tree | snapshot |
| parent | be80aa40b9a66d5b12f92d03c2aa7b1dd8e49893 | commit | diff |
| matita/matita/lib/turing/multi_universal/moves_2.ma | diff | blob | history | |
| matita/matita/lib/turing/multi_universal/unistep_aux.ma | diff | blob | history |