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 | 53bd68fef22499b790e68ec3997f27771961513e | |
| tree | 32a91c2122b2a6670d723c054ad3f7ed43589abc | tree | snapshot |
| parent | 4c116e043436a3bb7fdc19bf0100d662916cea27 | commit | diff |
| matita/library/datatypes/bool.ma | diff | blob | history |