]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eeeaecf) | patch
update in ground_2, static_2, basic_2
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Wed, 12 Sep 2018 13:55:58 +0000 (15:55 +0200)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Wed, 12 Sep 2018 13:55:58 +0000 (15:55 +0200)
commitb98ec1a1a37602eca524dc5487c357a200bbb5b6
treeb44a37d8b4d8bafdf674e3b956d5febcbd18532atree | snapshot
parenteeeaecfafd5ddffa54a41356104fbc60369e5d73commit | diff
update in ground_2, static_2, basic_2

+ minor additioms
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_conf.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_trans.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_preserve_sub.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/cnv/cnv_cpm_tdeq1_conf.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_fpbg.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_rdeq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/lib/arith_2b.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/static/rdeq_drops.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/static/rex_drops.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.