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

drwxr-xr-x		..
-rw-r--r--	2929	CC_Props.ma	blob \| history \| raw
-rw-r--r--	1927	CPoly_Contin1.ma	blob \| history \| raw
-rw-r--r--	3919	CPoly_Rev.ma	blob \| history \| raw
-rw-r--r--	2061	CPoly_Shift.ma	blob \| history \| raw
-rw-r--r--	2595	FTA.ma	blob \| history \| raw
-rw-r--r--	5865	FTAreg.ma	blob \| history \| raw
-rw-r--r--	4315	KeyLemma.ma	blob \| history \| raw
-rw-r--r--	4115	KneserLemma.ma	blob \| history \| raw
-rw-r--r--	3422	MainLemma.ma	blob \| history \| raw