projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 21 Dec 2012 11:13:51 +0000 (11:13 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 21 Dec 2012 11:13:51 +0000 (11:13 +0000) | ||
| commit | f5359a93d72e95e0d4335f8acaba291848fa77c8 | |
| tree | 913550b1cbc7a7d0f4cef3bb4e1c191dba438e2e | tree | snapshot |
| parent | 5f00537e0e589f1adaf7f3a40f0a7bcfa006dfd8 | commit | diff |
| matita/matita/lib/basics/lists/list.ma | diff | blob | history |