]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8653dd5) | patch
work in progress with voids and lveq (was: the most recent voids)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 8 Jan 2018 21:44:01 +0000 (22:44 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 8 Jan 2018 21:44:01 +0000 (22:44 +0100)
commit1c8e230b1d81491b38126900d76201fb84303ced
treebdc42b4ea76e19c2183bac092db167efaa031694tree | snapshot
parent8653dd54c57943e28e3ef60d2d0cbc1861a76a33commit | diff
work in progress with voids and lveq (was: the most recent voids)
12 files changed:
matita/matita/contribs/lambdadelta/basic_2/names.txt diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/voidstar_2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/rvoidstar_4.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/voidstareq_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/syntax/lenv_length.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/syntax/lveq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/syntax/lveq_length.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/syntax/lveq_lveq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/syntax/lveq_voids.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/syntax/voids.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/syntax/voids_length.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/syntax/voids_voids.ma [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.