projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 21 Nov 2012 15:38:05 +0000 (15:38 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 21 Nov 2012 15:38:05 +0000 (15:38 +0000) | ||
| commit | 06efa0bfaf379b7d3e2f93a41ce5e6f0f01e76a5 | |
| tree | 728af4181fe83da531b144a83468e325a839c5ca | tree | snapshot |
| parent | c449d8972928eb8e6fcce842aeb388118c0c314e | commit | diff |
| matita/matita/lib/turing/multi_universal/match.ma | diff | blob | history |