/usr/share/hol88-2.02.19940316/Library/finite_sets/

This file is indexed.

/usr/share/hol88-2.02.19940316/Library/finite_sets/ is in hol88-library-source 2.02.19940316-31.

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

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/hol88-2.02.19940316/Library/finite_sets/OLD/`		root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/finite_sets/OLD/card.ml`	text/plain	root:root	0o644	11.4 KB
`/usr/share/hol88-2.02.19940316/Library/finite_sets/OLD/finite_sets.ml`	text/plain	root:root	0o644	2.1 KB
`/usr/share/hol88-2.02.19940316/Library/finite_sets/OLD/load_finite_sets.ml`	text/plain	root:root	0o644	1.2 KB
`/usr/share/hol88-2.02.19940316/Library/finite_sets/OLD/mk_finite_sets.ml`	text/plain	root:root	0o644	44.1 KB
`/usr/share/hol88-2.02.19940316/Library/finite_sets/OLD/set_ind.ml`	text/plain	root:root	0o644	1.6 KB
`/usr/share/hol88-2.02.19940316/Library/finite_sets/finite_sets.ml`	text/plain	root:root	0o644	2.9 KB
`/usr/share/hol88-2.02.19940316/Library/finite_sets/fset_conv.ml`	text/plain	root:root	0o644	9.4 KB
`/usr/share/hol88-2.02.19940316/Library/finite_sets/load_finite_sets.ml`	text/plain	root:root	0o644	1.3 KB
`/usr/share/hol88-2.02.19940316/Library/finite_sets/mk_finite_sets.ml`	text/plain	root:root	0o644	64.4 KB
`/usr/share/hol88-2.02.19940316/Library/finite_sets/set_ind.ml`	text/plain	root:root	0o644	2.1 KB