projects / helm.git / commit
| author | Andrea Berlingieri <andrea.berlingieri@studio.unibo.it> | |
| Sun, 12 May 2019 15:32:43 +0000 (17:32 +0200) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 27 Sep 2019 13:58:08 +0000 (15:58 +0200) | ||
| commit | 9ab5bcc58aa62e4ded71fd64cc5a4ea562195103 | |
| tree | 399840064724559ca2b5182ed636d466b4bb5a0f | tree | snapshot |
| parent | 90e823f96159811d88b275df9c3ec9a4c40ff816 | commit | diff |
| matita/components/ng_tactics/declarative.ml | diff | blob | history |