]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 053be41) | patch
update in functional
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Thu, 19 Jul 2018 15:00:59 +0000 (17:00 +0200)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Thu, 19 Jul 2018 15:00:59 +0000 (17:00 +0200)
commitea918ec7701db4458c5ca25885e80abc6fed1be7
tree55e9a20397c5948c9e27c9ce1c83b58b67419571tree | snapshot
parent053be41a8db6aa0ca7cc06fb569ec284a9bcc5efcommit | diff
update in functional

+ support for multiple filling
22 files changed:
matita/matita/contribs/lambdadelta/apps_2/functional/flifts.ma diff | blob | history
matita/matita/contribs/lambdadelta/apps_2/functional/flifts_basic.ma diff | blob | history
matita/matita/contribs/lambdadelta/apps_2/functional/flifts_flifts.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/apps_2/functional/flifts_flifts_basic.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/apps_2/functional/mf.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/apps_2/functional/mf_cpr.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/apps_2/functional/mf_exteq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/apps_2/functional/mf_lifts.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/apps_2/functional/mf_v.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/apps_2/functional/mf_vlift.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/apps_2/functional/mf_vlift_exteq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/apps_2/functional/mf_vpush.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/apps_2/functional/mf_vpush_exteq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/apps_2/functional/mf_vpush_vlift.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/apps_2/models/tm_exteq.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/apps_2/notation/functional/blackcircle_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/apps_2/notation/functional/dotteduparrow_2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/apps_2/notation/functional/dotteduparrow_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/apps_2/notation/models/dotteduparrow_2.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/apps_2/notation/models/dotteduparrow_3.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl diff | blob | history
matita/matita/predefined_virtuals.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.