Index of /~moore/acl2/older-releases/v4-3/distrib/acl2-sources/books/centaur/vl/talks/translator

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2011-04-20 15:37	250
	adder_subtractor.png.gz	2011-04-20 15:37	6.5K
	logo.jpg.gz	2011-04-20 15:37	3.3K
	translator.pdf.gz	2011-04-20 15:37	354K
	translator.tex.gz	2011-04-20 15:37	9.0K
	vl.png.gz	2011-04-20 15:37	360K
	vl.svg.gz	2011-04-20 15:37	8.6K