]>
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 |