]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc9c718) | patch
work in progress on a new definition of voids ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Dec 2017 14:00:04 +0000 (14:00 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Dec 2017 14:00:04 +0000 (14:00 +0000)
commitb40ccca541b378319b076b1bb36c435dfdf2a55f
tree23d215df073a7f53375334bec70a4d4885cce806tree | snapshot
parentdc9c7181b2dc66c8d297f708324dcdeea98bc4d8commit | diff
work in progress on a new definition of voids ...
matita/matita/contribs/lambdadelta/basic_2/notation/functions/voidstar_2.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/rvoidstar_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/static/fle.ma diff | blob | history
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
Unnamed repository; edit this file 'description' to name the repository.