]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65bcd70) | patch
initial commit of the "rduction" component
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 2 Dec 2013 15:25:44 +0000 (15:25 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 2 Dec 2013 15:25:44 +0000 (15:25 +0000)
commit00e35c087bc0279fdcee450ea874a46077c778aa
tree5515bafcc7c5967a6713b17b240e1f49742072a5tree | snapshot
parent65bcd707c9706bf520ea81b7f94213d0ac42e8b4commit | diff
initial commit of the "rduction" component
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_cpx.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_lleq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_lleq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_lpx.ma [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.