]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9709aae) | patch
contribution on delayed updating begins
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Tue, 30 Nov 2021 16:38:07 +0000 (17:38 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Tue, 30 Nov 2021 16:38:07 +0000 (17:38 +0100)
commitaefe567225f573b19d341da29fd7a2e6d5ee3105
treeaf6f59559fb77fa290ba1eb23a682814078a5ea1tree | snapshot
parent9709aaeb059e24359d5d8a3997ef22974bff3718commit | diff
contribution on delayed updating begins

we place it here for convenience
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/edgelabel_a_0.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/edgelabel_l_0.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/edgelabel_s_0.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/element_e_0.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/nodelabel_d_1.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/label.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path.ma [new file with mode: 0644] blob
matita/matita/predefined_virtuals.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.