/usr/share/acl2-6.3/books/demos/

This file is indexed.

/usr/share/acl2-6.3/books/demos/ is in acl2-books-source 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/demos/constants-that-require-modifying-state.lisp`	text/x-lisp	root:root	0o644	1.1 KB
`/usr/share/acl2-6.3/books/demos/list-theory.lisp`	text/plain	root:root	0o644	2.1 KB
`/usr/share/acl2-6.3/books/demos/modeling/`		root:root	0o755
`/usr/share/acl2-6.3/books/demos/modeling/cert.acl2`	text/plain	root:root	0o644	38 bytes
`/usr/share/acl2-6.3/books/demos/modeling/memories.lisp`	text/x-lisp	root:root	0o644	2.7 KB
`/usr/share/acl2-6.3/books/demos/modeling/nested-stobj-toy-isa.acl2`	text/plain	root:root	0o644	261 bytes
`/usr/share/acl2-6.3/books/demos/modeling/nested-stobj-toy-isa.lisp`	text/x-lisp	root:root	0o644	19.4 KB
`/usr/share/acl2-6.3/books/demos/modeling/network-state-basic.lisp`	text/x-lisp	root:root	0o644	11.7 KB
`/usr/share/acl2-6.3/books/demos/modeling/network-state.lisp`	text/plain	root:root	0o644	18.3 KB
`/usr/share/acl2-6.3/books/demos/modeling/nondeterminism.lisp`	text/x-lisp	root:root	0o644	1.2 KB
`/usr/share/acl2-6.3/books/demos/split-types-examples.lisp`	text/x-lisp	root:root	0o644	9.4 KB