/usr/share/hol88-2.02.19940316/Library/window/

This file is indexed.

/usr/share/hol88-2.02.19940316/Library/window/ 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/window/basic_close.ml`	text/plain	root:root	0o644	10.5 KB
`/usr/share/hol88-2.02.19940316/Library/window/eq_close.ml`	text/plain	root:root	0o644	9.4 KB
`/usr/share/hol88-2.02.19940316/Library/window/help/`		root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/window/help/general/`		root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/window/help/general/signal.ml`	text/plain	root:root	0o644	374 bytes
`/usr/share/hol88-2.02.19940316/Library/window/hol_ext.ml`	text/plain	root:root	0o644	12.6 KB
`/usr/share/hol88-2.02.19940316/Library/window/imp_close.ml`	text/plain	root:root	0o644	20.5 KB
`/usr/share/hol88-2.02.19940316/Library/window/inter.ml`	text/plain	root:root	0o644	19.0 KB
`/usr/share/hol88-2.02.19940316/Library/window/load_code.ml`	text/plain	root:root	0o644	3.4 KB
`/usr/share/hol88-2.02.19940316/Library/window/load_window.ml`	text/plain	root:root	0o644	3.3 KB
`/usr/share/hol88-2.02.19940316/Library/window/mk_win_th.ml`	text/plain	root:root	0o644	2.8 KB
`/usr/share/hol88-2.02.19940316/Library/window/ml_ext.ml`	text/plain	root:root	0o644	9.6 KB
`/usr/share/hol88-2.02.19940316/Library/window/tables.ml`	text/plain	root:root	0o644	21.4 KB
`/usr/share/hol88-2.02.19940316/Library/window/tactic.ml`	text/plain	root:root	0o644	4.9 KB
`/usr/share/hol88-2.02.19940316/Library/window/thms.ml`	text/plain	root:root	0o644	3.9 KB
`/usr/share/hol88-2.02.19940316/Library/window/win.ml`	text/plain	root:root	0o644	24.9 KB
`/usr/share/hol88-2.02.19940316/Library/window/window.ml`	text/plain	root:root	0o644	4.6 KB
`/usr/share/hol88-2.02.19940316/Library/window/xlabel.ml`	text/plain	root:root	0o644	3.4 KB