]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09f9b39) | patch
evaluation for context-sensitive extended substitution (cpye) completed!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 4 Feb 2014 20:16:21 +0000 (20:16 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 4 Feb 2014 20:16:21 +0000 (20:16 +0000)
commite2527c6784c2593ca67af35fafaf0b3725d80a60
treea25520dae9752c7da486024ecd2db1876704b875tree | snapshot
parent09f9b390eb43b7dfddd4c8859a2ee7ac09a30acacommit | diff
evaluation for context-sensitive extended substitution (cpye) completed!
matita/matita/contribs/lambdadelta/basic_2/notation/relations/psubstevalalt_6.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/cny_lift.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpye.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpye_alt.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/substitution/cpye_lift.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpys_alt.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.