]>
author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Fri, 6 May 2005 19:59:13 +0000 (19:59 +0000) | ||
committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Fri, 6 May 2005 19:59:13 +0000 (19:59 +0000) | ||
commit | 1c8721e5ae9006ea9eeda2de113f9edfe96e1d71 | |
tree | 57cd572154ab2edda391e58e39294dd00915b728 | tree | snapshot |
parent | f10420cd53e7abc80553b2a8a1712d8a0cefca84 | commit | diff |
helm/coq-contribs/LAMBDA-TYPES.tgz | diff | blob | history | |
helm/coq-contribs/SUBSETS.tgz | diff | blob | history |