Index of /~sameer/courses/cis671/p4

	Name	Last modified	Size	Description
	Parent Directory		-
	sameer.script	1995-11-26 11:14	79K
	diss4.ps	1995-11-29 16:01	67K
	linear.script	1995-11-26 11:14	60K
	nonlinear.script	1995-11-26 11:14	47K
	x4.sch	1995-11-30 15:11	16K
	x3.sch	1995-11-26 23:04	16K
	satisfy_test.sch	1995-11-26 11:14	8.3K
	new-literals.sch	1995-11-29 16:09	8.2K
	kb.sch	1995-11-26 23:15	7.6K
	Restrict.sch	1995-11-29 16:09	7.4K
	sam.script	1995-11-26 11:14	7.1K
	db.sch	1995-11-26 21:48	7.0K
	env.sch	1995-11-29 16:09	6.9K
	monitor.sch	1995-11-26 22:34	6.8K
	x1.script	1995-11-26 21:42	6.7K
	examples.sch	1995-11-29 16:09	6.3K
	envsubst.scm	1995-11-26 11:14	6.2K
	util.sch	1995-11-27 02:36	6.1K
	final.script	1995-11-26 11:14	6.1K
	diss4.dvi	1995-11-29 16:01	6.0K
	update.sch	1995-11-26 11:14	6.0K
	satisfy4.sch	1995-11-29 16:09	5.9K
	background.scm	1995-11-29 15:08	5.4K
	hypo.scm	1995-11-29 15:09	5.3K
	rule.sch	1995-11-26 11:14	5.3K
	diss4.tex	1995-11-29 16:01	4.9K
	nonlinear.sch	1995-11-26 11:14	4.7K
	sat.script	1995-11-26 11:14	4.6K
	Family.sch	1995-11-29 16:09	4.3K
	nl.sch	1995-11-26 11:14	4.3K
	kin.sch	1995-11-26 11:14	3.9K
	choose-literal.sch	1995-11-29 16:09	3.9K
	rule-kinship.sch	1995-11-26 11:14	3.7K
	NewHypo.sch	1995-11-29 16:09	3.5K
	x2.sch	1995-11-26 22:13	3.4K
	discussion	1995-11-26 11:14	3.4K
	match.sch	1995-11-29 16:09	3.2K
	general.script	1995-11-29 16:31	3.0K
	kin1.sch	1995-11-26 11:14	2.9K
	kin.bil	1995-11-26 11:14	2.6K
	rl.sch	1995-11-26 11:14	2.4K
	script.1*shell*	1995-11-26 11:14	1.7K
	diss4.log	1995-11-29 16:01	1.7K
	fam_data.sch	1995-11-26 22:24	1.3K
	linear.sch	1995-11-26 11:14	1.3K
	k2.sch	1995-11-26 11:14	1.2K
	z2	1995-11-26 11:14	1.1K
	rev.sch	1995-11-26 21:47	961
	f	1995-11-26 11:14	596
	hypo.sch	1995-11-29 16:09	445
	load.sch	1995-11-27 02:43	279
	new-fact.sch	1995-11-26 11:14	64
	diss4.aux	1995-11-29 16:01	8
	rl2.sch	1995-11-26 11:14	0
	doc/	1995-11-29 16:03	-
	back/	1995-11-27 00:02	-
	Matts/	1995-11-29 15:51	-