]> matita.cs.unibo.it Git - helm.git/commit
added some missing includes
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 21 Dec 2006 16:37:06 +0000 (16:37 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 21 Dec 2006 16:37:06 +0000 (16:37 +0000)
commit2833624d7e2bfea7525f75acd1e9284080eb6ea8
tree416e6a4b8f2b08bd6421a52f8db169607c6036ad
parentd669da59d27e2418e65a275dc5d405237db2b93a
added some missing includes
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/arity.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/csuba.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/arity.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/props.ma