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

This file is indexed.

/usr/share/hol88-2.02.19940316/help/THEOREMS/pairs/ 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/pairs/COMMA_DEF.doc`	text/plain	root:root	0o644	82 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/pairs/CURRY_DEF.doc`	text/plain	root:root	0o644	68 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/pairs/FST.doc`	text/plain	root:root	0o644	52 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/pairs/FST_DEF.doc`	text/plain	root:root	0o644	84 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/pairs/IS_PAIR_DEF.doc`	text/plain	root:root	0o644	81 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/pairs/PAIR.doc`	text/plain	root:root	0o644	54 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/pairs/PAIR_EQ.doc`	text/plain	root:root	0o644	80 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/pairs/PAIR_EXISTS.doc`	text/plain	root:root	0o644	55 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/pairs/REP_prod.doc`	text/plain	root:root	0o644	154 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/pairs/SND.doc`	text/plain	root:root	0o644	52 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/pairs/SND_DEF.doc`	text/plain	root:root	0o644	84 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/pairs/UNCURRY_DEF.doc`	text/plain	root:root	0o644	72 bytes
`/usr/share/hol88-2.02.19940316/help/THEOREMS/pairs/prod_TY_DEF.doc`	text/plain	root:root	0o644	75 bytes