]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: faae92d) | patch
sfr renamed as lbotr and its symbol changed according to lsubr
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 17 Mar 2013 23:31:36 +0000 (23:31 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 17 Mar 2013 23:31:36 +0000 (23:31 +0000)
commit6ac78e984f3ddee01251ef0ce13a692f062d7d5f
treec2472b29f34467d2258890859230639f27fed526tree | snapshot
parentfaae92d508117105572e028aa454db8ba8be5291commit | diff
sfr renamed as lbotr and its symbol changed according to lsubr
matita/matita/contribs/lambdadelta/basic_2/notation.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrop_lbotr.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrop_sfr.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/lsubr_lbotr.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lsubr_sfr.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/unfold/delift_lift.ma 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.