projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 18 Jul 2006 11:53:38 +0000 (11:53 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 18 Jul 2006 11:53:38 +0000 (11:53 +0000) | ||
| commit | 54cffdf58a8480b2ee43d9c0a82213c1926b15e6 | |
| tree | bc8ac31f84865d31d34e04aa7e736b386eabdc1c | tree | snapshot |
| parent | ca160266c4955d0cbdb66e1a24f2239e2839e215 | commit | diff |
| matita/tests/fix_betareduction.ma | diff | blob | history |