projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 20 Sep 2006 16:47:13 +0000 (16:47 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 20 Sep 2006 16:47:13 +0000 (16:47 +0000) | ||
| commit | c9efb92560230e52522266417f6c5b75f6e8d8aa | |
| tree | de49fcbf8350d03f44801de5862742c33fc64577 | tree | snapshot |
| parent | 92d0723eca60b8d73b1f4597551155dcceaa9ced | commit | diff |
| helm/software/components/tactics/discriminationTactics.ml | diff | blob | history | |
| helm/software/matita/tests/injection.ma | diff | blob | history |