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

This file is indexed.

/usr/share/hol88-2.02.19940316/help/THEOREMS/functions/ 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/functions/ABS_SIMP.doc`	text/plain	root:root	0o644	64 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/functions/ASSOC_CONJ.doc`	text/plain	root:root	0o644	49 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/functions/ASSOC_DEF.doc`	text/plain	root:root	0o644	85 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/functions/ASSOC_DISJ.doc`	text/plain	root:root	0o644	49 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/functions/COMM_DEF.doc`	text/plain	root:root	0o644	72 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/functions/EQ_EXT.doc`	text/plain	root:root	0o644	71 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/functions/FCOMM_ASSOC.doc`	text/plain	root:root	0o644	64 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/functions/FCOMM_DEF.doc`	text/plain	root:root	0o644	89 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/functions/FUN_EQ_LEMMA.doc`	text/plain	root:root	0o644	88 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/functions/LEFT_ID_DEF.doc`	text/plain	root:root	0o644	76 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/functions/MONOID_CONJ_T.doc`	text/plain	root:root	0o644	55 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/functions/MONOID_DEF.doc`	text/plain	root:root	0o644	97 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/functions/MONOID_DISJ_F.doc`	text/plain	root:root	0o644	55 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/functions/ONE_ONE_DEF.doc`	text/plain	root:root	0o644	95 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/functions/ONTO_DEF.doc`	text/plain	root:root	0o644	69 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/functions/RIGHT_ID_DEF.doc`	text/plain	root:root	0o644	78 bytes