matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda_delta/basic_2/computation/lsubc

]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda_delta/basic_2/computation/lsubc_ldrop.ma

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 4 Jun 2012 20:34:11 +0000 (20:34 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 4 Jun 2012 20:34:11 +0000 (20:34 +0000)
commit	fde3b3d2e6cc48f6c9880136b1a0d565e2c78c1f
tree	f275b480695beab9d5dbbe36b15956634f9205af	tree \| snapshot
parent	5b28867e30a9cada823ad86ae91d39b94648940a	commit \| diff

- lambda_delta: subject reduction for nativa type assignment begins ...
dependecnes between source files improved
- matitadep: little application for optimizing dependences between .ma files
(used by lambda_delta Makefile)

16 files changed:

matita/components/binaries/matitadep/Makefile	[new file with mode: 0644]	blob
matita/components/binaries/matitadep/matitadep.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Makefile		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/computation/cprs_delift.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/computation/csn.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/computation/lsubc_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/dynamic/nta_ltpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/equivalence/cpcs_cprs.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/equivalence/cpcs_delift.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/equivalence/cpcs_ltpss.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/reducibility/cpr.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/reducibility/lcpr_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/reducibility/lcpr_lcpr.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/substitution/tps.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/delift_delift.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/delift_lift.ma		diff \| blob \| history

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

RSS Atom