projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 28 Oct 2013 14:37:01 +0000 (14:37 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 28 Oct 2013 14:37:01 +0000 (14:37 +0000) | ||
| commit | 4adf9860cd26175c4d73b73e8adbb3c6ceaa19c9 | |
| tree | 37c36c9cf164396514ff77108bab8c871afffc84 | tree | snapshot |
| parent | e8ed2cbff6d25964309a3d3e63568feecb70a666 | commit | diff |
| matita/matita/lib/basics/star.ma | diff | blob | history | |
| matita/matita/lib/basics/star1.ma | [new file with mode: 0644] | blob |