]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/background/preamble.ma
lambda finaly moved in lib
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Feb 2013 16:37:41 +0000 (16:37 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Feb 2013 16:37:41 +0000 (16:37 +0000)
commitaa9654656f7d0aeb9345e0b86a9e35f861687580
tree7bfa3f4987bcd0ed7b5974a2424290668ac43e6b
parent637ff9311e16f1d58e03d873f84c354e1cf1e716
lambda finaly moved in lib
73 files changed:
matita/matita/contribs/lambda/Makefile [deleted file]
matita/matita/contribs/lambda/background/notation.ma [deleted file]
matita/matita/contribs/lambda/background/preamble.ma [deleted file]
matita/matita/contribs/lambda/background/xoa.ma [deleted file]
matita/matita/contribs/lambda/background/xoa_notation.ma [deleted file]
matita/matita/contribs/lambda/paths/alternative_standard_order.ma [deleted file]
matita/matita/contribs/lambda/paths/decomposed_trace.ma [deleted file]
matita/matita/contribs/lambda/paths/dst_computation.ma [deleted file]
matita/matita/contribs/lambda/paths/labeled_sequential_computation.ma [deleted file]
matita/matita/contribs/lambda/paths/labeled_sequential_reduction.ma [deleted file]
matita/matita/contribs/lambda/paths/labeled_st_computation.ma [deleted file]
matita/matita/contribs/lambda/paths/labeled_st_reduction.ma [deleted file]
matita/matita/contribs/lambda/paths/path.ma [deleted file]
matita/matita/contribs/lambda/paths/standard_order.ma [deleted file]
matita/matita/contribs/lambda/paths/standard_precedence.ma [deleted file]
matita/matita/contribs/lambda/paths/standard_trace.ma [deleted file]
matita/matita/contribs/lambda/paths/trace.ma [deleted file]
matita/matita/contribs/lambda/policy.txt [deleted file]
matita/matita/contribs/lambda/replace.sh [deleted file]
matita/matita/contribs/lambda/root [deleted file]
matita/matita/contribs/lambda/subterms/boolean.ma [deleted file]
matita/matita/contribs/lambda/subterms/booleanized.ma [deleted file]
matita/matita/contribs/lambda/subterms/carrier.ma [deleted file]
matita/matita/contribs/lambda/subterms/relocating_substitution.ma [deleted file]
matita/matita/contribs/lambda/subterms/relocation.ma [deleted file]
matita/matita/contribs/lambda/subterms/subterms.ma [deleted file]
matita/matita/contribs/lambda/terms/labeled_sequential_computation.ma [deleted file]
matita/matita/contribs/lambda/terms/multiplicity.ma [deleted file]
matita/matita/contribs/lambda/terms/parallel_computation.ma [deleted file]
matita/matita/contribs/lambda/terms/parallel_reduction.ma [deleted file]
matita/matita/contribs/lambda/terms/relocating_substitution.ma [deleted file]
matita/matita/contribs/lambda/terms/relocation.ma [deleted file]
matita/matita/contribs/lambda/terms/sequential_computation.ma [deleted file]
matita/matita/contribs/lambda/terms/sequential_reduction.ma [deleted file]
matita/matita/contribs/lambda/terms/size.ma [deleted file]
matita/matita/contribs/lambda/terms/term.ma [deleted file]
matita/matita/contribs/lambda/xoa.conf.xml [deleted file]
matita/matita/lib/lambda/Makefile [new file with mode: 0644]
matita/matita/lib/lambda/background/notation.ma [new file with mode: 0644]
matita/matita/lib/lambda/background/preamble.ma [new file with mode: 0644]
matita/matita/lib/lambda/background/xoa.ma [new file with mode: 0644]
matita/matita/lib/lambda/background/xoa_notation.ma [new file with mode: 0644]
matita/matita/lib/lambda/paths/alternative_standard_order.ma [new file with mode: 0644]
matita/matita/lib/lambda/paths/decomposed_trace.ma [new file with mode: 0644]
matita/matita/lib/lambda/paths/dst_computation.ma [new file with mode: 0644]
matita/matita/lib/lambda/paths/labeled_sequential_computation.ma [new file with mode: 0644]
matita/matita/lib/lambda/paths/labeled_sequential_reduction.ma [new file with mode: 0644]
matita/matita/lib/lambda/paths/labeled_st_computation.ma [new file with mode: 0644]
matita/matita/lib/lambda/paths/labeled_st_reduction.ma [new file with mode: 0644]
matita/matita/lib/lambda/paths/path.ma [new file with mode: 0644]
matita/matita/lib/lambda/paths/standard_order.ma [new file with mode: 0644]
matita/matita/lib/lambda/paths/standard_precedence.ma [new file with mode: 0644]
matita/matita/lib/lambda/paths/standard_trace.ma [new file with mode: 0644]
matita/matita/lib/lambda/paths/trace.ma [new file with mode: 0644]
matita/matita/lib/lambda/policy.txt [new file with mode: 0644]
matita/matita/lib/lambda/replace.sh [new file with mode: 0644]
matita/matita/lib/lambda/subterms/boolean.ma [new file with mode: 0644]
matita/matita/lib/lambda/subterms/booleanized.ma [new file with mode: 0644]
matita/matita/lib/lambda/subterms/carrier.ma [new file with mode: 0644]
matita/matita/lib/lambda/subterms/relocating_substitution.ma [new file with mode: 0644]
matita/matita/lib/lambda/subterms/relocation.ma [new file with mode: 0644]
matita/matita/lib/lambda/subterms/subterms.ma [new file with mode: 0644]
matita/matita/lib/lambda/terms/labeled_sequential_computation.ma [new file with mode: 0644]
matita/matita/lib/lambda/terms/multiplicity.ma [new file with mode: 0644]
matita/matita/lib/lambda/terms/parallel_computation.ma [new file with mode: 0644]
matita/matita/lib/lambda/terms/parallel_reduction.ma [new file with mode: 0644]
matita/matita/lib/lambda/terms/relocating_substitution.ma [new file with mode: 0644]
matita/matita/lib/lambda/terms/relocation.ma [new file with mode: 0644]
matita/matita/lib/lambda/terms/sequential_computation.ma [new file with mode: 0644]
matita/matita/lib/lambda/terms/sequential_reduction.ma [new file with mode: 0644]
matita/matita/lib/lambda/terms/size.ma [new file with mode: 0644]
matita/matita/lib/lambda/terms/term.ma [new file with mode: 0644]
matita/matita/lib/lambda/xoa.conf.xml [new file with mode: 0644]