/usr/share/hol88-2.02.19940316/Library/

This file is indexed.

/usr/share/hol88-2.02.19940316/Library/ is in hol88-library-help 2.02.19940316-35.

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

There are a lot of files here (2848 total). We're only showing the immediate contents of /usr/share/hol88-2.02.19940316/Library.

File	Owner	Mode
`..`
`/usr/share/hol88-2.02.19940316/Library/abs_theory/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/arith/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/finite_sets/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/latex-hol/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/more_arithmetic/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/numeral/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/pair/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/parser/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/pred_sets/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/prettyp/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/reals/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/record_proof/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/reduce/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/res_quan/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/sets/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/string/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/taut/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/trs/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/unwind/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/wellorder/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/window/`	root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/word/`	root:root	0o755

hol88-library-help 2.02.19940316-35 / usr / share / hol88-2.02.19940316 / Library