]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Thu, 1 Feb 2007 14:48:46 +0000 (14:48 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Thu, 1 Feb 2007 14:48:46 +0000 (14:48 +0000) | ||
commit | 8cb8fcda1725576ee90f6b3538bd00ebc61d7ca8 | |
tree | c8317e2e879afb64b06551c755ad13266a45cc11 | tree | snapshot |
parent | d924c0133e2ecd9b68f23eb00cb4230320f155df | commit | diff |
helm/software/matita/library/logic/equality.ma | diff | blob | history |