projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 30 Jun 2014 17:46:45 +0000 (17:46 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 30 Jun 2014 17:46:45 +0000 (17:46 +0000) | ||
| commit | 16f6bb96f5b619370e67700fbf4aae5abef05c94 | |
| tree | 62fe759fba6be64fd7fd60df24c2daded3439930 | tree | snapshot |
| parent | cb0d4e730bd6ec9bed1018be37748120f740f0a9 | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/names.txt | diff | blob | history | |
| matita/matita/predefined_virtuals.ml | diff | blob | history |