Index of /~moore/acl2/older-releases/v4-0/distrib/acl2-sources/books/serialize

	Name	Last modified	Size	Description
	Parent Directory		-
	unsound-read.lisp.gz	2010-06-28 14:23	953
	unsound-read.acl2.gz	2010-05-19 19:04	667
	unsound-read-raw.lsp.gz	2010-05-19 19:04	691
	serialize.lisp.gz	2010-06-28 14:23	4.7K
	serialize.acl2.gz	2010-05-19 19:04	660
	serialize-tests.lisp.gz	2010-06-30 11:35	2.2K
	serialize-tests.acl2.gz	2010-05-19 19:04	670
	serialize-raw.lsp.gz	2010-06-28 14:23	9.6K
	package.lsp.gz	2010-05-19 19:04	726
	gpl.txt.gz	2010-05-19 19:04	6.7K
	acl2-customization.lsp.gz	2010-05-19 19:04	642
	Makefile.gz	2009-08-07 03:23	352
	LICENSE.gz	2010-05-19 19:04	594