]> matita.cs.unibo.it Git - helm.git/commit
some patches. still does not compile properly
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 25 Oct 2006 14:12:08 +0000 (14:12 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 25 Oct 2006 14:12:08 +0000 (14:12 +0000)
commitb7a015aa6d4947c1a8e13ff0691702b3aaa40de6
treed2bf9bc0553629d4c2efd9adf5c777ea4a03182f
parent261125726a55504eff2dd1c60f01144a77837503
some patches. still does not compile properly
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/arity.ma
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/fwd.ma
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/props.ma
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/dec.ma