Index of /~moore/acl2/older-releases/v3-0/distrib/acl2-sources/books/ordinals

	Name	Last modified	Size	Description
	Parent Directory		-
	ordinals.lisp.gz	2003-11-20 18:22	122
	ordinals-without-arithmetic.lisp.gz	2003-11-20 18:06	129
	top-with-meta.lisp.gz	2003-11-20 18:06	157
	proof-of-well-foundedness.acl2.gz	2004-01-20 11:17	167
	certify.lsp.gz	2004-02-01 11:35	281
	Makefile.gz	2005-03-05 17:21	437
	copyright.gz	2004-02-01 11:38	626
	limits.lisp.gz	2006-03-26 19:54	670
	ordinal-counter-examples.lisp.gz	2004-01-19 21:14	702
	ordinal-total-order.lisp.gz	2006-03-26 19:55	1.3K
	proof-of-well-foundedness.lisp.gz	2006-03-26 19:55	1.5K
	lexicographic-ordering.lisp.gz	2005-03-13 10:07	1.6K
	ordinal-basic-thms.lisp.gz	2005-12-19 20:32	1.9K
	ordinal-definitions.lisp.gz	2005-12-19 20:34	2.2K
	ordinal-addition.lisp.gz	2006-03-26 19:54	2.4K
	ordinal-multiplication.lisp.gz	2006-03-26 19:54	2.9K
	e0-ordinal.lisp.gz	2004-09-06 17:15	4.0K
	ordinal-isomorphism.lisp.gz	2004-01-22 14:58	4.1K
	ordinal-exponentiation.lisp.gz	2006-03-26 19:54	5.3K