]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aefe567) | patch
update in ground
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Thu, 2 Dec 2021 16:31:43 +0000 (17:31 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Thu, 2 Dec 2021 16:31:43 +0000 (17:31 +0100)
commit742e21da086654af82f308027250d00b50d67f52
tree921b9f1f1788419088dbc6ffd12195f27aca7fcetree | snapshot
parentaefe567225f573b19d341da29fd7a2e6d5ee3105commit | diff
update in ground

+ advances on total redlocation
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap_pat.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.