]> 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)
commit31d27ada1bbad75aa0c44cd3e079cc4eba17d27e
tree97af98753466961bb8f3294d605de98f299b5cf0
parentac6c6c1f9934fefb4e462f3aa3e1429460703037
some patches. still does not compile properly
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/arity.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/fwd.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/props.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/dec.ma