projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 28 May 2012 06:21:26 +0000 (06:21 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 28 May 2012 06:21:26 +0000 (06:21 +0000) | ||
| commit | 7d58d5dc7f897622f2010326023b17c6592d5f03 | |
| tree | 880c819b8571c93d9d56daa3dfa8539fcc1c254d | tree | snapshot |
| parent | 5b7e0f0603606f622a63110f718310ca57cb26af | commit | diff |
| matita/matita/lib/basics/deqsets.ma | diff | blob | history | |
| matita/matita/lib/basics/lists/list.ma | diff | blob | history |