matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/contribs/ng_TPTP/CASC

drwxr-xr-x		..
-rw-r--r--	4329	BOO007-2.ma	blob \| history \| raw
-rw-r--r--	3800	BOO007-4.ma	blob \| history \| raw
-rw-r--r--	3273	BOO031-1.ma	blob \| history \| raw
-rw-r--r--	4126	BOO034-1.ma	blob \| history \| raw
-rw-r--r--	1880	BOO072-1.ma	blob \| history \| raw
-rw-r--r--	1914	BOO073-1.ma	blob \| history \| raw
-rw-r--r--	1820	BOO076-1.ma	blob \| history \| raw
-rw-r--r--	3225	COL003-1.ma	blob \| history \| raw
-rw-r--r--	2601	COL003-12.ma	blob \| history \| raw
-rw-r--r--	2417	COL003-20.ma	blob \| history \| raw
-rw-r--r--	2461	COL006-6.ma	blob \| history \| raw
-rw-r--r--	2336	COL011-1.ma	blob \| history \| raw
-rw-r--r--	2552	COL037-1.ma	blob \| history \| raw
-rw-r--r--	2480	COL038-1.ma	blob \| history \| raw
-rw-r--r--	2582	COL043-3.ma	blob \| history \| raw
-rw-r--r--	2518	COL044-8.ma	blob \| history \| raw
-rw-r--r--	2492	COL046-1.ma	blob \| history \| raw
-rw-r--r--	3065	COL049-1.ma	blob \| history \| raw
-rw-r--r--	2369	COL057-1.ma	blob \| history \| raw
-rw-r--r--	2275	COL060-1.ma	blob \| history \| raw
-rw-r--r--	2279	COL061-1.ma	blob \| history \| raw
-rw-r--r--	2262	COL063-1.ma	blob \| history \| raw
-rw-r--r--	2288	COL064-1.ma	blob \| history \| raw
-rw-r--r--	2362	COL065-1.ma	blob \| history \| raw
-rw-r--r--	2481	GRP014-1.ma	blob \| history \| raw
-rw-r--r--	4598	GRP024-5.ma	blob \| history \| raw
-rw-r--r--	6223	GRP114-1.ma	blob \| history \| raw
-rw-r--r--	7345	GRP164-2.ma	blob \| history \| raw
-rw-r--r--	8549	GRP167-1.ma	blob \| history \| raw
-rw-r--r--	7729	GRP178-2.ma	blob \| history \| raw
-rw-r--r--	7957	GRP181-4.ma	blob \| history \| raw
-rw-r--r--	7562	GRP183-4.ma	blob \| history \| raw
-rw-r--r--	7588	GRP184-1.ma	blob \| history \| raw
-rw-r--r--	7438	GRP184-3.ma	blob \| history \| raw
-rw-r--r--	7643	GRP185-2.ma	blob \| history \| raw
-rw-r--r--	7531	GRP185-3.ma	blob \| history \| raw
-rw-r--r--	7407	GRP186-1.ma	blob \| history \| raw
-rw-r--r--	7551	GRP186-2.ma	blob \| history \| raw
-rw-r--r--	7428	GRP187-1.ma	blob \| history \| raw
-rw-r--r--	2892	GRP200-1.ma	blob \| history \| raw
-rw-r--r--	2890	GRP202-1.ma	blob \| history \| raw
-rw-r--r--	1918	GRP404-1.ma	blob \| history \| raw
-rw-r--r--	1956	GRP405-1.ma	blob \| history \| raw
-rw-r--r--	1925	GRP422-1.ma	blob \| history \| raw
-rw-r--r--	1963	GRP423-1.ma	blob \| history \| raw
-rw-r--r--	1884	GRP444-1.ma	blob \| history \| raw
-rw-r--r--	2039	GRP452-1.ma	blob \| history \| raw
-rw-r--r--	2064	GRP453-1.ma	blob \| history \| raw
-rw-r--r--	2000	GRP471-1.ma	blob \| history \| raw
-rw-r--r--	1987	GRP477-1.ma	blob \| history \| raw
-rw-r--r--	2180	GRP506-1.ma	blob \| history \| raw
-rw-r--r--	2197	GRP508-1.ma	blob \| history \| raw
-rw-r--r--	2150	LAT080-1.ma	blob \| history \| raw
-rw-r--r--	2177	LAT087-1.ma	blob \| history \| raw
-rw-r--r--	2189	LAT093-1.ma	blob \| history \| raw
-rw-r--r--	3867	LAT138-1.ma	blob \| history \| raw
-rw-r--r--	3855	LAT140-1.ma	blob \| history \| raw
-rw-r--r--	3906	LAT146-1.ma	blob \| history \| raw
-rw-r--r--	3886	LAT148-1.ma	blob \| history \| raw
-rw-r--r--	3908	LAT152-1.ma	blob \| history \| raw
-rw-r--r--	3908	LAT156-1.ma	blob \| history \| raw
-rw-r--r--	3895	LAT159-1.ma	blob \| history \| raw
-rw-r--r--	3886	LAT164-1.ma	blob \| history \| raw
-rw-r--r--	3919	LAT165-1.ma	blob \| history \| raw
-rw-r--r--	3915	LAT166-1.ma	blob \| history \| raw
-rw-r--r--	3857	LAT169-1.ma	blob \| history \| raw
-rw-r--r--	3884	LAT170-1.ma	blob \| history \| raw
-rw-r--r--	3911	LAT173-1.ma	blob \| history \| raw
-rw-r--r--	3920	LAT175-1.ma	blob \| history \| raw
-rw-r--r--	231	Makefile	blob \| history \| raw
-rw-r--r--	4602	RNG009-7.ma	blob \| history \| raw
-rw-r--r--	5395	RNG019-6.ma	blob \| history \| raw
-rw-r--r--	6482	RNG019-7.ma	blob \| history \| raw
-rw-r--r--	5396	RNG020-6.ma	blob \| history \| raw
-rw-r--r--	5338	RNG026-6.ma	blob \| history \| raw
-rw-r--r--	6335	RNG027-7.ma	blob \| history \| raw
-rw-r--r--	6241	RNG028-9.ma	blob \| history \| raw
-rw-r--r--	6274	RNG029-7.ma	blob \| history \| raw
-rw-r--r--	4496	RNG035-7.ma	blob \| history \| raw
-rw-r--r--	3930	ROB006-1.ma	blob \| history \| raw
-rw-r--r--	3786	ROB006-2.ma	blob \| history \| raw
-rw-r--r--	2421	depends	blob \| history \| raw
-rw-r--r--	27	root	blob \| history \| raw