]> matita.cs.unibo.it Git - helm.git/commit
tactics.mli: regenerated
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 24 Jan 2007 19:44:22 +0000 (19:44 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 24 Jan 2007 19:44:22 +0000 (19:44 +0000)
commit14d904af0e82bc75cfb8c66e41cdcd9c1d112a8e
tree365e4b37b2a8f2fdc0141567886ee85207c8009d
parent77d56df4d446307199a9d4e03478260c6c63baf8
tactics.mli: regenerated
LambdaDelta: regenerated with some new theorems
12 files changed:
helm/software/components/tactics/tactics.mli
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/defs.ma [new file with mode: 0644]
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/props.ma [new file with mode: 0644]
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/props.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/props.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/defs.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/pr1.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/props.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/props.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/props.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/props.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma