/usr/share/hol88-2.02.19940316/Library/pred_sets/

This file is indexed.

/usr/share/hol88-2.02.19940316/Library/pred_sets/ is in hol88-library-source 2.02.19940316-15.

This file is owned by root:root, with mode 0o755.

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/hol88-2.02.19940316/Library/pred_sets/OLD/`		root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/pred_sets/OLD/load_pred_sets.ml`	text/plain	root:root	0o644	1.1 KB
`/usr/share/hol88-2.02.19940316/Library/pred_sets/OLD/mk_pred_set_defs.ml`	text/plain	root:root	0o644	3.8 KB
`/usr/share/hol88-2.02.19940316/Library/pred_sets/OLD/mk_pred_sets.ml`	text/plain	root:root	0o644	11.3 KB
`/usr/share/hol88-2.02.19940316/Library/pred_sets/OLD/pred_sets.ml`	text/plain	root:root	0o644	2.5 KB
`/usr/share/hol88-2.02.19940316/Library/pred_sets/fset_conv.ml`	text/plain	root:root	0o644	10.8 KB
`/usr/share/hol88-2.02.19940316/Library/pred_sets/gspec.ml`	text/plain	root:root	0o644	7.9 KB
`/usr/share/hol88-2.02.19940316/Library/pred_sets/load_pred_sets.ml`	text/plain	root:root	0o644	1.4 KB
`/usr/share/hol88-2.02.19940316/Library/pred_sets/mk_pred_sets.ml`	text/plain	root:root	0o644	86.9 KB
`/usr/share/hol88-2.02.19940316/Library/pred_sets/pred_sets.ml`	text/plain	root:root	0o644	3.0 KB
`/usr/share/hol88-2.02.19940316/Library/pred_sets/set_ind.ml`	text/plain	root:root	0o644	2.5 KB