]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/paths/trace.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95ea234) | patch
- paths and left residuals: forth case of the equivalence proved!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 25 Jan 2013 12:12:29 +0000 (12:12 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 25 Jan 2013 12:12:29 +0000 (12:12 +0000)
commit4945b61f415cf13ac87d0df288d9f8a9b3930b5e
tree704f6aaa52b02ab8868a6fe5727f06150da14084tree | snapshot
parent95ea23408caad83226b7a9206f3e020accf3f9cecommit | diff
- paths and left residuals: forth case of the equivalence proved!
  The proof is now complete!!
matita/matita/contribs/lambda/background/preamble.ma diff | blob | history
matita/matita/contribs/lambda/paths/labeled_st_computation.ma diff | blob | history
matita/matita/contribs/lambda/paths/trace.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.