projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 24 Jul 2006 14:09:30 +0000 (14:09 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 24 Jul 2006 14:09:30 +0000 (14:09 +0000) | ||
| commit | cc490fbf7eef0541c8655bd14a368191bed40e2b | |
| tree | 6e3fb5720c1fd26b00503134e556db1ed50ff806 | tree | snapshot |
| parent | c2157359bd4c8f08b73d394495aa0fcacf043380 | commit | diff |
| matita/library/logic/equality.ma | diff | blob | history |