This file is indexed.

/usr/lib/hol88-2.02.19940316/Library/trs/ is in hol88-library 2.02.19940316-33.

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

File Mime Type Owner Mode Size
..
/usr/lib/hol88-2.02.19940316/Library/trs/extents_ml.o application/x-object root:root 0o644 21.0 KB
/usr/lib/hol88-2.02.19940316/Library/trs/extract_ml.o application/x-object root:root 0o644 81.7 KB
/usr/lib/hol88-2.02.19940316/Library/trs/matching_ml.o application/x-object root:root 0o644 223.4 KB
/usr/lib/hol88-2.02.19940316/Library/trs/name_ml.o application/x-object root:root 0o644 88.3 KB
/usr/lib/hol88-2.02.19940316/Library/trs/search_ml.o application/x-object root:root 0o644 99.7 KB
/usr/lib/hol88-2.02.19940316/Library/trs/sets_ml.o application/x-object root:root 0o644 37.3 KB
/usr/lib/hol88-2.02.19940316/Library/trs/sidecond_ml.o application/x-object root:root 0o644 147.2 KB
/usr/lib/hol88-2.02.19940316/Library/trs/struct_ml.o application/x-object root:root 0o644 235.3 KB
/usr/lib/hol88-2.02.19940316/Library/trs/thmkind_ml.o application/x-object root:root 0o644 22.6 KB
/usr/lib/hol88-2.02.19940316/Library/trs/user_ml.o application/x-object root:root 0o644 89.2 KB