]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda_delta/basic_2/computation/lsubc_ldrop.ma
- lambda_delta: subject reduction for nativa type assignment begins ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Jun 2012 20:34:11 +0000 (20:34 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Jun 2012 20:34:11 +0000 (20:34 +0000)
commitfde3b3d2e6cc48f6c9880136b1a0d565e2c78c1f
treef275b480695beab9d5dbbe36b15956634f9205af
parent5b28867e30a9cada823ad86ae91d39b94648940a
- 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]
matita/components/binaries/matitadep/matitadep.ml [new file with mode: 0644]
matita/matita/contribs/lambda_delta/Makefile
matita/matita/contribs/lambda_delta/basic_2/computation/cprs_delift.ma
matita/matita/contribs/lambda_delta/basic_2/computation/csn.ma
matita/matita/contribs/lambda_delta/basic_2/computation/lsubc_ldrop.ma
matita/matita/contribs/lambda_delta/basic_2/dynamic/nta_ltpr.ma [new file with mode: 0644]
matita/matita/contribs/lambda_delta/basic_2/equivalence/cpcs_cprs.ma
matita/matita/contribs/lambda_delta/basic_2/equivalence/cpcs_delift.ma
matita/matita/contribs/lambda_delta/basic_2/equivalence/cpcs_ltpss.ma
matita/matita/contribs/lambda_delta/basic_2/reducibility/cpr.ma
matita/matita/contribs/lambda_delta/basic_2/reducibility/lcpr_aaa.ma
matita/matita/contribs/lambda_delta/basic_2/reducibility/lcpr_lcpr.ma
matita/matita/contribs/lambda_delta/basic_2/substitution/tps.ma
matita/matita/contribs/lambda_delta/basic_2/unfold/delift_delift.ma
matita/matita/contribs/lambda_delta/basic_2/unfold/delift_lift.ma