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

drwxr-xr-x		..
-rw-r--r--	3328	cpms.ma	blob \| history \| raw
-rw-r--r--	6621	cprs.ma	blob \| history \| raw
-rw-r--r--	1674	cprs_aaa.ma	blob \| history \| raw
-rw-r--r--	7939	cprs_cprs.ma	blob \| history \| raw
-rw-r--r--	2803	cprs_lift.ma	blob \| history \| raw
-rw-r--r--	6985	cpxs.ma	blob \| history \| raw
-rw-r--r--	1376	cpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	1497	cpxs_cnx.ma	blob \| history \| raw
-rw-r--r--	5127	cpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	5377	cpxs_drops.ma	blob \| history \| raw
-rw-r--r--	1398	cpxs_ext.ma	blob \| history \| raw
-rw-r--r--	1843	cpxs_ffdeq.ma	blob \| history \| raw
-rw-r--r--	6860	cpxs_fqus.ma	blob \| history \| raw
-rw-r--r--	2680	cpxs_lfdeq.ma	blob \| history \| raw
-rw-r--r--	5123	cpxs_lfpx.ma	blob \| history \| raw
-rw-r--r--	2159	cpxs_lpx.ma	blob \| history \| raw
-rw-r--r--	1369	cpxs_lsubr.ma	blob \| history \| raw
-rw-r--r--	2466	cpxs_tdeq.ma	blob \| history \| raw
-rw-r--r--	5177	cpxs_theq.ma	blob \| history \| raw
-rw-r--r--	9068	cpxs_theq_vector.ma	blob \| history \| raw
-rw-r--r--	5091	csx.ma	blob \| history \| raw
-rw-r--r--	3269	csx_aaa.ma	blob \| history \| raw
-rw-r--r--	1842	csx_cnx.ma	blob \| history \| raw
-rw-r--r--	2676	csx_cnx_vector.ma	blob \| history \| raw
-rw-r--r--	3664	csx_cpxs.ma	blob \| history \| raw
-rw-r--r--	3977	csx_csx.ma	blob \| history \| raw
-rw-r--r--	4413	csx_csx_vector.ma	blob \| history \| raw
-rw-r--r--	2025	csx_drops.ma	blob \| history \| raw
-rw-r--r--	1555	csx_ffdeq.ma	blob \| history \| raw
-rw-r--r--	1703	csx_fpbq.ma	blob \| history \| raw
-rw-r--r--	2666	csx_fqus.ma	blob \| history \| raw
-rw-r--r--	1537	csx_gcp.ma	blob \| history \| raw
-rw-r--r--	1624	csx_gcr.ma	blob \| history \| raw
-rw-r--r--	1924	csx_lfdeq.ma	blob \| history \| raw
-rw-r--r--	4997	csx_lfpx.ma	blob \| history \| raw
-rw-r--r--	1564	csx_lfpxs.ma	blob \| history \| raw
-rw-r--r--	3429	csx_lsubr.ma	blob \| history \| raw
-rw-r--r--	2015	csx_simple.ma	blob \| history \| raw
-rw-r--r--	2481	csx_simple_theq.ma	blob \| history \| raw
-rw-r--r--	2202	csx_vector.ma	blob \| history \| raw
-rw-r--r--	2830	fpbg.ma	blob \| history \| raw
-rw-r--r--	1631	fpbg_cpxs.ma	blob \| history \| raw
-rw-r--r--	1321	fpbg_fpbg.ma	blob \| history \| raw
-rw-r--r--	4711	fpbg_fpbs.ma	blob \| history \| raw
-rw-r--r--	1545	fpbg_fqup.ma	blob \| history \| raw
-rw-r--r--	1615	fpbg_lfpxs.ma	blob \| history \| raw
-rw-r--r--	4291	fpbs.ma	blob \| history \| raw
-rw-r--r--	1627	fpbs_aaa.ma	blob \| history \| raw
-rw-r--r--	2405	fpbs_cpx.ma	blob \| history \| raw
-rw-r--r--	3256	fpbs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1597	fpbs_csx.ma	blob \| history \| raw
-rw-r--r--	1441	fpbs_fpb.ma	blob \| history \| raw
-rw-r--r--	1303	fpbs_fpbs.ma	blob \| history \| raw
-rw-r--r--	2641	fpbs_fqup.ma	blob \| history \| raw
-rw-r--r--	2166	fpbs_fqus.ma	blob \| history \| raw
-rw-r--r--	6393	fpbs_lfpxs.ma	blob \| history \| raw
-rw-r--r--	2362	fpbs_lpxs.ma	blob \| history \| raw
-rw-r--r--	2298	fsb.ma	blob \| history \| raw
-rw-r--r--	3675	fsb_aaa.ma	blob \| history \| raw
-rw-r--r--	4113	fsb_csx.ma	blob \| history \| raw
-rw-r--r--	1627	fsb_ffdeq.ma	blob \| history \| raw
-rw-r--r--	3270	fsb_fpbg.ma	blob \| history \| raw
-rw-r--r--	189	lfprs_aaa.ma	blob \| history \| raw
-rw-r--r--	172	lfprs_lfpxs.ma	blob \| history \| raw
-rw-r--r--	2861	lfpxs.ma	blob \| history \| raw
-rw-r--r--	1425	lfpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	3937	lfpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1800	lfpxs_drops.ma	blob \| history \| raw
-rw-r--r--	1793	lfpxs_ffdeq.ma	blob \| history \| raw
-rw-r--r--	2580	lfpxs_fqup.ma	blob \| history \| raw
-rw-r--r--	1379	lfpxs_length.ma	blob \| history \| raw
-rw-r--r--	3038	lfpxs_lfdeq.ma	blob \| history \| raw
-rw-r--r--	1383	lfpxs_lfpxs.ma	blob \| history \| raw
-rw-r--r--	2018	lfpxs_lpxs.ma	blob \| history \| raw
-rw-r--r--	3909	lfsx.ma	blob \| history \| raw
-rw-r--r--	3490	lfsx_csx.ma	blob \| history \| raw
-rw-r--r--	3135	lfsx_drops.ma	blob \| history \| raw
-rw-r--r--	1442	lfsx_fqup.ma	blob \| history \| raw
-rw-r--r--	7349	lfsx_lfpxs.ma	blob \| history \| raw
-rw-r--r--	3952	lfsx_lfsx.ma	blob \| history \| raw
-rw-r--r--	2341	lfsx_lpx.ma	blob \| history \| raw
-rw-r--r--	2378	lfsx_lpxs.ma	blob \| history \| raw
-rw-r--r--	3278	lprs.ma	blob \| history \| raw
-rw-r--r--	7072	lprs_cprs.ma	blob \| history \| raw
-rw-r--r--	1563	lprs_drop.ma	blob \| history \| raw
-rw-r--r--	1607	lprs_lprs.ma	blob \| history \| raw
-rw-r--r--	2280	lpxs.ma	blob \| history \| raw
-rw-r--r--	1511	lpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1366	lpxs_length.ma	blob \| history \| raw
-rw-r--r--	1760	lpxs_lpx.ma	blob \| history \| raw
-rw-r--r--	6974	lsubsx.ma	blob \| history \| raw
-rw-r--r--	3859	lsubsx_lfsx.ma	blob \| history \| raw
-rw-r--r--	1847	lsubsx_lsubsx.ma	blob \| history \| raw
-rw-r--r--	1056	partial.txt	blob \| history \| raw
-rw-r--r--	1440	scpds_aaa.ma	blob \| history \| raw
-rw-r--r--	1904	scpds_lift.ma	blob \| history \| raw
-rw-r--r--	4888	scpds_scpds.ma	blob \| history \| raw