Index of /~martinez/classes/470/MLDB/logic-theorist/CODE

	Name	Last modified	Size	Description
	Parent Directory		-
	Index	21-Mar-2003 09:34	1.1K
	ReadMe	21-Mar-2003 09:34	271
	collectvars	21-Mar-2003 09:34	405
	comp_gen_3	21-Mar-2003 09:34	5.4K
	dont_cheat_lt	21-Mar-2003 09:34	22K
	foreign	21-Mar-2003 09:34	372
	gen.dvr	21-Mar-2003 09:34	168
	histog	21-Mar-2003 09:34	3.4K
	histogramdvr	21-Mar-2003 09:34	2.9K
	imp_lt	21-Mar-2003 09:34	22K
	inst_dont_cheat_lt	21-Mar-2003 09:34	22K
	inst_lt	21-Mar-2003 09:34	22K
	logic	21-Mar-2003 09:34	1.1K
	lt	21-Mar-2003 09:34	22K
	make_driver	21-Mar-2003 09:34	129
	match	21-Mar-2003 09:34	2.1K
	math.c	21-Mar-2003 09:34	1.1K
	math.o	21-Mar-2003 09:34	1.2K
	new15.dvr	21-Mar-2003 09:34	1.5K
	new200.dvr	21-Mar-2003 09:34	1.6K
	p2	21-Mar-2003 09:34	4.1K
	perm1_200	21-Mar-2003 09:34	1.9K
	perm2_200	21-Mar-2003 09:34	1.9K
	perm3_200	21-Mar-2003 09:34	1.9K
	pn	21-Mar-2003 09:34	2.6K
	pprint	21-Mar-2003 09:34	1.6K
	pprint_troff	21-Mar-2003 09:34	1.5K
	probs_15	21-Mar-2003 09:34	1.8K
	probs_200	21-Mar-2003 09:34	1.9K
	probs_test	21-Mar-2003 09:34	278
	prolist	21-Mar-2003 09:34	212
	pstart	21-Mar-2003 09:34	120
	pstart2	21-Mar-2003 09:34	91
	rev_probs_200	21-Mar-2003 09:34	1.9K
	testing	21-Mar-2003 09:34	4.3K