]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6aec170) | patch
milestone connit for preservation:
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 Jun 2014 15:03:20 +0000 (15:03 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 Jun 2014 15:03:20 +0000 (15:03 +0000)
commitbcab3f92c6f815098ecc24eff06bfd3d232eb497
tree1fd60890cadc66a16949e614d12d4b44af26f000tree | snapshot
parent6aec17030b294a256e69c32eb7bf638fefec9f85commit | diff
milestone connit for preservation:
- for now we remove stratified equivalence for terms
  (it is much more complicated than expected)
- we park in etc a generalization of preservation
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_cpcs.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_da_lpr.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_lpx.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_lstas_lpr.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/extra.txt [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/static/steq.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/static/steq_steq.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
matita/matita/contribs/lambdadelta/extra.txt [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.