]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/paths/standard_order.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e47584d) | patch
- paths and left residuals: first case of the equivalence proved!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 Jan 2013 19:05:56 +0000 (19:05 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 Jan 2013 19:05:56 +0000 (19:05 +0000)
commitecf5a379cf6b646426f296c9a33d4ee0e5b2d04a
tree4745d5cbedc1874b6d10d959bbdb61051059ad6ctree | snapshot
parente47584d3cc500acd8ffb533810daabd3b2ff8300commit | diff
- paths and left residuals: first case of the equivalence proved!
- some corrections and additions
- some "?" removed in customized eliminations
matita/matita/contribs/lambda/paths/labeled_st_computation.ma diff | blob | history
matita/matita/contribs/lambda/paths/labeled_st_reduction.ma diff | blob | history
matita/matita/contribs/lambda/paths/standard_order.ma diff | blob | history
matita/matita/contribs/lambda/paths/standard_trace.ma diff | blob | history
matita/matita/contribs/lambda/paths/trace.ma diff | blob | history
matita/matita/contribs/lambda/subterms/booleanized.ma diff | blob | history
matita/matita/lib/basics/lists/list.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.