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

This file is indexed.

/usr/share/hol88-2.02.19940316/Library/window/ 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/window/help/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/window/help/defs/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/window/help/defs/PMI_DEF.doc text/plain root:root 0o644 60 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/window/help/entries/ADD_SUPPOSE.doc text/plain root:root 0o644 809 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/ADD_THEOREM.doc text/plain root:root 0o644 723 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/ALL_STACKS.doc text/plain root:root 0o644 512 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/APPLY_TRANSFORM.doc text/plain root:root 0o644 321 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/ASM_REWRITE_WIN.doc text/plain root:root 0o644 686 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/BAD_CONJECTURES.doc text/plain root:root 0o644 683 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/BEGIN_STACK.doc text/plain root:root 0o644 666 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/BEGIN_STACK_TAC.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/Library/window/help/entries/CLOSE_WIN.doc text/plain root:root 0o644 903 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/CONJECTURE.doc text/plain root:root 0o644 483 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/CONVERT_WIN.doc text/plain root:root 0o644 762 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/CURRENT_NAME.doc text/plain root:root 0o644 263 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/END_STACK.doc text/plain root:root 0o644 441 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/END_STACK_TAC.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/Library/window/help/entries/ESTABLISH.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/window/help/entries/EXISTS_PMI.doc text/plain root:root 0o644 749 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/FILTER_ASM_REWRITE_WIN.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/Library/window/help/entries/FILTER_ONCE_ASM_REWRITE_WIN.doc text/plain root:root 0o644 874 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/FILTER_PURE_ASM_REWRITE_WIN.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/Library/window/help/entries/FILTER_PURE_ONCE_ASM_REWRITE_WIN.doc text/plain root:root 0o644 927 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/FOCUS.doc text/plain root:root 0o644 206 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/FOC_RULE_WIN.doc text/plain root:root 0o644 940 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/GEN_OPEN_WIN.doc text/plain root:root 0o644 689 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/GEN_REWRITE_WIN.doc text/plain root:root 0o644 2.8 KB
/usr/share/hol88-2.02.19940316/Library/window/help/entries/GET_MAX_HIST.doc text/plain root:root 0o644 209 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/IMP_PMI.doc text/plain root:root 0o644 304 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/IMP_PMI_CONV.doc text/plain root:root 0o644 341 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/IMP_REFL.doc text/plain root:root 0o644 215 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/LEMMA_THMS.doc text/plain root:root 0o644 237 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/MATCH_TRANSFORM_WIN.doc text/plain root:root 0o644 974 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/ONCE_ASM_REWRITE_WIN.doc text/plain root:root 0o644 622 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/ONCE_REWRITE_WIN.doc text/plain root:root 0o644 601 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/OPEN_CONTEXT.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/Library/window/help/entries/OPEN_WIN.doc text/plain root:root 0o644 839 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/PMI_IMP.doc text/plain root:root 0o644 311 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/PMI_IMP_CONV.doc text/plain root:root 0o644 349 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/PMI_REFL.doc text/plain root:root 0o644 233 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/PMI_TRANS.doc text/plain root:root 0o644 303 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/PRINT_STACK.doc text/plain root:root 0o644 820 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/PURE_ASM_REWRITE_WIN.doc text/plain root:root 0o644 704 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/PURE_ONCE_ASM_REWRITE_WIN.doc text/plain root:root 0o644 619 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/PURE_ONCE_REWRITE_WIN.doc text/plain root:root 0o644 595 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/PURE_REWRITE_WIN.doc text/plain root:root 0o644 718 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/REDO.doc text/plain root:root 0o644 591 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/REWRITE_WIN.doc text/plain root:root 0o644 713 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/RULE_WIN.doc text/plain root:root 0o644 821 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/SAVE_WIN_THM.doc text/plain root:root 0o644 573 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/SET_MAX_HIST.doc text/plain root:root 0o644 236 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/SET_STACK.doc text/plain root:root 0o644 339 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/SMASH.doc text/plain root:root 0o644 946 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/TACTIC_WIN.doc text/plain root:root 0o644 873 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/THM_RULE_WIN.doc text/plain root:root 0o644 945 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/TOP_WIN.doc text/plain root:root 0o644 143 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/TRANSFORM_WIN.doc text/plain root:root 0o644 818 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/UNDO.doc text/plain root:root 0o644 710 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/UNDO_WIN.doc text/plain root:root 0o644 395 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/WIN_THM.doc text/plain root:root 0o644 517 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/add_relation.doc text/plain root:root 0o644 933 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/add_suppose.doc text/plain root:root 0o644 774 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/add_theorem.doc text/plain root:root 0o644 685 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/add_weak.doc text/plain root:root 0o644 1.7 KB
/usr/share/hol88-2.02.19940316/Library/window/help/entries/all_hypotheses.doc text/plain root:root 0o644 683 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/asm_rewrite_win.doc text/plain root:root 0o644 716 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/bound.doc text/plain root:root 0o644 638 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/conjecture.doc text/plain root:root 0o644 428 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/conjectures.doc text/plain root:root 0o644 497 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/context.doc text/plain root:root 0o644 313 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/convert_win.doc text/plain root:root 0o644 594 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/create_win.doc text/plain root:root 0o644 402 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/dest_pmi.doc text/plain root:root 0o644 469 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/disp_hypotheses.doc text/plain root:root 0o644 647 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/empty_rules.doc text/plain root:root 0o644 713 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/equiv_tm.doc text/plain root:root 0o644 151 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/establish.doc text/plain root:root 0o644 868 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/filter_asm_rewrite_win.doc text/plain root:root 0o644 991 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/filter_once_asm_rewrite_win.doc text/plain root:root 0o644 875 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/filter_pure_asm_rewrite_win.doc text/plain root:root 0o644 978 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/filter_pure_once_asm_rewrite_win.doc text/plain root:root 0o644 863 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/foc_rule_win.doc text/plain root:root 0o644 967 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/focus.doc text/plain root:root 0o644 131 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/gen_open_win.doc text/plain root:root 0o644 708 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/gen_rewrite_win.doc text/plain root:root 0o644 2.8 KB
/usr/share/hol88-2.02.19940316/Library/window/help/entries/hyp_thms.doc text/plain root:root 0o644 616 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/hypotheses.doc text/plain root:root 0o644 712 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/imp_tm.doc text/plain root:root 0o644 128 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/is_pmi.doc text/plain root:root 0o644 399 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/is_trueimp.doc text/plain root:root 0o644 293 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/lemma_thms.doc text/plain root:root 0o644 211 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/lemmas.doc text/plain root:root 0o644 417 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/load_window.doc text/plain root:root 0o644 715 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/match_transform_win.doc text/plain root:root 0o644 964 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/once_asm_rewrite_win.doc text/plain root:root 0o644 628 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/once_rewrite_win.doc text/plain root:root 0o644 622 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/open_TAC.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/Library/window/help/entries/open_context.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/window/help/entries/open_win.doc text/plain root:root 0o644 871 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/origin.doc text/plain root:root 0o644 139 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/pmi_tm.doc text/plain root:root 0o644 128 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/pure_asm_rewrite_win.doc text/plain root:root 0o644 713 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/pure_once_asm_rewrite_win.doc text/plain root:root 0o644 639 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/pure_once_rewrite_win.doc text/plain root:root 0o644 616 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/pure_rewrite_win.doc text/plain root:root 0o644 701 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/relation.doc text/plain root:root 0o644 249 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/rewrite_win.doc text/plain root:root 0o644 692 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/rule_win.doc text/plain root:root 0o644 754 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/store_rule.doc text/plain root:root 0o644 354 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/suppositions.doc text/plain root:root 0o644 269 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/tactic_win.doc text/plain root:root 0o644 785 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/thm_rule_win.doc text/plain root:root 0o644 934 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/transform.doc text/plain root:root 0o644 630 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/transform_win.doc text/plain root:root 0o644 784 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/traverse.doc text/plain root:root 0o644 276 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/used_conjectures.doc text/plain root:root 0o644 585 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/used_hypotheses.doc text/plain root:root 0o644 541 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/win_thm.doc text/plain root:root 0o644 436 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/entries/window_version.doc text/plain root:root 0o644 254 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/window/help/general/after.doc text/plain root:root 0o644 359 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/before.doc text/plain root:root 0o644 363 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/beg_stack_sig.doc text/plain root:root 0o644 668 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/best.doc text/plain root:root 0o644 370 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/clear.doc text/plain root:root 0o644 385 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/cng_win_sig.doc text/plain root:root 0o644 419 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/dispose.doc text/plain root:root 0o644 229 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/dodo.doc text/plain root:root 0o644 412 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/dom.doc text/plain root:root 0o644 230 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/end_stack_sig.doc text/plain root:root 0o644 581 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/epoch.doc text/plain root:root 0o644 286 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/false_tm.doc text/plain root:root 0o644 120 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/first.doc text/plain root:root 0o644 407 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/ge.doc text/plain root:root 0o644 380 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/get_max_hist.doc text/plain root:root 0o644 294 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/goal_frees.doc text/plain root:root 0o644 617 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/handle.doc text/plain root:root 0o644 341 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/index.doc text/plain root:root 0o644 405 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/is_fun.doc text/plain root:root 0o644 243 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/is_nil.doc text/plain root:root 0o644 209 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/last.doc text/plain root:root 0o644 402 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/le.doc text/plain root:root 0o644 374 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/merge.doc text/plain root:root 0o644 543 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/pop_win_sig.doc text/plain root:root 0o644 449 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/prefix.doc text/plain root:root 0o644 372 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/present.doc text/plain root:root 0o644 262 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/psh_win_sig.doc text/plain root:root 0o644 467 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/ptrtype.doc text/plain root:root 0o644 395 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/ran.doc text/plain root:root 0o644 230 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/redo.doc text/plain root:root 0o644 378 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/set_max_hist.doc text/plain root:root 0o644 352 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/set_stack_sig.doc text/plain root:root 0o644 699 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/sigtype.doc text/plain root:root 0o644 384 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/store.doc text/plain root:root 0o644 192 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/suffix.doc text/plain root:root 0o644 372 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/true_tm.doc text/plain root:root 0o644 121 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/undo.doc text/plain root:root 0o644 338 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/general/value.doc text/plain root:root 0o644 208 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/window/help/internal/APPLY_OPEN.doc text/plain root:root 0o644 159 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/CURRENT_STACK.doc text/plain root:root 0o644 138 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/DO.doc text/plain root:root 0o644 134 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/GET_STACK.doc text/plain root:root 0o644 132 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/bad_conjectures.doc text/plain root:root 0o644 147 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/better_goal.doc text/plain root:root 0o644 134 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/better_thm.doc text/plain root:root 0o644 130 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/change_window.doc text/plain root:root 0o644 168 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/close_window.doc text/plain root:root 0o644 144 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/create_stack.doc text/plain root:root 0o644 138 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/depth_stack.doc text/plain root:root 0o644 138 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/establish_basis.doc text/plain root:root 0o644 158 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/gen_open_basis.doc text/plain root:root 0o644 156 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/get_thm.doc text/plain root:root 0o644 127 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/goal_set_equal.doc text/plain root:root 0o644 150 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/goal_setify.doc text/plain root:root 0o644 137 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/goal_subset.doc text/plain root:root 0o644 144 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/make_window.doc text/plain root:root 0o644 165 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/open_context_basis.doc text/plain root:root 0o644 164 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/open_window.doc text/plain root:root 0o644 161 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/open_window_basis.doc text/plain root:root 0o644 162 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/pop_window.doc text/plain root:root 0o644 140 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/print_stack.doc text/plain root:root 0o644 134 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/prove_hyp.doc text/plain root:root 0o644 130 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/reflexive.doc text/plain root:root 0o644 132 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/relative_strengths.doc text/plain root:root 0o644 146 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/search_rule.doc text/plain root:root 0o644 139 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/smash.doc text/plain root:root 0o644 119 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/term_intersect.doc text/plain root:root 0o644 163 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/term_mem.doc text/plain root:root 0o644 133 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/term_setify.doc text/plain root:root 0o644 144 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/term_subset.doc text/plain root:root 0o644 144 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/term_union.doc text/plain root:root 0o644 147 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/thm_set_equal.doc text/plain root:root 0o644 146 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/thm_setify.doc text/plain root:root 0o644 133 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/thm_subset.doc text/plain root:root 0o644 140 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/top_path.doc text/plain root:root 0o644 132 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/top_window.doc text/plain root:root 0o644 134 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/transfer_sups_thms.doc text/plain root:root 0o644 154 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/transitive.doc text/plain root:root 0o644 129 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/internal/weaken.doc text/plain root:root 0o644 123 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/thms/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/window/help/thms/IMP_REFL_THM.doc text/plain root:root 0o644 53 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/thms/IMP_TRANS_THM.doc text/plain root:root 0o644 85 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/thms/PMI_DEF.doc text/plain root:root 0o644 60 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/thms/PMI_REFL_THM.doc text/plain root:root 0o644 53 bytes
/usr/share/hol88-2.02.19940316/Library/window/help/thms/PMI_TRANS_THM.doc text/plain root:root 0o644 85 bytes

APT Browse - Built by Thomas Orozco.