Index of /users/moore/acl2/v3-0/distrib/acl2-sources/books/ordinals

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile	05-Mar-2005 17:21	1.8K
	certify.lsp	01-Feb-2004 11:35	667
	copyright	01-Feb-2004 11:38	1.0K
	e0-ordinal.lisp	06-Sep-2004 17:15	11K
	lexicographic-ordering.lisp	13-Mar-2005 10:07	5.4K
	limits.lisp	26-Mar-2006 19:54	1.7K
	ordinal-addition.lisp	26-Mar-2006 19:54	12K
	ordinal-basic-thms.lisp	19-Dec-2005 20:32	10K
	ordinal-counter-examples.lisp	19-Jan-2004 21:14	3.6K
	ordinal-definitions.lisp	19-Dec-2005 20:34	8.8K
	ordinal-exponentiation.lisp	26-Mar-2006 19:54	30K
	ordinal-isomorphism.lisp	22-Jan-2004 14:58	18K
	ordinal-multiplication.lisp	26-Mar-2006 19:54	15K
	ordinal-total-order.lisp	26-Mar-2006 19:55	5.7K
	ordinals-without-arithmetic.lisp	20-Nov-2003 18:06	80
	ordinals.lisp	20-Nov-2003 18:22	111
	proof-of-well-foundedness.acl2	20-Jan-2004 11:17	131
	proof-of-well-foundedness.lisp	26-Mar-2006 19:55	4.4K
	top-with-meta.lisp	20-Nov-2003 18:06	144