Index of /bushl2/rpi/portfolio/homework_1_2_3_archive/p1_fol/hwone_code_fol_work

	Name	Last modified	Size	Description
	Parent Directory		-
	Copy of FOL.jar	2004-09-28 21:14	88K
	Copy of task9.txt	2004-10-02 05:22	6.0K
	Copy of task10.txt	2004-10-03 03:36	7.1K
	FOL.jar	2004-09-28 21:14	88K
	FOLTesterLB.class	2005-05-17 19:07	4.3K
	FOLTesterLB.java	2004-10-03 04:06	4.2K
	Project_1_Writeup.doc	2004-09-30 14:28	11K
	cnf.out	2004-10-03 00:53	8.9M
	cnllf.out	2004-10-02 05:57	103K
	down/	2010-08-27 23:40	-
	finished/	2010-08-27 23:40	-
	makefile	2004-09-30 22:55	126
	q.log	2004-09-30 22:53	943
	skolem_test.txt	2004-09-30 19:19	10
	task9fn.txt	2004-10-03 03:41	6.4K
	task9fn.txt.out	2004-10-03 03:41	1.5K
	task10.txt	2004-10-03 04:34	7.3K
	task10.txt.out	2005-05-17 19:07	1.5K
	task12.txt	2004-10-03 04:47	7.4K
	tempfile.out	2005-05-17 19:07	1.8K