]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3da4aab) | patch
preservation of stratified vaildity through ordinary reduction and static typing
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 10 Jun 2014 18:53:36 +0000 (18:53 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 10 Jun 2014 18:53:36 +0000 (18:53 +0000)
commit4720368dcf18593959c6d21484f62fb5b61f3d26
treeefde86a50f07367befa04d2f0c2c60f72693fa13tree | snapshot
parent3da4aab04ff19ad3a96ce0a05f9ea6c45b58d92acommit | diff
preservation of stratified vaildity through ordinary reduction and static typing
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_cpcs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_preserve.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/multiple/llor_ldrop.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.