/usr/share/acl2-7.2dfsg/books/ordinals/

This file is indexed.

/usr/share/acl2-7.2dfsg/books/ordinals/ is in acl2-books-source 7.2dfsg-3.

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

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/acl2-7.2dfsg/books/ordinals/e0-ordinal.lisp`	text/x-lisp	root:root	0o644	12.5 KB
`/usr/share/acl2-7.2dfsg/books/ordinals/lexicographic-book.lisp`	text/x-lisp	root:root	0o644	6.0 KB
`/usr/share/acl2-7.2dfsg/books/ordinals/lexicographic-ordering-without-arithmetic.lisp`	text/plain	root:root	0o644	211 bytes
`/usr/share/acl2-7.2dfsg/books/ordinals/lexicographic-ordering.lisp`	text/plain	root:root	0o644	242 bytes
`/usr/share/acl2-7.2dfsg/books/ordinals/limits.lisp`	text/plain	root:root	0o644	1.7 KB
`/usr/share/acl2-7.2dfsg/books/ordinals/ordinal-addition.lisp`	text/x-lisp	root:root	0o644	12.8 KB
`/usr/share/acl2-7.2dfsg/books/ordinals/ordinal-basic-thms.lisp`	text/plain	root:root	0o644	10.0 KB
`/usr/share/acl2-7.2dfsg/books/ordinals/ordinal-counter-examples.lisp`	text/plain	root:root	0o644	3.6 KB
`/usr/share/acl2-7.2dfsg/books/ordinals/ordinal-definitions.lisp`	text/x-lisp	root:root	0o644	8.8 KB
`/usr/share/acl2-7.2dfsg/books/ordinals/ordinal-exponentiation.lisp`	text/plain	root:root	0o644	30.2 KB
`/usr/share/acl2-7.2dfsg/books/ordinals/ordinal-isomorphism.lisp`	text/x-lisp	root:root	0o644	18.0 KB
`/usr/share/acl2-7.2dfsg/books/ordinals/ordinal-multiplication.lisp`	text/x-lisp	root:root	0o644	15.1 KB
`/usr/share/acl2-7.2dfsg/books/ordinals/ordinal-total-order.lisp`	text/plain	root:root	0o644	5.7 KB
`/usr/share/acl2-7.2dfsg/books/ordinals/ordinals-without-arithmetic.lisp`	text/plain	root:root	0o644	80 bytes
`/usr/share/acl2-7.2dfsg/books/ordinals/ordinals.lisp`	text/plain	root:root	0o644	111 bytes
`/usr/share/acl2-7.2dfsg/books/ordinals/proof-of-well-foundedness.acl2`	text/plain	root:root	0o644	134 bytes
`/usr/share/acl2-7.2dfsg/books/ordinals/proof-of-well-foundedness.lisp`	text/x-lisp	root:root	0o644	4.4 KB
`/usr/share/acl2-7.2dfsg/books/ordinals/top-with-meta.lisp`	text/plain	root:root	0o644	154 bytes