/usr/share/hol88-2.02.19940316/Library/arith/

This file is indexed.

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

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

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/hol88-2.02.19940316/Library/arith/help/`		root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/arith/help/entries/`		root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/arith/help/entries/ARITH_CONV.doc`	text/plain	root:root	0o644	3.9 KB
`/usr/share/hol88-2.02.19940316/Library/arith/help/entries/ARITH_FORM_NORM_CONV.doc`	text/plain	root:root	0o644	1.7 KB
`/usr/share/hol88-2.02.19940316/Library/arith/help/entries/COND_ELIM_CONV.doc`	text/plain	root:root	0o644	1.1 KB
`/usr/share/hol88-2.02.19940316/Library/arith/help/entries/DISJ_INEQS_FALSE_CONV.doc`	text/plain	root:root	0o644	1.3 KB
`/usr/share/hol88-2.02.19940316/Library/arith/help/entries/EXISTS_ARITH_CONV.doc`	text/plain	root:root	0o644	1.5 KB
`/usr/share/hol88-2.02.19940316/Library/arith/help/entries/FORALL_ARITH_CONV.doc`	text/plain	root:root	0o644	1.8 KB
`/usr/share/hol88-2.02.19940316/Library/arith/help/entries/INSTANCE_T_CONV.doc`	text/plain	root:root	0o644	1.4 KB
`/usr/share/hol88-2.02.19940316/Library/arith/help/entries/NEGATE_CONV.doc`	text/plain	root:root	0o644	728 bytes
`/usr/share/hol88-2.02.19940316/Library/arith/help/entries/PRENEX_CONV.doc`	text/plain	root:root	0o644	1.1 KB
`/usr/share/hol88-2.02.19940316/Library/arith/help/entries/SUB_AND_COND_ELIM_CONV.doc`	text/plain	root:root	0o644	2.1 KB
`/usr/share/hol88-2.02.19940316/Library/arith/help/entries/is_prenex.doc`	text/plain	root:root	0o644	704 bytes
`/usr/share/hol88-2.02.19940316/Library/arith/help/entries/is_presburger.doc`	text/plain	root:root	0o644	1.4 KB
`/usr/share/hol88-2.02.19940316/Library/arith/help/entries/non_presburger_subterms.doc`	text/plain	root:root	0o644	1.4 KB