]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7bcf8e0) | patch
- lambdadelta: first recursive part of preservation finally proved!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 28 Feb 2013 18:14:27 +0000 (18:14 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 28 Feb 2013 18:14:27 +0000 (18:14 +0000)
commit514f515ecb8765c68720e880460c2457898d74dc
treeb91e4a87eb4bf32bd60b76668b550c3e3660cb95tree | snapshot
parent7bcf8e0196e9bae753396be2ba56a7ba9b808fd5commit | diff
- lambdadelta: first recursive part of preservation finally proved!
- lambda: bugfix in include paths, now they are relative to the root
- matita.lang: keyword "fact" added (used in lambdadelta)
47 files changed:
matita/matita/contribs/lambdadelta/basic_2/computation/cprs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/fprs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/lfprs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/ltprs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/tprs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_cpcs.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_cpr.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_cpr_ssta.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_dxprs.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ltpr.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ltpr_ssta.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/equivalence/fpcs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/equivalence/lfpcs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/equivalence/lfpcs_lfpcs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/unfold/ldrops.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/unfold/tpss.ma diff | blob | history
matita/matita/lib/lambda/background/preamble.ma diff | blob | history
matita/matita/lib/lambda/paths/alternative_standard_order.ma diff | blob | history
matita/matita/lib/lambda/paths/decomposed_trace.ma diff | blob | history
matita/matita/lib/lambda/paths/dst_computation.ma diff | blob | history
matita/matita/lib/lambda/paths/labeled_sequential_computation.ma diff | blob | history
matita/matita/lib/lambda/paths/labeled_sequential_reduction.ma diff | blob | history
matita/matita/lib/lambda/paths/labeled_st_computation.ma diff | blob | history
matita/matita/lib/lambda/paths/labeled_st_reduction.ma diff | blob | history
matita/matita/lib/lambda/paths/path.ma diff | blob | history
matita/matita/lib/lambda/paths/standard_order.ma diff | blob | history
matita/matita/lib/lambda/paths/standard_precedence.ma diff | blob | history
matita/matita/lib/lambda/paths/standard_trace.ma diff | blob | history
matita/matita/lib/lambda/paths/trace.ma diff | blob | history
matita/matita/lib/lambda/subterms/boolean.ma diff | blob | history
matita/matita/lib/lambda/subterms/booleanized.ma diff | blob | history
matita/matita/lib/lambda/subterms/carrier.ma diff | blob | history
matita/matita/lib/lambda/subterms/relocating_substitution.ma diff | blob | history
matita/matita/lib/lambda/subterms/relocation.ma diff | blob | history
matita/matita/lib/lambda/subterms/subterms.ma diff | blob | history
matita/matita/lib/lambda/terms/labeled_sequential_computation.ma diff | blob | history
matita/matita/lib/lambda/terms/multiplicity.ma diff | blob | history
matita/matita/lib/lambda/terms/parallel_computation.ma diff | blob | history
matita/matita/lib/lambda/terms/parallel_reduction.ma diff | blob | history
matita/matita/lib/lambda/terms/relocating_substitution.ma diff | blob | history
matita/matita/lib/lambda/terms/relocation.ma diff | blob | history
matita/matita/lib/lambda/terms/sequential_computation.ma diff | blob | history
matita/matita/lib/lambda/terms/sequential_reduction.ma diff | blob | history
matita/matita/lib/lambda/terms/size.ma diff | blob | history
matita/matita/lib/lambda/terms/term.ma diff | blob | history
matita/matita/matita.lang diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.