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

drwxr-xr-x		..
-rw-r--r--	7777	lfpr.etc	blob \| history \| raw
-rw-r--r--	1525	lfpr_aaa.etc	blob \| history \| raw
-rw-r--r--	2418	lfpr_drops.etc	blob \| history \| raw
-rw-r--r--	2195	lfpr_fqup.etc	blob \| history \| raw
-rw-r--r--	3983	lfpr_fquq.etc	blob \| history \| raw
-rw-r--r--	1405	lfpr_length.etc	blob \| history \| raw
-rw-r--r--	21879	lfpr_lfpr.etc	blob \| history \| raw
-rw-r--r--	1462	lfpr_lfpx.etc	blob \| history \| raw
-rw-r--r--	3836	lfpx_aaa.etc	blob \| history \| raw
-rw-r--r--	2392	lfpx_drops.etc	blob \| history \| raw
-rw-r--r--	3044	lfpx_fquq.etc	blob \| history \| raw
-rw-r--r--	2861	lfpxs.etc	blob \| history \| raw
-rw-r--r--	1425	lfpxs_aaa.etc	blob \| history \| raw
-rw-r--r--	3937	lfpxs_cpxs.etc	blob \| history \| raw
-rw-r--r--	1800	lfpxs_drops.etc	blob \| history \| raw
-rw-r--r--	1793	lfpxs_ffdeq.etc	blob \| history \| raw
-rw-r--r--	2580	lfpxs_fqup.etc	blob \| history \| raw
-rw-r--r--	1379	lfpxs_length.etc	blob \| history \| raw
-rw-r--r--	3038	lfpxs_lfdeq.etc	blob \| history \| raw
-rw-r--r--	1383	lfpxs_lfpxs.etc	blob \| history \| raw
-rw-r--r--	2018	lfpxs_lpxs.etc	blob \| history \| raw
-rw-r--r--	1278	predsn_5.etc	blob \| history \| raw
-rw-r--r--	1286	predtysnstar_5.etc	blob \| history \| raw