]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 538c552) | patch
components C r flt app lift
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 4 Feb 2015 20:31:51 +0000 (20:31 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 4 Feb 2015 20:31:51 +0000 (20:31 +0000)
commit6d1bb99e7f355d826c07285ba46b6b13a4abaefc
tree7ef8b5794dd752215ac45223a57ae8c70bd9a99btree | snapshot
parent538c5526a6b3c3af44f92c9cc67d82f28995da96commit | diff
components C r flt app lift
17 files changed:
matita/matita/contribs/lambdadelta/basic_1/C/defs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/C/fwd.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_1/C/props.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/T/defs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/T/props.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/app/defs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/flt/defs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/flt/fwd.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_1/flt/props.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/lift/defs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/lift/fwd.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/lift/props.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/lift/tlt.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/r/defs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/r/props.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/tlt/defs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/tlt/props.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.