projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 25 Oct 2007 16:59:55 +0000 (16:59 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 25 Oct 2007 16:59:55 +0000 (16:59 +0000) | ||
| commit | 93eab3f741bace63f5b21829e321ce84db623197 | |
| tree | fff5b4452a52f76f8f84fd2d5c8866bc8d743364 | tree | snapshot |
| parent | b6f67d53a7772e7872356412fd470ca5b92e2bdb | commit | diff |
| helm/software/matita/library/datatypes/bool.ma | diff | blob | history |