Index of /home/lieber/courses/csg110/sp08/project/demeterf/cnf-reduction/withDemeterF

	Name	Last modified	Size	Description
	Parent Directory		-
	ReduceVisitor.beh	2008-01-20 21:24	1.5K
	design	2008-01-20 23:58	1.9K
	gen/	2008-01-20 22:26	-
	out	2008-01-20 22:26	3.2K
	program.beh	2008-01-20 22:22	3.6K
	program.cd	2008-01-20 22:26	954
	program.input	2007-09-17 10:17	58
	program.prj	2007-09-15 19:40	1.7K
	to-print	2007-09-15 19:40	60