]>
author | Andrea Asperti <andrea.asperti@unibo.it> | |
Fri, 20 May 2011 08:34:57 +0000 (08:34 +0000) | ||
committer | Andrea Asperti <andrea.asperti@unibo.it> | |
Fri, 20 May 2011 08:34:57 +0000 (08:34 +0000) | ||
commit | 18e12fae4268ea37c34f0e40186cb9d0ceeadf1e | |
tree | 497036ed50326a5f5bf6b37af7267d131a33a3a5 | tree | snapshot |
parent | 2914bfbeac3c2e0f53ba8c612cd11b3b2afbabce | commit | diff |
matita/matita/lib/lambda/convertibility.ma | diff | blob | history |