Index of /~tothl/gepitan/uci repository/logic-theorist/CODE

	Name	Last modified	Size	Description
	Parent Directory		-
	Index	1996-03-19 13:03	1.1K
	OLD/	2012-02-10 14:01	-
	PROBS/	2012-02-10 14:01	-
	ReadMe	1990-05-04 00:52	271
	collectvars	1990-05-04 00:52	405
	comp_gen_3	1990-05-04 00:52	5.4K
	dont_cheat_lt	1990-05-04 00:52	22K
	foreign	1990-05-04 00:52	372
	gen.dvr	1990-05-04 00:52	168
	histog	1990-05-04 00:52	3.4K
	histogramdvr	1990-05-04 00:52	2.9K
	imp_lt	1990-05-04 00:52	22K
	inst_dont_cheat_lt	1990-05-04 00:52	22K
	inst_lt	1990-05-04 00:52	22K
	logic	1990-05-04 00:52	1.1K
	lt	1990-05-04 00:52	22K
	make_driver	1990-05-04 00:52	129
	match	1990-05-04 00:52	2.1K
	math.c	1990-05-04 00:52	1.1K
	math.o	1990-05-04 00:52	1.2K
	new15.dvr	1990-05-04 00:52	1.5K
	new200.dvr	1990-05-04 00:52	1.6K
	p2	1990-05-04 00:52	4.1K
	perm1_200	1990-05-04 00:52	1.9K
	perm2_200	1990-05-04 00:52	1.9K
	perm3_200	1990-05-04 00:52	1.9K
	pn	1990-05-04 00:52	2.6K
	pprint	1990-05-04 00:52	1.6K
	pprint_troff	1990-05-04 00:52	1.5K
	probs_15	1990-05-04 00:52	1.8K
	probs_200	1990-05-04 00:52	1.9K
	probs_test	1990-05-04 00:52	278
	prolist	1990-05-04 00:52	212
	pstart	1990-05-04 00:52	120
	pstart2	1990-05-04 00:52	91
	rev_probs_200	1990-05-04 00:52	1.9K
	testing	1990-05-04 00:52	4.3K