]> 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)
commit40bf8d7dee174d96147a21856b3cebb59d1811ec
tree454f3bfd7ba0cba9843927ca2099268ad0372eb2
parent577e68880396ea19dc0c190435a2268540696be1
added some missing includes
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/arity.ma
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/csuba.ma
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/arity.ma
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/props.ma