]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 655f1c2) | patch
second recursive part of preservation finally proved!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 8 Mar 2013 19:48:14 +0000 (19:48 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 8 Mar 2013 19:48:14 +0000 (19:48 +0000)
commit0dec595530e6da8ca16af84e40b59c998e6ed4af
treeb360dab47b8414a487411208b18bf4e4e3e093ectree | snapshot
parent655f1c2cf15daa261f90906614ac7af40ab1b657commit | diff
second recursive part of preservation finally proved!
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_cpcs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ssta.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/unwind/sstas_sstas.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.