projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 8 Jun 2008 14:08:51 +0000 (14:08 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 8 Jun 2008 14:08:51 +0000 (14:08 +0000) | ||
| commit | fc8cd675d2a0635463e7a5399a17dcbd1360c284 | |
| tree | eb7a8afd31f0b84a07ae8c88c498ec7f099482aa | tree | snapshot |
| parent | 61379c8030304072ab347400718e1ef25762df80 | commit | diff |
| helm/software/matita/library/decidable_kit/decidable.ma | diff | blob | history | |
| helm/software/matita/library/decidable_kit/list_aux.ma | diff | blob | history |