projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 16 Nov 2011 15:15:13 +0000 (15:15 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 16 Nov 2011 15:15:13 +0000 (15:15 +0000) | ||
| commit | f110058b4445285a17447ca46211259349764c84 | |
| tree | 7a1beb325320f99423f27caaafcc034a36db7099 | tree | snapshot |
| parent | f841a6a906de888ee54f4c3bf95cd444e9bc06b0 | commit | diff |
| matita/matita/lib/basics/star.ma | diff | blob | history |