projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 18 May 2008 18:31:45 +0000 (18:31 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 18 May 2008 18:31:45 +0000 (18:31 +0000) | ||
| commit | d9faaa76c5c1a3f679ff78a8757d59a9fd07fcbc | |
| tree | ef83553c32df5d8b21d24bcb0c512871401e9aed | tree | snapshot |
| parent | f48faa46342b557486e06c17fd574d1eeb386239 | commit | diff |
| helm/software/matita/library/decidable_kit/fgraph.ma | diff | blob | history | |
| helm/software/matita/library/decidable_kit/fintype.ma | diff | blob | history |