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

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