projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 3 May 2012 09:30:27 +0000 (09:30 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 3 May 2012 09:30:27 +0000 (09:30 +0000) | ||
| commit | d32efcc40e6de8a337e61864dab00305ba30b334 | |
| tree | 3d7f3d56ef4ef88cdf3e3ec5194c8ecf59651019 | tree | snapshot |
| parent | 8c55c07e5f3025c0a186d4c684c3f60a6ff240d8 | commit | diff |
| matita/matita/lib/basics/finset.ma | diff | blob | history |