]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 784a534) | patch
support for nat-labeled reflexive and transitive closure added to lambdadelta
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 7 Sep 2013 17:07:12 +0000 (17:07 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 7 Sep 2013 17:07:12 +0000 (17:07 +0000)
commitb08fbe87149ae7c2e14dfd7485dbf50d6e7dbfe6
treef248c871667ebcb73ee2f3a5d2e5bd592a8be61btree | snapshot
parent784a534f6d969a261f45396307d0ef30f7fb2be2commit | diff
support for nat-labeled reflexive and transitive closure added to lambdadelta
matita/matita/contribs/lambdadelta/ground_2/lstar.ma [new file with mode: 0644] blob
matita/matita/lib/arithmetics/lstar.ma diff | blob | history
matita/matita/lib/basics/relations.ma diff | blob | history
matita/matita/lib/basics/star.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.