projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Sat, 20 Jun 2009 16:53:44 +0000 (16:53 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Sat, 20 Jun 2009 16:53:44 +0000 (16:53 +0000) | ||
| commit | fe63c5efb416a23ee43ea61ee47fa8f4e3f99c52 | |
| tree | 9b499e65a7112a067f7a58dd6ea07c5874ca0fce | tree | snapshot |
| parent | 444cba870b5f7dd568693a3d477bcca5e9649c8e | commit | diff |
| helm/software/matita/library/list/in.ma | diff | blob | history | |
| helm/software/matita/library/list/list.ma | diff | blob | history |