projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 25 May 2012 08:58:36 +0000 (08:58 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 25 May 2012 08:58:36 +0000 (08:58 +0000) | ||
| commit | 30172d86a0cd979e44ae3343655f6ce55043dd52 | |
| tree | ac0ddc61f22701939d1a657c033e9ad78903ab63 | tree | snapshot |
| parent | bdc0a7a8c1de693a40f116742f5d2d3f3290c381 | commit | diff |
| matita/matita/lib/basics/deqsets.ma | diff | blob | history | |
| matita/matita/lib/basics/finset.ma | diff | blob | history | |
| matita/matita/lib/basics/types.ma | diff | blob | history |