]> matita.cs.unibo.it Git - helm.git/commit
flase => false :-)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 25 Oct 2007 16:59:55 +0000 (16:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 25 Oct 2007 16:59:55 +0000 (16:59 +0000)
commit93eab3f741bace63f5b21829e321ce84db623197
treefff5b4452a52f76f8f84fd2d5c8866bc8d743364
parentb6f67d53a7772e7872356412fd470ca5b92e2bdb
flase => false :-)
helm/software/matita/library/datatypes/bool.ma