projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 7 Jun 2011 12:13:27 +0000 (12:13 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 7 Jun 2011 12:13:27 +0000 (12:13 +0000) | ||
| commit | 7da6488b45e5dfc1b675552a7f19c58a6abbff2b | |
| tree | a8a686319756b176093a4746519859dd6d0ab64b | tree | snapshot |
| parent | 31e8729021717072f88d250ef41527da3488289e | commit | diff |
| matita/components/ng_tactics/nCicTacReduction.ml | diff | blob | history |