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

drwxr-xr-x		..
-rw-r--r--	2820	aaa_lpss.etc	blob \| history \| raw
-rw-r--r--	2635	cpcs_lpss.etc	blob \| history \| raw
-rw-r--r--	9237	cpqs.etc	blob \| history \| raw
-rw-r--r--	4495	cpqs_lift.etc	blob \| history \| raw
-rw-r--r--	4767	cprs_lpss.etc	blob \| history \| raw
-rw-r--r--	8159	cpss.etc	blob \| history \| raw
-rw-r--r--	3896	cpss_lift.etc	blob \| history \| raw
-rw-r--r--	2607	dxprs_lpss.etc	blob \| history \| raw
-rw-r--r--	3316	lpqs.etc	blob \| history \| raw
-rw-r--r--	3185	lpqs_cpqs.etc	blob \| history \| raw
-rw-r--r--	2440	lpqs_ldrop.etc	blob \| history \| raw
-rw-r--r--	11557	lpqs_lpqs.etc	blob \| history \| raw
-rw-r--r--	12911	lpr_lpss.etc	blob \| history \| raw
-rw-r--r--	1337	lprs_lpss.etc	blob \| history \| raw
-rw-r--r--	3925	lpss.etc	blob \| history \| raw
-rw-r--r--	2937	lpss_cpss.etc	blob \| history \| raw
-rw-r--r--	2452	lpss_ldrop.etc	blob \| history \| raw
-rw-r--r--	8304	lpss_lpss.etc	blob \| history \| raw
-rw-r--r--	3966	lsubr.etc	blob \| history \| raw
-rw-r--r--	2651	lsubr_etc.etc	blob \| history \| raw
-rw-r--r--	2856	lsubr_lsubr.etc	blob \| history \| raw
-rw-r--r--	3867	snv_lpss.etc	blob \| history \| raw
-rw-r--r--	4471	ssta_lpss.etc	blob \| history \| raw
-rw-r--r--	2230	sstas_lpss.etc	blob \| history \| raw