projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 13 May 2009 09:55:04 +0000 (09:55 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 13 May 2009 09:55:04 +0000 (09:55 +0000) | ||
| commit | 3cfa031bcd0620b3662b907cbbf07c65d7e96636 | |
| tree | 3e85d9033af0f778a6b466de82ac1707b29d7f07 | tree | snapshot |
| parent | 47070cf066ae366ac7f3e73594f1bc02b0efb7f4 | commit | diff |
| helm/software/matita/contribs/POPLmark/Fsub/part1a_inversion3.ma | diff | blob | history |