/usr/share/acl2-8.0dfsg/books/projects/hybrid-systems/

This file is indexed.

/usr/share/acl2-8.0dfsg/books/projects/hybrid-systems/ 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/projects/hybrid-systems/abs.lisp`	text/plain	root:root	0o644	2.5 KB
`/usr/share/acl2-8.0dfsg/books/projects/hybrid-systems/arith-nsa4.lisp`	text/x-lisp	root:root	0o644	10.3 KB
`/usr/share/acl2-8.0dfsg/books/projects/hybrid-systems/cert.acl2`	text/plain	root:root	0o644	65 bytes
`/usr/share/acl2-8.0dfsg/books/projects/hybrid-systems/computed-hints.lisp`	text/x-lisp	root:root	0o644	6.0 KB
`/usr/share/acl2-8.0dfsg/books/projects/hybrid-systems/eexp.lisp`	text/plain	root:root	0o644	1.7 KB
`/usr/share/acl2-8.0dfsg/books/projects/hybrid-systems/example.lisp`	text/x-lisp	root:root	0o644	12.3 KB
`/usr/share/acl2-8.0dfsg/books/projects/hybrid-systems/nsa.lisp`	text/plain	root:root	0o644	6.2 KB
`/usr/share/acl2-8.0dfsg/books/projects/hybrid-systems/o-real-p.lisp`	text/x-lisp	root:root	0o644	3.3 KB
`/usr/share/acl2-8.0dfsg/books/projects/hybrid-systems/phi-exists.lisp`	text/x-lisp	root:root	0o644	14.0 KB
`/usr/share/acl2-8.0dfsg/books/projects/hybrid-systems/phi-properties.lisp`	text/x-lisp	root:root	0o644	40.6 KB
`/usr/share/acl2-8.0dfsg/books/projects/hybrid-systems/phi-unique.lisp`	text/x-lisp	root:root	0o644	16.3 KB
`/usr/share/acl2-8.0dfsg/books/projects/hybrid-systems/tm-floor.lisp`	text/x-lisp	root:root	0o644	9.0 KB