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

drwxr-xr-x		..
-rw-r--r--	1930	cpre.ma	blob \| history \| raw
-rw-r--r--	1583	cpre_cpre.ma	blob \| history \| raw
-rw-r--r--	6621	cprs.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--	1938	cpxe.ma	blob \| history \| raw
-rw-r--r--	7014	cpxs.ma	blob \| history \| raw
-rw-r--r--	1674	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--	5441	cpxs_drops.ma	blob \| history \| raw
-rw-r--r--	4774	cpxs_etc.ma	blob \| history \| raw
-rw-r--r--	3919	cpxs_fqus.ma	blob \| history \| raw
-rw-r--r--	2965	cpxs_lfpx.ma	blob \| history \| raw
-rw-r--r--	2172	cpxs_lleq.ma	blob \| history \| raw
-rw-r--r--	1372	cpxs_lreq.ma	blob \| history \| raw
-rw-r--r--	1369	cpxs_lsubr.ma	blob \| history \| raw
-rw-r--r--	2486	cpxs_tdeq.ma	blob \| history \| raw
-rw-r--r--	5415	cpxs_theq.ma	blob \| history \| raw
-rw-r--r--	9128	cpxs_theq_vector.ma	blob \| history \| raw
-rw-r--r--	5529	csx.ma	blob \| history \| raw
-rw-r--r--	3131	csx_aaa.ma	blob \| history \| raw
-rw-r--r--	1415	csx_cnx.ma	blob \| history \| raw
-rw-r--r--	3625	csx_cpxs.ma	blob \| history \| raw
-rw-r--r--	3564	csx_csx.ma	blob \| history \| raw
-rw-r--r--	2019	csx_drops.ma	blob \| history \| raw
-rw-r--r--	1878	csx_fpbs.ma	blob \| history \| raw
-rw-r--r--	1255	csx_fqus.ma	blob \| history \| raw
-rw-r--r--	1537	csx_gcp.ma	blob \| history \| raw
-rw-r--r--	1684	csx_lleq.ma	blob \| history \| raw
-rw-r--r--	5705	csx_lpx.ma	blob \| history \| raw
-rw-r--r--	1486	csx_lpxs.ma	blob \| history \| raw
-rw-r--r--	2015	csx_simple.ma	blob \| history \| raw
-rw-r--r--	2481	csx_theq.ma	blob \| history \| raw
-rw-r--r--	5714	csx_theq_vector.ma	blob \| history \| raw
-rw-r--r--	2202	csx_vector.ma	blob \| history \| raw
-rw-r--r--	2176	fpbg.ma	blob \| history \| raw
-rw-r--r--	3768	fpbg_fleq.ma	blob \| history \| raw
-rw-r--r--	1318	fpbg_fpbg.ma	blob \| history \| raw
-rw-r--r--	3828	fpbg_fpbs.ma	blob \| history \| raw
-rw-r--r--	1447	fpbg_lift.ma	blob \| history \| raw
-rw-r--r--	8594	fpbs.ma	blob \| history \| raw
-rw-r--r--	1620	fpbs_aaa.ma	blob \| history \| raw
-rw-r--r--	4336	fpbs_alt.ma	blob \| history \| raw
-rw-r--r--	2447	fpbs_fpb.ma	blob \| history \| raw
-rw-r--r--	1300	fpbs_fpbs.ma	blob \| history \| raw
-rw-r--r--	2096	fpbs_lift.ma	blob \| history \| raw
-rw-r--r--	2256	fsb.ma	blob \| history \| raw
-rw-r--r--	3850	fsb_aaa.ma	blob \| history \| raw
-rw-r--r--	3929	fsb_alt.ma	blob \| history \| raw
-rw-r--r--	3785	fsb_csx.ma	blob \| history \| raw
-rw-r--r--	3595	lcosx.ma	blob \| history \| raw
-rw-r--r--	3576	lcosx_cpx.ma	blob \| history \| raw
-rw-r--r--	2762	lfpxs.ma	blob \| history \| raw
-rw-r--r--	3975	lfpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	172	lfpxs_etc.ma	blob \| history \| raw
-rw-r--r--	2182	lfpxs_fqup.ma	blob \| history \| raw
-rw-r--r--	3303	lfpxs_fqus.ma	blob \| history \| raw
-rw-r--r--	332	lfpxs_length.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--	1714	lpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	1587	lpxs_drop.ma	blob \| history \| raw
-rw-r--r--	7422	lpxs_lleq.ma	blob \| history \| raw
-rw-r--r--	1291	lpxs_lpxs.ma	blob \| history \| raw
-rw-r--r--	4532	lsx.ma	blob \| history \| raw
-rw-r--r--	5352	lsx_alt.ma	blob \| history \| raw
-rw-r--r--	3077	lsx_csx.ma	blob \| history \| raw
-rw-r--r--	4611	lsx_drop.ma	blob \| history \| raw
-rw-r--r--	3107	lsx_lpx.ma	blob \| history \| raw
-rw-r--r--	3116	lsx_lpxs.ma	blob \| history \| raw
-rw-r--r--	262	partial.txt	blob \| history \| raw
-rw-r--r--	2650	scpds.ma	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