projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 7 Dec 2011 13:12:51 +0000 (13:12 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 7 Dec 2011 13:12:51 +0000 (13:12 +0000) | ||
| commit | 537a73f4aca66ef57108a51cd9cc61b478571f33 | |
| tree | b82aeddf4469fda9e8f2c0bf1a63242f1b1dbb65 | tree | snapshot |
| parent | 9490a4ae2615e23c9ab4b6dc13ef6c699ce33120 | commit | diff |
| matita/matita/lib/re/moves.ma | diff | blob | history | |
| matita/matita/lib/re/re.ma | diff | blob | history |