Index of /2000/10/swap/test/reason

	Name	Last modified	Size	Description
	Parent Directory		-
	,judy-proof.n3	2014-07-23 15:41	251K
	,no-B-judy-proof.n3	2014-07-23 15:41	251K
	,paw-flattened.n3	2014-07-23 15:41	174
	,paw-munged-1.n3	2014-07-23 15:41	219K
	,paw-munged.n3	2014-07-23 15:41	204K
	,pf-1.n3	2014-07-23 15:41	311K
	,pf-named.n3	2014-07-23 15:41	194K
	,pf-rdf.n3	2014-07-23 15:41	258K
	,pf.n3	2014-07-23 15:41	317K
	,pf.xml	2014-07-23 15:41	1.1M
	,pf1.n3	2014-07-23 15:41	3.5K
	,pf2.n3	2014-07-23 15:41	307K
	,pfproxy.py	2014-07-23 15:41	12K
	,pfproxy2.py	2014-07-23 15:41	13K
	Makefile	2006-05-28 16:39	1.5K
	Prem.py	2014-07-23 15:41	439
	README.txt	2005-10-24 16:58	323
	animal-goal.n3	2006-05-28 16:35	315
	animals-proof.n3	2006-06-05 18:20	84K
	animals-proof.pml	2006-06-05 18:20	173K
	animals.n3	2006-05-28 16:35	4.7K
	conf_reg_ex.n3	2006-09-22 03:01	378
	contradiction.n3	2009-12-17 03:44	108
	danc.n3	2006-07-07 03:30	354
	detailed.tests	2007-12-13 15:38	7.1K
	double.n3	2007-02-13 21:35	185
	doubleBind.n3	2014-07-23 15:41	280
	e.n3	2003-01-16 14:23	20
	engine.n3	2014-07-23 15:41	2.5K
	eric-a.n3	2003-01-07 20:59	114
	eric-b.n3	2003-01-07 20:59	256
	eric-out.n3	2004-06-25 01:27	781
	eric-out.proof	2003-01-07 21:02	3.7K
	f9.n3	2005-10-24 16:58	138
	filter.n3	2014-07-23 15:41	1.4K
	gmpbnode.n3	2006-09-08 04:30	143
	iw.n3	2005-10-24 16:58	21K
	joe_profile.n3	2006-09-22 03:01	131
	judy-checked.n3	2014-07-23 15:41	0
	judy-proof.n3	2005-11-02 00:06	287K
	judy-req.n3	2014-07-23 15:41	784
	judy-req.rdf	2014-07-23 15:41	1.2K
	judy-result.n3	2014-07-23 15:41	293
	longChain.n3	2007-11-18 03:00	37K
	math-test-bit.n3	2005-08-22 21:12	1.1K
	math-test-works-with-why.n3	2005-10-24 16:58	3.9K
	math-test.n3	2005-10-24 16:58	3.9K
	p-premise.n3	2014-07-23 15:41	1.0K
	paw-proof.n3	2005-12-21 19:41	311K
	paw-t1.n3	2014-07-23 15:41	574
	pfcheck1.n3	2005-12-21 19:55	690
	pml-example.n3	2005-10-24 16:58	1.1K
	pml-example.rdf	2005-10-24 16:58	1.1K
	poor-urop.n3	2007-08-06 16:13	458
	proof-munge.n3	2014-07-23 15:41	305
	reason-report.n3	2006-06-07 15:07	3.4K
	rename-loop.n3	2006-07-07 03:30	198
	revfunc.n3	2009-12-17 03:44	212
	single_gen.n3	2007-08-06 16:13	66
	soc-goal.n3	2006-11-06 23:10	66
	soc-rdfs.n3	2006-11-06 23:05	174
	socrates.n3	2007-06-27 17:58	119
	t1.checked	2005-08-22 21:12	156
	t1.n3	2002-12-05 04:10	13
	t1.pml	2006-03-09 16:51	6.5K
	t1.proof	2005-08-22 21:12	700
	t2.checked	2005-08-22 21:12	309
	t2.n3	2002-12-07 01:12	37
	t2.proof	2005-08-22 21:12	931
	t3.checked	2005-08-22 21:12	277
	t3.n3	2002-12-30 15:00	67
	t3.proof	2005-08-22 21:12	2.1K
	t4.checked	2005-08-22 21:12	718
	t4.n3	2005-08-23 21:05	62
	t4.pml	2005-08-23 21:14	2.9K
	t4.proof	2005-08-23 21:05	2.6K
	t5-a.proof	2002-12-08 05:27	1.9K
	t5.checked	2005-08-22 21:12	400
	t5.n3	2002-12-30 15:00	133
	t5.proof	2005-08-22 21:12	3.1K
	t8.n3	2003-04-08 16:12	96
	t9.n3	2005-11-02 00:06	102
	t9.proof	2014-07-23 15:41	1.9K
	t10.n3	2014-07-23 15:41	153
	tests.n3	2003-01-16 14:23	1.7K
	timbl.n3	2006-07-07 03:30	336
	to-pml.n3	2006-02-18 04:04	3.1K
	troop42-policy.n3	2014-07-23 15:41	4.1K
	witch-goal.n3	2007-01-03 03:03	79
	witch-pf-pml.rdf	2007-02-02 19:25	10K
	witch-pf.n3	2007-01-03 03:03	8.9K
	witch-pf.txt	2007-01-03 03:03	1.8K
	witch.n3	2007-01-03 03:03	679