matita.cs.unibo.it Git - helm.git/tree - matita/contribs/CoRN-Decl/fta/

drwxr-xr-x		..
-rw-r--r--	2916	CC_Props.ma	blob \| history \| raw
-rw-r--r--	1912	CPoly_Contin1.ma	blob \| history \| raw
-rw-r--r--	3839	CPoly_Rev.ma	blob \| history \| raw
-rw-r--r--	2072	CPoly_Shift.ma	blob \| history \| raw
-rw-r--r--	2457	FTA.ma	blob \| history \| raw
-rw-r--r--	4981	FTAreg.ma	blob \| history \| raw
-rw-r--r--	4129	KeyLemma.ma	blob \| history \| raw
-rw-r--r--	3714	KneserLemma.ma	blob \| history \| raw
-rw-r--r--	3149	MainLemma.ma	blob \| history \| raw