]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58ddc56) | patch
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 11 May 2018 17:26:34 +0000 (19:26 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 11 May 2018 17:26:34 +0000 (19:26 +0200)
commite62715437a9c39244c9809c00585a5ef44a39797
tree3d2c906ec8a4a32e743457f142e19f7cdc117c66tree | snapshot
parent58ddc56896384e0a1e8a7d331aae9eded8510c70commit | diff
update in basic_2

definition of native validity
18 files changed:
matita/matita/contribs/lambdadelta/basic_2/dynamic/nv.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/partial.txt [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lift.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_aaa.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_fsb.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_lift.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_lpr.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_lstas.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/etc/snv/snv_preserve.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_scpes.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/names.txt diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/exclaim_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/nativevalid_5.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
matita/matita/contribs/lambdadelta/compile_partial.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.