]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9554ed5) | patch
update in static_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 Sep 2019 16:39:16 +0000 (18:39 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 Sep 2019 16:39:16 +0000 (18:39 +0200)
commit488387490fb12d92f56ebcac2fc68d83a0d266ec
treea212a1422565d42a6a6def6fbf910fc576e52af9tree | snapshot
parent9554ed555d9c744d7dfb787ccdaa6fc63eb6ba10commit | diff
update in static_2

+ preorder on applicability domains
+ minor bug fixes
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_eval.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/syntax/ac.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/syntax/acle.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/static_2/syntax/acle_acle.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.