/usr/share/acl2-8.0dfsg/books/hints/

This file is indexed.

/usr/share/acl2-8.0dfsg/books/hints/ is in acl2-books-source 8.0dfsg-1.

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

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/acl2-8.0dfsg/books/hints/basic-tests.acl2`	text/plain	root:root	0o644	476 bytes
`/usr/share/acl2-8.0dfsg/books/hints/basic-tests.lisp`	text/x-lisp	root:root	0o644	43.9 KB
`/usr/share/acl2-8.0dfsg/books/hints/consider-hint-tests.acl2`	text/plain	root:root	0o644	204 bytes
`/usr/share/acl2-8.0dfsg/books/hints/consider-hint-tests.lisp`	text/x-lisp	root:root	0o644	12.2 KB
`/usr/share/acl2-8.0dfsg/books/hints/consider-hint.lisp`	text/plain	root:root	0o644	30.1 KB
`/usr/share/acl2-8.0dfsg/books/hints/hint-wrapper.lisp`	text/x-lisp	root:root	0o644	6.6 KB
`/usr/share/acl2-8.0dfsg/books/hints/huet-lang-algorithm-tests.lisp`	text/x-lisp	root:root	0o644	5.9 KB
`/usr/share/acl2-8.0dfsg/books/hints/huet-lang-algorithm.lisp`	text/plain	root:root	0o644	105.7 KB
`/usr/share/acl2-8.0dfsg/books/hints/merge-hint.lisp`	text/x-lisp	root:root	0o644	20.7 KB
`/usr/share/acl2-8.0dfsg/books/hints/subgoalp.lisp`	text/x-lisp	root:root	0o644	6.8 KB
`/usr/share/acl2-8.0dfsg/books/hints/use-pkg.lisp`	text/x-lisp	root:root	0o644	7.3 KB