]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fdf7649) | patch
update in grond_2 and models
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Tue, 8 May 2018 18:57:08 +0000 (20:57 +0200)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Tue, 8 May 2018 18:57:08 +0000 (20:57 +0200)
commitf86ab1580e0bab7f8cada3cc7ffdf80f40e3de9a
tree2ab31108f7a8fa883704e3146553c4adc0bb1196tree | snapshot
parentfdf7649cd98c08e6153f08ae5831191d9cbf1574commit | diff
update in grond_2 and models

+ denotation is preserved by lifts in extensional models
matita/matita/contribs/lambdadelta/apps_2/etc/models/model_lift.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/apps_2/models/veq_lifts.ma diff | blob | history
matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/basic_2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_basic.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.