Index of /2007/07test

	Name	Last modified	Size	Description
	Parent Directory		-
	biP.n3	20-Oct-2009 15:44	5.9K
	biQ.n3	21-Dec-2007 20:13	85
	biR.n3	20-Apr-2008 00:04	64K
	cro_8_2.in	19-Nov-2008 21:01	2.9K
	data1.n3	20-Jun-2009 12:40	608
	data2.n3	20-Jun-2009 12:40	608
	data3.n3	20-Jun-2009 13:22	1.8K
	dpe.in	19-Nov-2008 21:02	1.0K
	drinker.in	19-Nov-2008 21:02	1.0K
	equalities1.n3	20-Jun-2009 13:20	577
	etc	25-Mar-2009 10:27	1.7K
	etc.ref	19-Aug-2009 10:03	33M
	fdlP020.n3	07-Jul-2009 09:44	1.2K
	fdlQ001.n3	04-Jul-2009 12:38	558
	gmpbnode.n3	09-Sep-2007 14:57	152
	gmpbnode2.n3	09-Sep-2007 14:57	189
	gmpbnodeE1.n3	09-Sep-2007 15:13	2.8K
	gmpbnodeE2.n3	12-Mar-2009 21:08	1.6K
	gmpbnodeF.n3	09-Sep-2007 14:57	111
	inf.in	19-Nov-2008 21:02	368
	irP.n3	04-Jan-2008 12:40	827
	irQ.n3	04-Aug-2007 10:48	173
	irR.n3	04-Jan-2008 12:44	17K
	latt_assoc.in	19-Nov-2008 21:02	795
	latt_comm.in	19-Nov-2008 21:02	705
	m3bP.n3	10-Dec-2007 22:49	541
	m3bQ.n3	06-Dec-2007 12:47	232
	mb.in	19-Nov-2008 21:02	647
	nincl.n3	08-Jul-2008 23:07	328
	ninclQ.n3	08-Jul-2008 21:24	24
	nl.in	19-Nov-2008 21:02	825
	orP.n3	29-Jan-2008 12:55	640
	orQ.n3	01-Feb-2008 13:57	173
	p2p1.in	19-Nov-2008 21:02	2.6K
	pd_hes.in	29-Mar-2009 19:15	5.3K
	pd_hes_proof.n3	11-Dec-2009 00:26	41M
	pd_hes_query.n3	11-Jan-2009 22:02	395
	pd_hes_tactic.n3	10-Jan-2009 14:27	2.1K
	pd_hes_theory.n3	10-Jan-2009 14:25	2.1K
	plfnP.n3	24-Aug-2009 20:21	1.3K
	plfnQ.n3	24-Aug-2009 12:24	288
	plugin.yap	12-Jul-2009 14:33	210
	pluginQ.n3	19-Jul-2009 19:09	193
	ptP.n3	12-Dec-2007 21:15	4.2K
	ptQ.n3	19-Jul-2007 09:55	173
	query1.n3	20-Jun-2009 13:23	904
	r3_5.in	14-Dec-2008 14:31	539
	rifE.n3	03-Nov-2009 10:00	17K
	rifP.n3	27-Oct-2009 10:36	28K
	rifQ.n3	06-Aug-2009 21:12	285
	rsP.n3	11-Dec-2007 14:35	680
	rsQ.n3	26-Jul-2007 14:02	175
	sd.in	19-Nov-2008 21:05	2.2K
	ser.in	19-Nov-2008 21:06	764
	shubert.n3	11-Jan-2009 18:17	1.1K
	shubertE.n3	11-Jan-2009 20:53	78K
	shubertQ.n3	11-Jan-2009 21:46	494
	socrates.n3	12-Jun-2009 14:43	919
	socratesE.n3	12-Jun-2009 19:18	18K
	socratesQ.n3	15-Jun-2009 11:54	707
	swP.n3	28-Apr-2008 12:06	386
	swQ.n3	28-Jul-2007 22:18	157
	theory1.n3	20-Jun-2009 12:41	556
	unf.in	19-Nov-2008 21:03	922
	witchE.n3	12-Jan-2009 00:10	2.8K