]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 160b7f7) | patch
update in delayed updating
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Fri, 10 Dec 2021 15:49:53 +0000 (16:49 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Fri, 10 Dec 2021 15:49:53 +0000 (16:49 +0100)
commit3c257bf84769adf162510ed86a89872e3003629a
tree3e45972abdf6efd1602bdaf385c978f5495b2201tree | snapshot
parent160b7f7385763d872b5f2632696d02fd540c4eaecommit | diff
update in delayed updating

+ WIP on dephi
+ some renaming
+ subset notation improved
matita/matita/contribs/lambdadelta/delayed_updating/syntax/bdd_term.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/label.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_dephi.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/preterm.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/preterm_constructors.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/preterm_dephi.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/term.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/term_constructors.ma [deleted file] blob | history
matita/matita/lib/basics/core_notation/subseteq_2.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.