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

	Name	Last modified	Size	Description
	Parent Directory		-
	gl-generic-clause-proc.lisp.gz	2011-04-20 15:37	20K
	def-gl-clause-proc.lisp.gz	2011-07-01 20:18	12K
	run-gified-cp.lisp.gz	2011-04-20 15:37	11K
	shape-spec.lisp.gz	2011-04-20 15:37	9.4K
	gify.lisp.gz	2011-04-20 15:37	8.4K
	gify-clause-proc.lisp.gz	2011-04-20 15:37	5.9K
	always-equal-prep.lisp.gz	2011-04-20 15:37	5.8K
	rws.lisp.gz	2011-04-20 15:37	5.6K
	gl-misc-doc.lisp.gz	2011-04-20 15:37	5.4K
	ite-merge.lisp.gz	2011-04-20 15:37	5.2K
	symbolic-arithmetic.lisp.gz	2011-04-20 15:37	4.9K
	bfr.lisp.gz	2011-04-20 15:37	4.2K
	general-object-thms.lisp.gz	2011-04-20 15:37	3.7K
	gl.lisp.gz	2011-07-01 20:18	3.7K
	glcp-templates.lisp.gz	2011-04-20 15:37	3.5K
	gtests.lisp.gz	2011-04-20 15:37	2.8K
	gobjectp.lisp.gz	2011-04-20 15:37	2.7K
	symbolic-arithmetic-fns.lisp.gz	2011-04-20 15:37	2.7K
	factor-fns.lisp.gz	2011-04-20 15:37	2.7K
	g-coerce.lisp.gz	2011-04-20 15:37	2.7K
	g-code-char.lisp.gz	2011-04-20 15:37	2.6K
	g-equal.lisp.gz	2011-04-20 15:37	2.6K
	generic-geval.lisp.gz	2011-04-20 15:37	2.6K
	gtype-thms.lisp.gz	2011-04-20 15:37	2.4K
	bfr-sat.lisp.gz	2011-04-20 15:37	2.4K
	g-predicates.lisp.gz	2011-04-20 15:37	2.3K
	eval-f-i-cp.lisp.gz	2011-04-20 15:37	2.0K
	gl-util.lisp.gz	2011-04-20 15:37	2.0K
	param.lisp.gz	2011-04-20 15:37	1.9K
	gl-misc-defs.lisp.gz	2011-06-21 23:09	1.8K
	defapply.lisp.gz	2011-04-20 15:37	1.8K
	bvecs.lisp.gz	2011-04-20 15:37	1.6K
	package.lsp.gz	2011-04-20 15:37	1.6K
	g-binary-mult.lisp.gz	2011-04-20 15:37	1.4K
	g-primitives-help.lisp.gz	2011-04-20 15:37	1.4K
	bvec-ite.lisp.gz	2011-04-20 15:37	1.3K
	g-ash.lisp.gz	2011-04-20 15:37	1.3K
	g-unary-concrete.lisp.gz	2011-04-20 15:37	1.3K
	g-rem.lisp.gz	2011-04-20 15:37	1.2K
	g-mod.lisp.gz	2011-04-20 15:37	1.2K
	gify-thms.lisp.gz	2011-04-20 15:37	1.2K
	g-logbitp.lisp.gz	2011-04-20 15:37	1.2K
	bfr-aig-bddify.lisp.gz	2011-04-20 15:37	1.2K
	gtypes.lisp.gz	2011-04-20 15:37	1.2K
	g-truncate.lisp.gz	2011-04-20 15:37	1.2K
	g-floor.lisp.gz	2011-04-20 15:37	1.2K
	gobjectp-thms.lisp.gz	2011-04-20 15:37	1.2K
	g-binary-+.lisp.gz	2011-04-20 15:37	1.2K
	defagg.lisp.gz	2011-04-20 15:37	1.1K
	general-objects.lisp.gz	2011-04-20 15:37	1.1K
	g-logior.lisp.gz	2011-04-20 15:37	1.1K
	g-logand.lisp.gz	2011-04-20 15:37	1.1K
	g-lessthan.lisp.gz	2011-04-20 15:37	1.0K
	gobject-type-thms.lisp.gz	2011-04-20 15:37	1.0K
	g-unary--.lisp.gz	2011-04-20 15:37	958
	g-integer-length.lisp.gz	2011-04-20 15:37	940
	hyp-fix-logic.lisp.gz	2011-04-20 15:37	923
	g-lognot.lisp.gz	2011-04-20 15:37	847
	g-if.lisp.gz	2011-04-20 15:37	827
	g-intern.lisp.gz	2011-04-20 15:37	785
	gobject-types.lisp.gz	2011-04-20 15:37	638
	eval-g-base-help.lisp.gz	2011-04-20 15:37	607
	eval-g-base.lisp.gz	2011-04-20 15:37	575
	g-always-equal.lisp.gz	2011-04-20 15:37	518
	g-cons.lisp.gz	2011-04-20 15:37	513
	gl-doc-string.lisp.gz	2011-04-20 15:37	496
	g-hide.lisp.gz	2011-04-20 15:37	403
	hyp-fix.lisp.gz	2011-04-20 15:37	345
	portcullis.acl2.gz	2011-04-20 15:37	148
	cert.acl2.gz	2011-04-20 15:37	59
	portcullis.lisp.gz	2011-04-20 15:37	56