]>
author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Thu, 10 Feb 2011 15:41:24 +0000 (15:41 +0000) | ||
committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Thu, 10 Feb 2011 15:41:24 +0000 (15:41 +0000) |
matita/matita/lib/lambda/subst.ma | patch | blob | history | |
matita/matita/lib/lambda/types.ma | patch | blob | history |