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