/usr/share/hol88-2.02.19940316/Library/word/

This file is indexed.

/usr/share/hol88-2.02.19940316/Library/word/ is in hol88-library-source 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/word/arith_thms.ml`	text/plain	root:root	0o644	7.4 KB
`/usr/share/hol88-2.02.19940316/Library/word/genfuns.ml`	text/plain	root:root	0o644	485 bytes
`/usr/share/hol88-2.02.19940316/Library/word/load_parent.ml`	text/plain	root:root	0o644	355 bytes
`/usr/share/hol88-2.02.19940316/Library/word/mk_bword_arith.ml`	text/plain	root:root	0o644	26.2 KB
`/usr/share/hol88-2.02.19940316/Library/word/mk_bword_bitop.ml`	text/plain	root:root	0o644	9.0 KB
`/usr/share/hol88-2.02.19940316/Library/word/mk_bword_num.ml`	text/plain	root:root	0o644	26.3 KB
`/usr/share/hol88-2.02.19940316/Library/word/mk_word.ml`	text/plain	root:root	0o644	550 bytes
`/usr/share/hol88-2.02.19940316/Library/word/mk_word_arith.ml`	text/plain	root:root	0o644	5.9 KB
`/usr/share/hol88-2.02.19940316/Library/word/mk_word_base.ml`	text/plain	root:root	0o644	28.8 KB
`/usr/share/hol88-2.02.19940316/Library/word/mk_word_bitop.ml`	text/plain	root:root	0o644	21.2 KB
`/usr/share/hol88-2.02.19940316/Library/word/mk_word_num.ml`	text/plain	root:root	0o644	7.6 KB
`/usr/share/hol88-2.02.19940316/Library/word/ver_202.ml`	text/plain	root:root	0o644	430 bytes
`/usr/share/hol88-2.02.19940316/Library/word/word.ml`	text/plain	root:root	0o644	728 bytes
`/usr/share/hol88-2.02.19940316/Library/word/word_convs.ml`	text/plain	root:root	0o644	11.1 KB
`/usr/share/hol88-2.02.19940316/Library/word/word_funs.ml`	text/plain	root:root	0o644	420 bytes