Index of /darcs/ganesh/camp-paper

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile	2019-08-11 23:22	1.5K
	README	2019-08-11 23:22	109
	_darcs/	2019-08-11 23:28	-
	catch_commute.tex	2019-08-11 23:22	5.5K
	catch_merge.tex	2019-08-11 23:22	4.4K
	catch_more_bits.tex	2019-08-11 23:22	26K
	coqdoc.sty	2019-08-11 23:22	5.4K
	definitions.tex	2019-08-11 23:22	3.1K
	dvipsnam.mp	2019-08-11 23:22	4.4K
	grafbase.mf	2019-08-11 23:22	92K
	grafbase.mp	2019-08-11 23:22	88K
	mathlig.tex	2019-08-11 23:22	5.0K
	mathtools.sty	2019-08-11 23:22	32K
	mfpic.sty	2019-08-11 23:22	2.5K
	mfpic.tex	2019-08-11 23:22	64K
	mfppatch.tex	2019-08-11 23:22	353
	mhsetup.sty	2019-08-11 23:22	4.8K
	named_patch_motivation.tex	2019-08-11 23:22	2.4K
	overview.tex	2019-08-11 23:22	2.5K
	patch_merge.tex	2019-08-11 23:22	11K
	preamble.tex	2019-08-11 23:22	2.5K
	preamble_mfpic.tex	2019-08-11 23:22	2.3K
	sensible_unnamed_patch_sequences.tex	2019-08-11 23:22	1.6K
	src/	2019-08-11 23:28	-
	tex/	2019-08-11 23:22	-
	theory.tex	2019-08-11 23:22	1.4K