]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/lift.ma
- we enabled a notation for ex2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 6 Dec 2012 16:10:57 +0000 (16:10 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 6 Dec 2012 16:10:57 +0000 (16:10 +0000)
commitcdcfe9f97936f02dab1970ebf3911940bf0a4e29
tree02bbc737c6a66b1d9a9df6bbd9d0c9f5b276d131
parent4063c155ff95d3364fcdefb162f24d76b12c71a4
- we enabled a notation for ex2
- we improved star_ind_l that now behaves as if starl were defined
with a "left parameter" occurring on the right. this makes star_ind_l
symmetric with respect to star_ind
- we commented the non-more-compiling sections of "turing"
- some progress in "lambda"
38 files changed:
matita/matita/contribs/lambda/delifting_substitution.ma
matita/matita/contribs/lambda/hap_computation.ma [deleted file]
matita/matita/contribs/lambda/hap_reduction.ma [deleted file]
matita/matita/contribs/lambda/labelled_hap_computation.ma [new file with mode: 0644]
matita/matita/contribs/lambda/labelled_hap_reduction.ma [new file with mode: 0644]
matita/matita/contribs/lambda/labelled_sequential_computation.ma
matita/matita/contribs/lambda/labelled_sequential_reduction.ma
matita/matita/contribs/lambda/lift.ma
matita/matita/contribs/lambda/parallel_reduction.ma
matita/matita/contribs/lambda/policy.txt
matita/matita/contribs/lambda/preamble.ma
matita/matita/contribs/lambda/redex_pointer.ma
matita/matita/contribs/lambda/redex_pointer_sequence.ma
matita/matita/contribs/lambda/st_computation.ma
matita/matita/contribs/lambda/term.ma
matita/matita/contribs/lambda/xoa.conf.xml
matita/matita/contribs/lambda/xoa.ma
matita/matita/contribs/lambda/xoa_notation.ma
matita/matita/lib/basics/core_notation.ma
matita/matita/lib/basics/lists/list.ma
matita/matita/lib/basics/logic.ma
matita/matita/lib/basics/star.ma
matita/matita/lib/turing/complexity.ma
matita/matita/lib/turing/move_char.ma
matita/matita/lib/turing/multi_universal/compare.ma
matita/matita/lib/turing/multi_universal/copy.ma
matita/matita/lib/turing/multi_universal/match.ma
matita/matita/lib/turing/multi_universal/moves.ma
matita/matita/lib/turing/ntm.ma
matita/matita/lib/turing/oracle.ma
matita/matita/lib/turing/turing_old.ma
matita/matita/lib/turing/universal.ma
matita/matita/lib/turing/universal/copy.ma
matita/matita/lib/turing/universal/marks.ma
matita/matita/lib/turing/universal/match_machines.ma
matita/matita/lib/turing/universal/uni_step.ma
matita/matita/lib/turing/universal/universal.ma
matita/matita/lib/turing/wmono.ma