hol88-library-help 2.02.19940316-35 / usr / share / hol88-2.02.19940316 / Library / string

This file is indexed.

/usr/share/hol88-2.02.19940316/Library/string/ is in hol88-library-help 2.02.19940316-35.

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

File Mime Type Owner Mode Size
..
/usr/share/hol88-2.02.19940316/Library/string/help/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/string/help/defs/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/string/help/defs/ASCII_DEF.doc text/plain root:root 0o644 149 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/defs/STRING_DEF.doc text/plain root:root 0o644 99 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/defs/``_DEF.doc text/plain root:root 0o644 72 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/defs/ascii_ISO_DEF.doc text/plain root:root 0o644 244 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/defs/ascii_TY_DEF.doc text/plain root:root 0o644 190 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/defs/string_ISO_DEF.doc text/plain root:root 0o644 250 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/defs/string_TY_DEF.doc text/plain root:root 0o644 192 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/entries/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/string/help/entries/ascii_EQ_CONV.doc text/plain root:root 0o644 970 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/entries/load_string.doc text/plain root:root 0o644 899 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/entries/string_CONV.doc text/plain root:root 0o644 746 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/entries/string_EQ_CONV.doc text/plain root:root 0o644 679 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/thms/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/string/help/thms/ASCII_11.doc text/plain root:root 0o644 321 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/thms/NOT_EMPTY_STRING.doc text/plain root:root 0o644 73 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/thms/NOT_STRING_EMPTY.doc text/plain root:root 0o644 73 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/thms/STRING_11.doc text/plain root:root 0o644 104 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/thms/ascii_Axiom.doc text/plain root:root 0o644 156 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/thms/ascii_CASES.doc text/plain root:root 0o644 106 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/thms/ascii_Induct.doc text/plain root:root 0o644 130 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/thms/string_Axiom.doc text/plain root:root 0o644 108 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/thms/string_CASES.doc text/plain root:root 0o644 85 bytes
/usr/share/hol88-2.02.19940316/Library/string/help/thms/string_Induct.doc text/plain root:root 0o644 105 bytes

APT Browse - Built by Thomas Orozco.