projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 17 May 2009 19:11:00 +0000 (19:11 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 17 May 2009 19:11:00 +0000 (19:11 +0000) | ||
| commit | 6e3edeedb090d7406c2383d57d14755a55b43946 | |
| tree | 2853be8d6079b6688b466790ad5f05ce6b66f84e | tree | snapshot |
| parent | eaf2ee7d082200359976f30a93263277babe6b94 | commit | diff |
| helm/software/matita/tests/ng_elim.ma | diff | blob | history | |
| helm/software/matita/tests/ng_tactics.ma | diff | blob | history |