Index of /~sheard/course/LogicAndProgLang/studentEx/Project/170671-86670 - Steven Libby - Dec 3, 2014 1155 AM - narrowing/project

	Name	Last modified	Size	Description
	Parent Directory		-
	Main.lhs	2014-12-03 00:38	2.1K
	Narrow.lhs	2014-12-03 00:34	2.4K
	Narrowing.odp	2014-12-03 01:54	78K
	Narrowing.pdf	2014-12-03 01:07	212K
	Narrowing.ppt	2014-12-03 01:55	169K
	Narrowing.tex	2014-12-03 01:07	55K
	PDT.lhs	2014-12-03 01:03	4.6K
	Subst.lhs	2014-12-03 00:37	1.5K
	Term.lhs	2014-12-03 00:36	4.8K
	Unify.lhs	2014-12-03 00:35	1.4K
	figure1.dot	2014-12-02 19:19	213
	figure1.png	2014-12-02 19:19	13K
	figure3.dot	2014-12-02 19:20	214
	figure3.png	2014-12-02 19:20	13K
	figure4.dot	2014-12-02 23:45	312
	figure4.png	2014-12-03 00:02	33K