matita.cs.unibo.it Git - helm.git/tree

drwxr-xr-x		..
-rw-r--r--	2907	CC_Props.ma	blob \| history \| raw
-rw-r--r--	1903	CPoly_Contin1.ma	blob \| history \| raw
-rw-r--r--	3830	CPoly_Rev.ma	blob \| history \| raw
-rw-r--r--	2063	CPoly_Shift.ma	blob \| history \| raw
-rw-r--r--	2448	FTA.ma	blob \| history \| raw
-rw-r--r--	4972	FTAreg.ma	blob \| history \| raw
-rw-r--r--	4120	KeyLemma.ma	blob \| history \| raw
-rw-r--r--	3705	KneserLemma.ma	blob \| history \| raw
-rw-r--r--	3140	MainLemma.ma	blob \| history \| raw