matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/contribs/TPTP/HEQ/

drwxr-xr-x		..
-rw-r--r--	5497	ANA003-1.ma	blob \| history \| raw
-rw-r--r--	5477	ANA004-1.ma	blob \| history \| raw
-rw-r--r--	5362	ANA005-1.ma	blob \| history \| raw
-rw-r--r--	2332	ANA031-2.ma	blob \| history \| raw
-rw-r--r--	3222	ANA032-2.ma	blob \| history \| raw
-rw-r--r--	3967	ANA034-2.ma	blob \| history \| raw
-rw-r--r--	7070	BOO012-3.ma	blob \| history \| raw
-rw-r--r--	4756	CAT018-4.ma	blob \| history \| raw
-rw-r--r--	2473	COL003-10.ma	blob \| history \| raw
-rw-r--r--	2682	COL003-2.ma	blob \| history \| raw
-rw-r--r--	2664	COL003-3.ma	blob \| history \| raw
-rw-r--r--	2664	COL003-4.ma	blob \| history \| raw
-rw-r--r--	2677	COL003-5.ma	blob \| history \| raw
-rw-r--r--	2677	COL003-6.ma	blob \| history \| raw
-rw-r--r--	2484	COL003-7.ma	blob \| history \| raw
-rw-r--r--	2484	COL003-8.ma	blob \| history \| raw
-rw-r--r--	2484	COL003-9.ma	blob \| history \| raw
-rw-r--r--	2447	COL006-2.ma	blob \| history \| raw
-rw-r--r--	2503	COL006-3.ma	blob \| history \| raw
-rw-r--r--	2433	COL006-4.ma	blob \| history \| raw
-rw-r--r--	2495	COL042-2.ma	blob \| history \| raw
-rw-r--r--	2495	COL042-3.ma	blob \| history \| raw
-rw-r--r--	2495	COL042-4.ma	blob \| history \| raw
-rw-r--r--	2482	COL042-5.ma	blob \| history \| raw
-rw-r--r--	2617	COL043-2.ma	blob \| history \| raw
-rw-r--r--	2563	COL044-2.ma	blob \| history \| raw
-rw-r--r--	2563	COL044-3.ma	blob \| history \| raw
-rw-r--r--	2547	COL044-4.ma	blob \| history \| raw
-rw-r--r--	2547	COL044-5.ma	blob \| history \| raw
-rw-r--r--	4218	HEN011-3.ma	blob \| history \| raw
-rw-r--r--	8742	HWC002-1.ma	blob \| history \| raw
-rw-r--r--	7671	HWC003-1.ma	blob \| history \| raw
-rw-r--r--	7981	HWC003-2.ma	blob \| history \| raw
-rw-r--r--	4433	HWV002-1.ma	blob \| history \| raw
-rw-r--r--	6348	HWV003-1.ma	blob \| history \| raw
-rw-r--r--	6120	HWV004-1.ma	blob \| history \| raw
-rw-r--r--	7556	LAT001-1.ma	blob \| history \| raw
-rw-r--r--	7521	LAT002-1.ma	blob \| history \| raw
-rw-r--r--	7889	LAT005-3.ma	blob \| history \| raw
-rw-r--r--	2915	LAT041-1.ma	blob \| history \| raw
-rw-r--r--	5475	LCL109-4.ma	blob \| history \| raw
-rw-r--r--	5348	LCL147-1.ma	blob \| history \| raw
-rw-r--r--	5331	LCL148-1.ma	blob \| history \| raw
-rw-r--r--	5359	LCL149-1.ma	blob \| history \| raw
-rw-r--r--	5362	LCL150-1.ma	blob \| history \| raw
-rw-r--r--	5345	LCL151-1.ma	blob \| history \| raw
-rw-r--r--	5403	LCL152-1.ma	blob \| history \| raw
-rw-r--r--	3918	LCL174-3.ma	blob \| history \| raw
-rw-r--r--	3896	LCL181-3.ma	blob \| history \| raw
-rw-r--r--	3896	LCL182-3.ma	blob \| history \| raw
-rw-r--r--	3896	LCL183-3.ma	blob \| history \| raw
-rw-r--r--	3885	LCL191-3.ma	blob \| history \| raw
-rw-r--r--	3898	LCL192-3.ma	blob \| history \| raw
-rw-r--r--	3895	LCL193-3.ma	blob \| history \| raw
-rw-r--r--	3908	LCL194-3.ma	blob \| history \| raw
-rw-r--r--	3895	LCL195-3.ma	blob \| history \| raw
-rw-r--r--	3897	LCL198-3.ma	blob \| history \| raw
-rw-r--r--	3886	LCL201-3.ma	blob \| history \| raw
-rw-r--r--	3929	LCL206-3.ma	blob \| history \| raw
-rw-r--r--	3885	LCL208-3.ma	blob \| history \| raw
-rw-r--r--	3889	LCL213-3.ma	blob \| history \| raw
-rw-r--r--	3891	LCL214-3.ma	blob \| history \| raw
-rw-r--r--	3880	LCL215-3.ma	blob \| history \| raw
-rw-r--r--	3879	LCL216-3.ma	blob \| history \| raw
-rw-r--r--	3895	LCL217-3.ma	blob \| history \| raw
-rw-r--r--	3878	LCL218-3.ma	blob \| history \| raw
-rw-r--r--	3878	LCL219-3.ma	blob \| history \| raw
-rw-r--r--	3895	LCL220-3.ma	blob \| history \| raw
-rw-r--r--	3902	LCL221-3.ma	blob \| history \| raw
-rw-r--r--	3889	LCL222-3.ma	blob \| history \| raw
-rw-r--r--	3902	LCL223-3.ma	blob \| history \| raw
-rw-r--r--	3902	LCL224-3.ma	blob \| history \| raw
-rw-r--r--	3917	LCL225-3.ma	blob \| history \| raw
-rw-r--r--	3907	LCL226-3.ma	blob \| history \| raw
-rw-r--r--	3923	LCL227-3.ma	blob \| history \| raw
-rw-r--r--	3938	LCL229-3.ma	blob \| history \| raw
-rw-r--r--	3902	LCL230-3.ma	blob \| history \| raw
-rw-r--r--	3917	LCL231-3.ma	blob \| history \| raw
-rw-r--r--	5175	LCL234-3.ma	blob \| history \| raw
-rw-r--r--	5177	LCL237-3.ma	blob \| history \| raw
-rw-r--r--	5209	LCL242-3.ma	blob \| history \| raw
-rw-r--r--	5211	LCL243-3.ma	blob \| history \| raw
-rw-r--r--	5185	LCL245-3.ma	blob \| history \| raw
-rw-r--r--	5190	LCL246-3.ma	blob \| history \| raw
-rw-r--r--	5221	LCL247-3.ma	blob \| history \| raw
-rw-r--r--	5212	LCL249-3.ma	blob \| history \| raw
-rw-r--r--	5199	LCL250-3.ma	blob \| history \| raw
-rw-r--r--	5195	LCL251-3.ma	blob \| history \| raw
-rw-r--r--	5218	LCL252-3.ma	blob \| history \| raw
-rw-r--r--	5209	LCL253-3.ma	blob \| history \| raw
-rw-r--r--	5215	LCL254-3.ma	blob \| history \| raw
-rw-r--r--	5209	LCL255-3.ma	blob \| history \| raw
-rw-r--r--	3892	LCL260-3.ma	blob \| history \| raw
-rw-r--r--	5179	LCL261-3.ma	blob \| history \| raw
-rw-r--r--	6519	LCL262-3.ma	blob \| history \| raw
-rw-r--r--	6487	LCL263-3.ma	blob \| history \| raw
-rw-r--r--	6487	LCL264-3.ma	blob \| history \| raw
-rw-r--r--	6499	LCL265-3.ma	blob \| history \| raw
-rw-r--r--	6524	LCL266-3.ma	blob \| history \| raw
-rw-r--r--	6527	LCL269-3.ma	blob \| history \| raw
-rw-r--r--	6507	LCL270-3.ma	blob \| history \| raw
-rw-r--r--	6497	LCL271-3.ma	blob \| history \| raw
-rw-r--r--	6494	LCL272-3.ma	blob \| history \| raw
-rw-r--r--	6515	LCL273-3.ma	blob \| history \| raw
-rw-r--r--	6511	LCL274-3.ma	blob \| history \| raw
-rw-r--r--	6495	LCL275-3.ma	blob \| history \| raw
-rw-r--r--	6496	LCL276-3.ma	blob \| history \| raw
-rw-r--r--	6502	LCL277-3.ma	blob \| history \| raw
-rw-r--r--	6509	LCL278-3.ma	blob \| history \| raw
-rw-r--r--	6497	LCL281-3.ma	blob \| history \| raw
-rw-r--r--	6496	LCL282-3.ma	blob \| history \| raw
-rw-r--r--	6491	LCL283-3.ma	blob \| history \| raw
-rw-r--r--	6475	LCL284-3.ma	blob \| history \| raw
-rw-r--r--	6514	LCL285-3.ma	blob \| history \| raw
-rw-r--r--	6514	LCL286-3.ma	blob \| history \| raw
-rw-r--r--	6506	LCL289-3.ma	blob \| history \| raw
-rw-r--r--	6506	LCL293-3.ma	blob \| history \| raw
-rw-r--r--	6518	LCL295-3.ma	blob \| history \| raw
-rw-r--r--	6532	LCL298-3.ma	blob \| history \| raw
-rw-r--r--	6530	LCL299-3.ma	blob \| history \| raw
-rw-r--r--	6534	LCL300-3.ma	blob \| history \| raw
-rw-r--r--	6516	LCL302-3.ma	blob \| history \| raw
-rw-r--r--	6518	LCL303-3.ma	blob \| history \| raw
-rw-r--r--	6518	LCL304-3.ma	blob \| history \| raw
-rw-r--r--	6506	LCL305-3.ma	blob \| history \| raw
-rw-r--r--	6509	LCL306-3.ma	blob \| history \| raw
-rw-r--r--	6511	LCL307-3.ma	blob \| history \| raw
-rw-r--r--	6508	LCL308-3.ma	blob \| history \| raw
-rw-r--r--	6505	LCL309-3.ma	blob \| history \| raw
-rw-r--r--	6508	LCL310-3.ma	blob \| history \| raw
-rw-r--r--	6509	LCL311-3.ma	blob \| history \| raw
-rw-r--r--	6505	LCL312-3.ma	blob \| history \| raw
-rw-r--r--	6504	LCL313-3.ma	blob \| history \| raw
-rw-r--r--	6498	LCL314-3.ma	blob \| history \| raw
-rw-r--r--	6519	LCL315-3.ma	blob \| history \| raw
-rw-r--r--	6519	LCL316-3.ma	blob \| history \| raw
-rw-r--r--	6491	LCL319-3.ma	blob \| history \| raw
-rw-r--r--	3885	LCL320-3.ma	blob \| history \| raw
-rw-r--r--	6495	LCL324-3.ma	blob \| history \| raw
-rw-r--r--	6499	LCL325-3.ma	blob \| history \| raw
-rw-r--r--	6499	LCL326-3.ma	blob \| history \| raw
-rw-r--r--	6492	LCL327-3.ma	blob \| history \| raw
-rw-r--r--	6486	LCL328-3.ma	blob \| history \| raw
-rw-r--r--	6516	LCL329-3.ma	blob \| history \| raw
-rw-r--r--	6515	LCL330-3.ma	blob \| history \| raw
-rw-r--r--	6520	LCL331-3.ma	blob \| history \| raw
-rw-r--r--	5183	LCL332-3.ma	blob \| history \| raw
-rw-r--r--	6509	LCL334-3.ma	blob \| history \| raw
-rw-r--r--	6526	LCL335-3.ma	blob \| history \| raw
-rw-r--r--	6482	LCL336-3.ma	blob \| history \| raw
-rw-r--r--	6518	LCL337-3.ma	blob \| history \| raw
-rw-r--r--	6526	LCL339-3.ma	blob \| history \| raw
-rw-r--r--	6526	LCL340-3.ma	blob \| history \| raw
-rw-r--r--	6519	LCL341-3.ma	blob \| history \| raw
-rw-r--r--	6461	LCL342-3.ma	blob \| history \| raw
-rw-r--r--	6500	LCL344-3.ma	blob \| history \| raw
-rw-r--r--	6520	LCL345-3.ma	blob \| history \| raw
-rw-r--r--	6513	LCL346-3.ma	blob \| history \| raw
-rw-r--r--	6497	LCL347-3.ma	blob \| history \| raw
-rw-r--r--	6520	LCL348-3.ma	blob \| history \| raw
-rw-r--r--	6514	LCL349-3.ma	blob \| history \| raw
-rw-r--r--	6512	LCL351-3.ma	blob \| history \| raw
-rw-r--r--	6533	LCL353-3.ma	blob \| history \| raw
-rw-r--r--	2248	LDA004-1.ma	blob \| history \| raw
-rw-r--r--	1526	MGT011-1.ma	blob \| history \| raw
-rw-r--r--	1681	MGT012-1.ma	blob \| history \| raw
-rw-r--r--	12209	NLP251-1.ma	blob \| history \| raw
-rw-r--r--	11940	NLP252-1.ma	blob \| history \| raw
-rw-r--r--	11939	NLP257-1.ma	blob \| history \| raw
-rw-r--r--	11671	NLP258-1.ma	blob \| history \| raw
-rw-r--r--	3043	NUM017-2.ma	blob \| history \| raw
-rw-r--r--	6231	ROB006-3.ma	blob \| history \| raw
-rw-r--r--	5070	ROB014-1.ma	blob \| history \| raw
-rw-r--r--	5135	ROB018-1.ma	blob \| history \| raw
-rw-r--r--	3916	SWV251-2.ma	blob \| history \| raw