projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 14 Jun 2005 08:13:59 +0000 (08:13 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 14 Jun 2005 08:13:59 +0000 (08:13 +0000) | ||
| commit | 41a53763963ddaa2bb4af0e1b922525bb9fad84e | |
| tree | a9f38abbe8e7ec9a9c0630af6a6c24882cfc9d72 | tree | snapshot |
| parent | c802e92d70eb83b432ae3ca1f0788bee9dce1f8d | commit | diff |
| helm/matita/tests/fix_betareduction.ma | diff | blob | history |