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

This file is indexed.

/usr/share/hol88-2.02.19940316/Library/unwind/ 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/unwind/help/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/CONJ_FORALL_CONV.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/CONJ_FORALL_ONCE_CONV.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/CONJ_FORALL_RIGHT_RULE.doc text/plain root:root 0o644 654 bytes
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/DEPTH_EXISTS_CONV.doc text/plain root:root 0o644 570 bytes
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/DEPTH_FORALL_CONV.doc text/plain root:root 0o644 568 bytes
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/EXISTS_DEL1_CONV.doc text/plain root:root 0o644 396 bytes
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/EXISTS_DEL_CONV.doc text/plain root:root 0o644 571 bytes
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/EXISTS_EQN_CONV.doc text/plain root:root 0o644 485 bytes
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/EXPAND_ALL_BUT_CONV.doc text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/EXPAND_ALL_BUT_RIGHT_RULE.doc text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/EXPAND_AUTO_CONV.doc text/plain root:root 0o644 2.1 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/EXPAND_AUTO_RIGHT_RULE.doc text/plain root:root 0o644 2.1 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/FLATTEN_CONJ_CONV.doc text/plain root:root 0o644 534 bytes
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/FORALL_CONJ_CONV.doc text/plain root:root 0o644 868 bytes
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/FORALL_CONJ_ONCE_CONV.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/FORALL_CONJ_RIGHT_RULE.doc text/plain root:root 0o644 656 bytes
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/PRUNE_CONV.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/PRUNE_ONCE_CONV.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/PRUNE_ONE_CONV.doc text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/PRUNE_RIGHT_RULE.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/PRUNE_SOME_CONV.doc text/plain root:root 0o644 2.0 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/PRUNE_SOME_RIGHT_RULE.doc text/plain root:root 0o644 2.0 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/UNFOLD_CONV.doc text/plain root:root 0o644 939 bytes
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/UNFOLD_RIGHT_RULE.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/UNWIND_ALL_BUT_CONV.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/UNWIND_ALL_BUT_RIGHT_RULE.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/UNWIND_AUTO_CONV.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/UNWIND_AUTO_RIGHT_RULE.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/UNWIND_CONV.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/UNWIND_ONCE_CONV.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/line_name.doc text/plain root:root 0o644 295 bytes
/usr/share/hol88-2.02.19940316/Library/unwind/help/entries/line_var.doc text/plain root:root 0o644 297 bytes

APT Browse - Built by Thomas Orozco.