/usr/share/hol88-2.02.19940316/help/THEOREMS/combin/

This file is indexed.

/usr/share/hol88-2.02.19940316/help/THEOREMS/combin/ is in hol88-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/help/THEOREMS/combin/I_DEF.doc`	text/plain	root:root	0o644	47 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/combin/I_THM.doc`	text/plain	root:root	0o644	49 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/combin/I_o_ID.doc`	text/plain	root:root	0o644	69 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/combin/K_DEF.doc`	text/plain	root:root	0o644	51 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/combin/K_THM.doc`	text/plain	root:root	0o644	53 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/combin/S_DEF.doc`	text/plain	root:root	0o644	60 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/combin/S_THM.doc`	text/plain	root:root	0o644	64 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/combin/o_ASSOC.doc`	text/plain	root:root	0o644	73 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/combin/o_DEF.doc`	text/plain	root:root	0o644	64 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/combin/o_THM.doc`	text/plain	root:root	0o644	63 bytes