]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3fa1adc) | patch
last problem elegantly resolved!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 18 Sep 2006 14:28:30 +0000 (14:28 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 18 Sep 2006 14:28:30 +0000 (14:28 +0000)
commit147770d4605b8163f63331f82e800c19a2021d46
tree6459cd20281d7b221e1b31c7678040a454f7ab4ctree | snapshot
parent3fa1adc05814955e6d94f3228514ea1a995b16f3commit | diff
last problem elegantly resolved!
15 files changed:
matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/arith.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/preamble.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/tlt.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/dec.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/subst1.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/subst0.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/subst1.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/subst1.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/problems-1.ma [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.