matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/basic

drwxr-xr-x		..
-rw-r--r--	2826	cfpr.etc	blob \| history \| raw
-rw-r--r--	1505	cfpr_aaa.etc	blob \| history \| raw
-rw-r--r--	1480	cfpr_cfpr.etc	blob \| history \| raw
-rw-r--r--	3205	cfpr_cpr.etc	blob \| history \| raw
-rw-r--r--	2101	cfpr_ltpss.etc	blob \| history \| raw
-rw-r--r--	2233	fpc.etc	blob \| history \| raw
-rw-r--r--	1435	fpc_fpc.etc	blob \| history \| raw
-rw-r--r--	4109	fpcs.etc	blob \| history \| raw
-rw-r--r--	1673	fpcs_aaa.etc	blob \| history \| raw
-rw-r--r--	4420	fpcs_cpcs.etc	blob \| history \| raw
-rw-r--r--	3364	fpcs_fpcs.etc	blob \| history \| raw
-rw-r--r--	3182	fpcs_fprs.etc	blob \| history \| raw
-rw-r--r--	3164	fpr.etc	blob \| history \| raw
-rw-r--r--	5941	fpr_cpr.etc	blob \| history \| raw
-rw-r--r--	1461	fpr_fpr.etc	blob \| history \| raw
-rw-r--r--	2943	fprs.etc	blob \| history \| raw
-rw-r--r--	1462	fprs_aaa.etc	blob \| history \| raw
-rw-r--r--	6703	fprs_cprs.etc	blob \| history \| raw
-rw-r--r--	1716	fprs_fprs.etc	blob \| history \| raw
-rw-r--r--	3583	lenv_px_bi.etc	blob \| history \| raw
-rw-r--r--	3640	lfpr_alt.etc	blob \| history \| raw
-rw-r--r--	1600	lfpr_fpr.etc	blob \| history \| raw
-rw-r--r--	2090	lfprs_fprs.etc	blob \| history \| raw