projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 10 Apr 2007 14:29:38 +0000 (14:29 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 10 Apr 2007 14:29:38 +0000 (14:29 +0000) | ||
| commit | 680039d60c1d69521f84580ee0069cb2d6ff56ba | |
| tree | e15917815c66213de8ea108cfc7fcb95ef89b95b | tree | snapshot |
| parent | 86bb723de51760e2b62d365b31b79e28615f430e | commit | diff |
| helm/software/matita/library/decidable_kit/decidable.ma | [new file with mode: 0644] | blob |
| helm/software/matita/library/decidable_kit/eqtype.ma | [new file with mode: 0644] | blob |
| helm/software/matita/library/decidable_kit/fintype.ma | [new file with mode: 0644] | blob |
| helm/software/matita/library/decidable_kit/list_aux.ma | [new file with mode: 0644] | blob |
| helm/software/matita/library/decidable_kit/streicher.ma | [new file with mode: 0644] | blob |