]>
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 |