]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f31020f) | patch
wip in delayed_updating
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 23 Nov 2022 08:33:26 +0000 (09:33 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 23 Nov 2022 08:33:26 +0000 (09:33 +0100)
commite6ef5581641345f1c5c72f3c8b6040a9c6e5aecb
tree54b35a881ef09316b3656ced6b343e4d7db007fetree | snapshot
parentf31020f1ae14e28c246b6cd9cf91b5864f4f536acommit | diff
wip in delayed_updating

guard condition
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/class_g_0.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_path_guard.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_closed.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_closed_guard.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_guard.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_guard_structure.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/lib/list_append.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.