]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 77d56df) | patch
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
tree365e4b37b2a8f2fdc0141567886ee85207c8009dtree | snapshot
parent77d56df4d446307199a9d4e03478260c6c63baf8commit | diff
tactics.mli: regenerated
LambdaDelta: regenerated with some new theorems
12 files changed:
helm/software/components/tactics/tactics.mli diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/props.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/props.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/props.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/defs.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/pr1.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/props.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/props.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/props.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/props.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.