]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7cb9cdb) | patch
update in delayed_updating
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Wed, 16 Mar 2022 21:41:40 +0000 (22:41 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Wed, 16 Mar 2022 21:41:40 +0000 (22:41 +0100)
commit8a47ade5ffd1942f9d16474c547e5050caab3cc8
tree0f8b746bdae9e678e5862396a04077ac31617808tree | snapshot
parent7cb9cdbd64e1abbedf3c6af5638c42e3da3f5ceacommit | diff
update in delayed_updating

+ some additions and corrections
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/black_downtriangle_2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/black_downtriangle_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/bdd_term.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_balanced.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_structure_inner.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/prototerm_constructors.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.