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

This file is indexed.

/usr/share/hol88-2.02.19940316/help/THEOREMS/sum/ 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/sum/INL.doc`	text/plain	root:root	0o644	64 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/sum/INL_DEF.doc`	text/plain	root:root	0o644	78 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/sum/INR.doc`	text/plain	root:root	0o644	64 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/sum/INR_DEF.doc`	text/plain	root:root	0o644	79 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/sum/ISL.doc`	text/plain	root:root	0o644	70 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/sum/ISL_OR_ISR.doc`	text/plain	root:root	0o644	58 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/sum/ISR.doc`	text/plain	root:root	0o644	70 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/sum/IS_SUM_REP.doc`	text/plain	root:root	0o644	146 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/sum/OUTL.doc`	text/plain	root:root	0o644	53 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/sum/OUTR.doc`	text/plain	root:root	0o644	53 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/sum/sum_Axiom.doc`	text/plain	root:root	0o644	95 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/sum/sum_ISO_DEF.doc`	text/plain	root:root	0o644	121 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/sum/sum_TY_DEF.doc`	text/plain	root:root	0o644	76 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/sum/sum_axiom.doc`	text/plain	root:root	0o644	81 bytes