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