matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/paths/labeled_st

]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/paths/labeled_st_computation.ma

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 1 Feb 2013 16:37:41 +0000 (16:37 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 1 Feb 2013 16:37:41 +0000 (16:37 +0000)
commit	aa9654656f7d0aeb9345e0b86a9e35f861687580
tree	7bfa3f4987bcd0ed7b5974a2424290668ac43e6b	tree \| snapshot
parent	637ff9311e16f1d58e03d873f84c354e1cf1e716	commit \| diff

lambda finaly moved in lib

73 files changed:

matita/matita/contribs/lambda/Makefile	[deleted file]	blob \| history
matita/matita/contribs/lambda/background/notation.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/background/preamble.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/background/xoa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/background/xoa_notation.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/paths/alternative_standard_order.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/paths/decomposed_trace.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/paths/dst_computation.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/paths/labeled_sequential_computation.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/paths/labeled_sequential_reduction.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/paths/labeled_st_computation.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/paths/labeled_st_reduction.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/paths/path.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/paths/standard_order.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/paths/standard_precedence.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/paths/standard_trace.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/paths/trace.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/policy.txt	[deleted file]	blob \| history
matita/matita/contribs/lambda/replace.sh	[deleted file]	blob \| history
matita/matita/contribs/lambda/root	[deleted file]	blob \| history
matita/matita/contribs/lambda/subterms/boolean.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/subterms/booleanized.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/subterms/carrier.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/subterms/relocating_substitution.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/subterms/relocation.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/subterms/subterms.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/terms/labeled_sequential_computation.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/terms/multiplicity.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/terms/parallel_computation.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/terms/parallel_reduction.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/terms/relocating_substitution.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/terms/relocation.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/terms/sequential_computation.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/terms/sequential_reduction.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/terms/size.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/terms/term.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda/xoa.conf.xml	[deleted file]	blob \| history
matita/matita/lib/lambda/Makefile	[new file with mode: 0644]	blob
matita/matita/lib/lambda/background/notation.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/background/preamble.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/background/xoa.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/background/xoa_notation.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/paths/alternative_standard_order.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/paths/decomposed_trace.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/paths/dst_computation.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/paths/labeled_sequential_computation.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/paths/labeled_sequential_reduction.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/paths/labeled_st_computation.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/paths/labeled_st_reduction.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/paths/path.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/paths/standard_order.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/paths/standard_precedence.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/paths/standard_trace.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/paths/trace.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/policy.txt	[new file with mode: 0644]	blob
matita/matita/lib/lambda/replace.sh	[new file with mode: 0644]	blob
matita/matita/lib/lambda/subterms/boolean.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/subterms/booleanized.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/subterms/carrier.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/subterms/relocating_substitution.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/subterms/relocation.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/subterms/subterms.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/terms/labeled_sequential_computation.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/terms/multiplicity.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/terms/parallel_computation.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/terms/parallel_reduction.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/terms/relocating_substitution.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/terms/relocation.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/terms/sequential_computation.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/terms/sequential_reduction.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/terms/size.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/terms/term.ma	[new file with mode: 0644]	blob
matita/matita/lib/lambda/xoa.conf.xml	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom