]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3cfed03) | patch
components: subst1 csubst0 csubst1 fsubst0
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 11 Feb 2015 21:25:22 +0000 (21:25 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 11 Feb 2015 21:25:22 +0000 (21:25 +0000)
commit685c36442ffed93a7bb0de464d35478821884c77
tree9cc8ce2007fc0e477d089c28e762b05765baec36tree | snapshot
parent3cfed03c2025e778a5e62d9549b674dbfc6453bdcommit | diff
components: subst1 csubst0 csubst1 fsubst0
we committed almost half of basic_1
16 files changed:
matita/matita/contribs/lambdadelta/basic_1/csubst0/clear.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/csubst0/defs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/csubst0/drop.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/csubst0/fwd.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/csubst0/getl.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/csubst0/props.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/csubst1/defs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/csubst1/fwd.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/csubst1/getl.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/csubst1/props.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/fsubst0/defs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/fsubst0/fwd.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/subst1/defs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/subst1/fwd.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/subst1/props.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/subst1/subst1.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.