projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 26 Sep 2005 16:27:18 +0000 (16:27 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 26 Sep 2005 16:27:18 +0000 (16:27 +0000) | ||
| commit | 4c002f24d149e7db6525a463268feab09ec8a938 | |
| tree | 08f24ef58a2a309f83190422d93161c254dca902 | tree | snapshot |
| parent | 4628e72aa23c1f077f483c62f373784f9f3c3aad | commit | diff |
| helm/matita/library/higher_order_defs/functions.ma | diff | blob | history |