Index of /~raulh/ufes/teaching/courses/ds/notes/pcp.doc

	Name	Last modified	Size	Description
	Parent Directory		-
	tmp/	2003-09-05 14:48	-
	pcp.tp0.prof	2003-09-05 10:01	0
	axs0	2003-09-05 10:01	9
	theo.0	2003-09-05 10:01	46
	convert.hs	2003-09-05 10:01	169
	t	2003-09-05 10:01	179
	theo.easy	2003-09-05 10:01	320
	Makefile	2003-09-05 16:04	452
	theo.cli	2003-09-05 10:01	615
	deflogic.tex	2003-09-01 07:10	689
	PCTokens.x	2003-09-05 16:10	767
	Prover0.hs	2003-09-05 10:01	804
	defport.tex	2003-08-29 07:16	845
	PCFormula.aux	2003-09-05 15:51	885
	lst2code.pl	2003-09-05 14:47	969
	PCFormula.y	2003-09-05 16:10	1.1K
	PCTokens.aux	2003-09-05 14:24	1.2K
	ToClause.hi	2003-09-05 10:01	1.4K
	PCFormula.hi	2003-09-05 16:10	1.5K
	Main.hi	2003-09-05 16:11	1.5K
	PCTokens.hi	2003-09-05 10:01	1.5K
	Prover.bestfirst.hs	2003-09-05 16:11	1.7K
	README	2003-09-05 16:00	1.8K
	Prover.hs	2003-09-05 10:01	2.0K
	PCResolution.hi	2003-09-05 10:01	2.5K
	ToClause.hs	2003-09-05 10:01	3.0K
	PCResolution.hs	2003-09-05 10:01	4.3K
	PCFormula.tex	2003-09-05 16:09	5.8K
	PCTokens.tex	2003-09-05 14:44	7.3K
	PCFormula.log	2003-09-05 15:51	7.7K
	PCTokens.hs	2003-09-05 16:10	8.5K
	PCTokens.log	2003-09-05 14:24	8.7K
	aux	2003-09-05 10:01	10K
	PCFormula.dvi	2003-09-05 15:51	11K
	PCTokens.dvi	2003-09-05 14:24	12K
	PCFormula.hs	2003-09-05 16:10	13K
	Prover.bestfirst.o	2003-09-05 16:11	20K
	ToClause.o	2003-09-05 16:11	35K
	PCResolution.o	2003-09-05 16:11	36K
	pcp.prof.dfs	2003-09-05 10:01	60K
	pcp.prof.bfs	2003-09-05 10:01	60K
	pcp.bestfirst.prof	2003-09-05 10:01	64K
	PCFormula.o	2003-09-05 16:11	94K
	PCTokens.o	2003-09-05 16:11	181K
	convert	2003-09-05 10:01	840K
	pcp.tar.gz	2003-09-05 10:01	881K
	pcp.tp0	2003-09-05 16:09	931K
	pcp	2003-09-05 16:09	955K
	pcp.bestfirst	2003-09-05 16:11	955K