projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 17 Mar 2010 11:48:50 +0000 (11:48 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 17 Mar 2010 11:48:50 +0000 (11:48 +0000) | ||
| commit | 14aa468ded0030440dbc9cc8fb5b936d927bb6fd | |
| tree | 543ec9e430f2f1f5b9eb7d483b2af92f5169a9a9 | tree | snapshot |
| parent | d3d67acad6b7a946036c38bd2096609a29fef773 | commit | diff |
| helm/software/matita/nlibrary/basics/list.ma | diff | blob | history | |
| helm/software/matita/nlibrary/basics/list2.ma | [new file with mode: 0644] | blob |