projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 14 Oct 2013 18:08:22 +0000 (18:08 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 14 Oct 2013 18:08:22 +0000 (18:08 +0000) | ||
| commit | 2ee1d9b1e0589aea7c5ca39a4b2a208b47f6463e | |
| tree | 6bfad0232ec717840e5486355a8ba8d2d02700fa | tree | snapshot |
| parent | 8133250a47c1302903a9589f66da54352978ce93 | commit | diff |
| matita/matita/lib/turing/multi_to_mono/multi_to_mono.ma | diff | blob | history | |
| matita/matita/lib/turing/multi_to_mono/trace_alphabet.ma | diff | blob | history |