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

drwxr-xr-x		..
-rw-r--r--	2943	CC_Props.ma	blob \| history \| raw
-rw-r--r--	1943	CPoly_Contin1.ma	blob \| history \| raw
-rw-r--r--	3934	CPoly_Rev.ma	blob \| history \| raw
-rw-r--r--	2061	CPoly_Shift.ma	blob \| history \| raw
-rw-r--r--	2604	FTA.ma	blob \| history \| raw
-rw-r--r--	6158	FTAreg.ma	blob \| history \| raw
-rw-r--r--	4334	KeyLemma.ma	blob \| history \| raw
-rw-r--r--	4153	KneserLemma.ma	blob \| history \| raw
-rw-r--r--	3450	MainLemma.ma	blob \| history \| raw