projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 17 Mar 2010 11:47:03 +0000 (11:47 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 17 Mar 2010 11:47:03 +0000 (11:47 +0000) | ||
| commit | d3d67acad6b7a946036c38bd2096609a29fef773 | |
| tree | ef7914d0c361f4a5b962a173e2d411198b134d72 | tree | snapshot |
| parent | 509151febaf7817e5b6ac4bd22a3d9ffa1d9a1be | commit | diff |
| helm/software/matita/nlibrary/basics/eq.ma | diff | blob | history |