Index of /darcs/ganesh/darcs-patch-theory/theory

	Name	Last modified	Size	Description
	Parent Directory		-
	formal.ps	2005-10-17 20:19	197K
	formal.pdf	2005-11-07 22:17	127K
	formal.tex	2006-03-31 09:22	22K
	formal.dvi	2005-10-17 20:16	18K
	Patch.lhs	2005-10-15 14:44	14K
	ConflictSets.lhs	2006-04-19 01:25	9.8K
	Test.hs	2005-10-15 14:44	9.1K
	Patchy.lhs	2005-10-15 14:44	9.0K
	PatchSeqList.lhs	2005-10-15 14:44	8.0K
	formal.log	2005-11-07 22:17	7.3K
	paper.lhs	2005-10-15 14:44	4.2K
	PrimPatch.lhs	2005-10-15 14:44	4.1K
	GNUmakefile	2005-10-15 14:44	2.0K
	ContextPatch.lhs	2005-10-15 14:44	1.5K
	multiletter.sty	2005-10-15 14:47	325
	formal.aux	2005-11-07 22:17	216