]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a749dc0) | patch
- last patrtial commit of the "reduction" and "computation" components
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 2 Dec 2013 19:19:25 +0000 (19:19 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 2 Dec 2013 19:19:25 +0000 (19:19 +0000)
commit1cc9a122e904468085545bb53543cc1a0f2f48f5
tree4f62d72298cb5ab7690d635d052ce3eee5aa3a5btree | snapshot
parenta749dc0a33d89c62d10ee7705bbed981fed08d2dcommit | diff
- last patrtial commit of the "reduction" and "computation" components
- we generalized a lemma
matita/matita/contribs/lambdadelta/basic_2/computation/fpns.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/grammar/leq.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_lleq.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_lleq.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.