projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 8 Nov 2007 14:54:31 +0000 (14:54 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 8 Nov 2007 14:54:31 +0000 (14:54 +0000) | ||
| commit | d4b7b23a0627c97315dc454c8193ce082f00b249 | |
| tree | c079364e42b1fa6b3cda4dde51747ad9c3c9916b | tree | snapshot |
| parent | db04e50168be1d78e9074543990c6c7d0b40298b | commit | diff |
| helm/software/matita/library/decidable_kit/eqtype.ma | diff | blob | history | |
| helm/software/matita/library/decidable_kit/list_aux.ma | diff | blob | history |