]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d055e32) | patch
- preservation of arity assignment
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 19 Jan 2017 18:21:51 +0000 (18:21 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 19 Jan 2017 18:21:51 +0000 (18:21 +0000)
commitcbcadc678c098f64e7eac31cb73297558ba37b4a
treec083550c1e1a20c8c3c2e5619eb8dfd0dc858a06tree | snapshot
parentd055e3276446167c8f903e9292aeabb4334947d4commit | diff
- preservation of arity assignment
- hls orders files by extension and then by name
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/hls.ml diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr_aaa.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_aaa.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_aaa.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/partial.txt diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.