Index of /~moore/acl2/older-releases/v4-3/distrib/acl2-sources/books/centaur/ubdds/slides

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2011-04-16 09:25	244
	abstract.tex.gz	2011-04-16 09:25	1.1K
	flag.tex.gz	2011-04-16 09:25	487
	generalize.tex.gz	2011-04-16 09:25	589
	intro.tex.gz	2011-04-16 09:25	1.2K
	laziness.tex.gz	2011-04-16 09:25	764
	lazy.hs.gz	2011-04-16 09:25	190
	logo.jpg.gz	2011-04-16 09:25	3.3K
	pick-a-point.tex.gz	2011-04-16 09:25	2.4K
	reps.png.gz	2011-04-16 09:25	107K
	rulesets.tex.gz	2011-04-16 09:25	479
	setup.tex.gz	2011-04-16 09:25	576
	subset.tex.gz	2011-04-16 09:25	927
	subsets.png.gz	2011-04-16 09:25	342K
	ubdds.pdf.gz	2011-04-16 09:25	369K
	ubdds.tex.gz	2011-04-16 09:25	519
	venn-diagrams.png.gz	2011-04-16 09:25	342K
	witness.tex.gz	2011-04-16 09:25	1.6K