/usr/share/acl2-6.3/books/ordinals/

This file is indexed.

/usr/share/acl2-6.3/books/ordinals/ is in acl2-books-certs 6.3-5.

This file is owned by root:root, with mode 0o755.

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/acl2-6.3/books/ordinals/e0-ordinal.cert`	text/plain	root:root	0o644	6.4 KB
`/usr/share/acl2-6.3/books/ordinals/lexicographic-book.cert`	text/plain	root:root	0o644	4.8 KB
`/usr/share/acl2-6.3/books/ordinals/lexicographic-ordering-without-arithmetic.cert`	text/plain	root:root	0o644	5.1 KB
`/usr/share/acl2-6.3/books/ordinals/lexicographic-ordering.cert`	text/plain	root:root	0o644	4.8 KB
`/usr/share/acl2-6.3/books/ordinals/limits.cert`	text/plain	root:root	0o644	4.5 KB
`/usr/share/acl2-6.3/books/ordinals/ordinal-addition.cert`	text/plain	root:root	0o644	4.0 KB
`/usr/share/acl2-6.3/books/ordinals/ordinal-basic-thms.cert`	text/plain	root:root	0o644	5.4 KB
`/usr/share/acl2-6.3/books/ordinals/ordinal-counter-examples.cert`	text/plain	root:root	0o644	437 bytes
`/usr/share/acl2-6.3/books/ordinals/ordinal-definitions.cert`	text/plain	root:root	0o644	260 bytes
`/usr/share/acl2-6.3/books/ordinals/ordinal-exponentiation.cert`	text/plain	root:root	0o644	4.4 KB
`/usr/share/acl2-6.3/books/ordinals/ordinal-isomorphism.cert`	text/plain	root:root	0o644	4.2 KB
`/usr/share/acl2-6.3/books/ordinals/ordinal-multiplication.cert`	text/plain	root:root	0o644	4.2 KB
`/usr/share/acl2-6.3/books/ordinals/ordinal-total-order.cert`	text/plain	root:root	0o644	423 bytes
`/usr/share/acl2-6.3/books/ordinals/ordinals-without-arithmetic.cert`	text/plain	root:root	0o644	4.7 KB
`/usr/share/acl2-6.3/books/ordinals/ordinals.cert`	text/plain	root:root	0o644	4.5 KB
`/usr/share/acl2-6.3/books/ordinals/proof-of-well-foundedness.cert`	text/plain	root:root	0o644	349 bytes
`/usr/share/acl2-6.3/books/ordinals/top-with-meta.cert`	text/plain	root:root	0o644	3.3 KB