hol88-help 2.02.19940316-35 / usr / share / hol88-2.02.19940316 / help / ENTRIES

This file is indexed.

/usr/share/hol88-2.02.19940316/help/ENTRIES/ is in hol88-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/help/ENTRIES/#.doc text/plain root:root 0o644 258 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/*.doc text/plain root:root 0o644 126 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/+.doc text/plain root:root 0o644 150 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/-.doc text/plain root:root 0o644 307 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/..doc text/plain root:root 0o644 319 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/.div.doc text/plain root:root 0o644 164 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/.hat.doc text/plain root:root 0o644 545 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/<.doc text/plain root:root 0o644 166 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/<<.doc text/plain root:root 0o644 479 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/=.doc text/plain root:root 0o644 761 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/>.doc text/plain root:root 0o644 169 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/@.doc text/plain root:root 0o644 297 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ABS.doc text/plain root:root 0o644 467 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ABS_CONV.doc text/plain root:root 0o644 912 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ACCEPT_TAC.doc text/plain root:root 0o644 805 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/AC_CONV.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/ADD_ASSUM.doc text/plain root:root 0o644 687 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ADD_CONV.doc text/plain root:root 0o644 552 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ALL_CONV.doc text/plain root:root 0o644 337 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ALL_EL_CONV.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/ALL_TAC.doc text/plain root:root 0o644 680 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ALL_THEN.doc text/plain root:root 0o644 715 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ALPHA.doc text/plain root:root 0o644 580 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ALPHA_CONV.doc text/plain root:root 0o644 707 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/AND_EXISTS_CONV.doc text/plain root:root 0o644 640 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/AND_FORALL_CONV.doc text/plain root:root 0o644 479 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ANTE_CONJ_CONV.doc text/plain root:root 0o644 651 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ANTE_RES_THEN.doc text/plain root:root 0o644 1.9 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/APPEND_CONV.doc text/plain root:root 0o644 680 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/AP_TERM.doc text/plain root:root 0o644 539 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/AP_TERM_TAC.doc text/plain root:root 0o644 505 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/AP_THM.doc text/plain root:root 0o644 637 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/AP_THM_TAC.doc text/plain root:root 0o644 560 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ASM_CASES_TAC.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/ASM_REWRITE_RULE.doc text/plain root:root 0o644 982 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ASM_REWRITE_TAC.doc text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/ASSUME.doc text/plain root:root 0o644 429 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ASSUME_TAC.doc text/plain root:root 0o644 2.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/ASSUM_LIST.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/B.doc text/plain root:root 0o644 244 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/BETA_CONV.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/BETA_RULE.doc text/plain root:root 0o644 914 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/BETA_TAC.doc text/plain root:root 0o644 597 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/BODY_CONJUNCTS.doc text/plain root:root 0o644 966 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/BOOL_CASES_TAC.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/BUTFIRSTN_CONV.doc text/plain root:root 0o644 576 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/BUTLASTN_CONV.doc text/plain root:root 0o644 565 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/BUTLAST_CONV.doc text/plain root:root 0o644 454 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/C.doc text/plain root:root 0o644 251 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CASES_THENL.doc text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/CB.doc text/plain root:root 0o644 225 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CCONTR.doc text/plain root:root 0o644 688 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CHANGED_CONV.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/CHANGED_TAC.doc text/plain root:root 0o644 466 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CHECK_ASSUME_TAC.doc text/plain root:root 0o644 978 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CHOOSE.doc text/plain root:root 0o644 917 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CHOOSE_TAC.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/CHOOSE_THEN.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/COND_CASES_TAC.doc text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/COND_CONV.doc text/plain root:root 0o644 620 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CONJ.doc text/plain root:root 0o644 337 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CONJUNCT1.doc text/plain root:root 0o644 357 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CONJUNCT2.doc text/plain root:root 0o644 358 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CONJUNCTS.doc text/plain root:root 0o644 757 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CONJUNCTS_CONV.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/CONJUNCTS_THEN.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/CONJUNCTS_THEN2.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/CONJ_DISCH.doc text/plain root:root 0o644 704 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CONJ_DISCHL.doc text/plain root:root 0o644 778 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CONJ_LIST.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/CONJ_PAIR.doc text/plain root:root 0o644 454 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CONJ_SET_CONV.doc text/plain root:root 0o644 1019 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CONJ_TAC.doc text/plain root:root 0o644 467 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CONTR.doc text/plain root:root 0o644 459 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CONTRAPOS.doc text/plain root:root 0o644 467 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CONTRAPOS_CONV.doc text/plain root:root 0o644 413 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CONTR_TAC.doc text/plain root:root 0o644 534 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CONV_RULE.doc text/plain root:root 0o644 1004 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/CONV_TAC.doc text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/Co.doc text/plain root:root 0o644 280 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/DEF_EXISTS_RULE.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/DEPTH_CONV.doc text/plain root:root 0o644 2.7 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/DISCARD_TAC.doc text/plain root:root 0o644 654 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/DISCH.doc text/plain root:root 0o644 551 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/DISCH_ALL.doc text/plain root:root 0o644 781 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/DISCH_TAC.doc text/plain root:root 0o644 849 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/DISCH_THEN.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/DISJ1.doc text/plain root:root 0o644 463 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/DISJ1_TAC.doc text/plain root:root 0o644 302 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/DISJ2.doc text/plain root:root 0o644 383 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/DISJ2_TAC.doc text/plain root:root 0o644 307 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/DISJ_CASES.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/DISJ_CASES_TAC.doc text/plain root:root 0o644 975 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/DISJ_CASES_THEN.doc text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/DISJ_CASES_THEN2.doc text/plain root:root 0o644 1.9 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/DISJ_CASES_THENL.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/DISJ_CASES_UNION.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/DISJ_IMP.doc text/plain root:root 0o644 642 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ELL_CONV.doc text/plain root:root 0o644 640 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EL_CONV.doc text/plain root:root 0o644 503 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EQF_ELIM.doc text/plain root:root 0o644 330 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EQF_INTRO.doc text/plain root:root 0o644 317 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EQT_ELIM.doc text/plain root:root 0o644 308 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EQT_INTRO.doc text/plain root:root 0o644 260 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EQ_IMP_RULE.doc text/plain root:root 0o644 643 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EQ_LENGTH_INDUCT_TAC.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/EQ_LENGTH_SNOC_INDUCT_TAC.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/EQ_MP.doc text/plain root:root 0o644 606 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EQ_TAC.doc text/plain root:root 0o644 585 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ETA_CONV.doc text/plain root:root 0o644 315 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EVERY.doc text/plain root:root 0o644 831 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EVERY_ASSUM.doc text/plain root:root 0o644 907 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EVERY_CONV.doc text/plain root:root 0o644 825 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EVERY_TCL.doc text/plain root:root 0o644 803 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EXISTENCE.doc text/plain root:root 0o644 517 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EXISTS.doc text/plain root:root 0o644 931 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EXISTS_AND_CONV.doc text/plain root:root 0o644 1012 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EXISTS_EQ.doc text/plain root:root 0o644 825 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EXISTS_GREATEST_CONV.doc text/plain root:root 0o644 721 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EXISTS_IMP.doc text/plain root:root 0o644 716 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EXISTS_IMP_CONV.doc text/plain root:root 0o644 1005 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EXISTS_LEAST_CONV.doc text/plain root:root 0o644 916 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EXISTS_NOT_CONV.doc text/plain root:root 0o644 455 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EXISTS_OR_CONV.doc text/plain root:root 0o644 489 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EXISTS_TAC.doc text/plain root:root 0o644 786 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EXISTS_UNIQUE_CONV.doc text/plain root:root 0o644 999 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/EXT.doc text/plain root:root 0o644 576 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/FAIL_TAC.doc text/plain root:root 0o644 944 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/FILTER_ASM_REWRITE_RULE.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/FILTER_ASM_REWRITE_TAC.doc text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/FILTER_CONV.doc text/plain root:root 0o644 962 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/FILTER_DISCH_TAC.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/FILTER_DISCH_THEN.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/FILTER_GEN_TAC.doc text/plain root:root 0o644 882 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/FILTER_ONCE_ASM_REWRITE_RULE.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/FILTER_ONCE_ASM_REWRITE_TAC.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/FILTER_PURE_ASM_REWRITE_RULE.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/FILTER_PURE_ASM_REWRITE_TAC.doc text/plain root:root 0o644 1.7 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/FILTER_PURE_ONCE_ASM_REWRITE_RULE.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/FILTER_PURE_ONCE_ASM_REWRITE_TAC.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/FILTER_STRIP_TAC.doc text/plain root:root 0o644 2.7 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/FILTER_STRIP_THEN.doc text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/FIRST.doc text/plain root:root 0o644 698 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/FIRSTN_CONV.doc text/plain root:root 0o644 552 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/FIRST_ASSUM.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/FIRST_CONV.doc text/plain root:root 0o644 597 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/FIRST_TCL.doc text/plain root:root 0o644 723 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/FLAT_CONV.doc text/plain root:root 0o644 667 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/FOLDL_CONV.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/FOLDR_CONV.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/FORALL_AND_CONV.doc text/plain root:root 0o644 490 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/FORALL_EQ.doc text/plain root:root 0o644 778 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/FORALL_IMP_CONV.doc text/plain root:root 0o644 1000 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/FORALL_NOT_CONV.doc text/plain root:root 0o644 450 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/FORALL_OR_CONV.doc text/plain root:root 0o644 1000 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/FREEZE_THEN.doc text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/FRONT_CONJ_CONV.doc text/plain root:root 0o644 827 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/FUN_EQ_CONV.doc text/plain root:root 0o644 769 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/GEN.doc text/plain root:root 0o644 941 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/GENL.doc text/plain root:root 0o644 757 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/GEN_ALL.doc text/plain root:root 0o644 543 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/GEN_ALPHA_CONV.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/GEN_BETA_CONV.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/GEN_REWRITE_CONV.doc text/plain root:root 0o644 3.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/GEN_REWRITE_RULE.doc text/plain root:root 0o644 3.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/GEN_REWRITE_TAC.doc text/plain root:root 0o644 3.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/GEN_TAC.doc text/plain root:root 0o644 799 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/GSPEC.doc text/plain root:root 0o644 759 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/GSUBST_TAC.doc text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/GSYM.doc text/plain root:root 0o644 810 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/HALF_MK_ABS.doc text/plain root:root 0o644 685 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/I.doc text/plain root:root 0o644 195 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/IMP_ANTISYM_RULE.doc text/plain root:root 0o644 635 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/IMP_CANON.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/IMP_CONJ.doc text/plain root:root 0o644 537 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/IMP_ELIM.doc text/plain root:root 0o644 429 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/IMP_RES_TAC.doc text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/IMP_RES_THEN.doc text/plain root:root 0o644 3.8 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/IMP_TRANS.doc text/plain root:root 0o644 642 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/INDUCT.doc text/plain root:root 0o644 877 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/INDUCT_TAC.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/INDUCT_THEN.doc text/plain root:root 0o644 4.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/INST.doc text/plain root:root 0o644 825 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/INST_TYPE.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/INST_TY_TERM.doc text/plain root:root 0o644 548 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ISPEC.doc text/plain root:root 0o644 722 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ISPECL.doc text/plain root:root 0o644 674 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/IS_EL_CONV.doc text/plain root:root 0o644 994 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/K.doc text/plain root:root 0o644 203 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/KI.doc text/plain root:root 0o644 265 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/LASTN_CONV.doc text/plain root:root 0o644 547 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/LAST_CONV.doc text/plain root:root 0o644 423 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/LEFT_AND_EXISTS_CONV.doc text/plain root:root 0o644 625 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/LEFT_AND_FORALL_CONV.doc text/plain root:root 0o644 620 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/LEFT_IMP_EXISTS_CONV.doc text/plain root:root 0o644 610 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/LEFT_IMP_FORALL_CONV.doc text/plain root:root 0o644 605 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/LEFT_OR_EXISTS_CONV.doc text/plain root:root 0o644 619 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/LEFT_OR_FORALL_CONV.doc text/plain root:root 0o644 614 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/LENGTH_CONV.doc text/plain root:root 0o644 607 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/LIST_BETA_CONV.doc text/plain root:root 0o644 795 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/LIST_CONJ.doc text/plain root:root 0o644 754 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/LIST_INDUCT.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/LIST_INDUCT_TAC.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/LIST_MK_EXISTS.doc text/plain root:root 0o644 820 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/LIST_MP.doc text/plain root:root 0o644 914 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/MAP2_CONV.doc text/plain root:root 0o644 1.7 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/MAP_CONV.doc text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/MAP_EVERY.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/MAP_FIRST.doc text/plain root:root 0o644 955 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/MATCH_ACCEPT_TAC.doc text/plain root:root 0o644 952 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/MATCH_MP.doc text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/MATCH_MP_TAC.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/MK_ABS.doc text/plain root:root 0o644 530 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/MK_COMB.doc text/plain root:root 0o644 618 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/MK_EXISTS.doc text/plain root:root 0o644 577 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ML_eval.doc text/plain root:root 0o644 565 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/MP.doc text/plain root:root 0o644 595 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/MP_TAC.doc text/plain root:root 0o644 493 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/NEG_DISCH.doc text/plain root:root 0o644 693 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/NOT_ELIM.doc text/plain root:root 0o644 413 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/NOT_EQ_SYM.doc text/plain root:root 0o644 485 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/NOT_EXISTS_CONV.doc text/plain root:root 0o644 454 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/NOT_FORALL_CONV.doc text/plain root:root 0o644 509 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/NOT_INTRO.doc text/plain root:root 0o644 448 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/NOT_MP.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/NO_CONV.doc text/plain root:root 0o644 164 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/NO_TAC.doc text/plain root:root 0o644 264 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/NO_THEN.doc text/plain root:root 0o644 481 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ONCE_ASM_REWRITE_RULE.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/ONCE_ASM_REWRITE_TAC.doc text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/ONCE_DEPTH_CONV.doc text/plain root:root 0o644 2.6 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/ONCE_REWRITE_CONV.doc text/plain root:root 0o644 799 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ONCE_REWRITE_RULE.doc text/plain root:root 0o644 857 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ONCE_REWRITE_TAC.doc text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/ONCE_REW_DEPTH_CONV.doc text/plain root:root 0o644 2.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/ORELSE.doc text/plain root:root 0o644 510 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ORELSEC.doc text/plain root:root 0o644 484 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ORELSE_TCL.doc text/plain root:root 0o644 587 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/OR_EXISTS_CONV.doc text/plain root:root 0o644 502 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/OR_FORALL_CONV.doc text/plain root:root 0o644 654 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/PAIRED_BETA_CONV.doc text/plain root:root 0o644 2.9 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/PAIRED_ETA_CONV.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/PART_MATCH.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/POP_ASSUM.doc text/plain root:root 0o644 1.9 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/POP_ASSUM_LIST.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/PROVE.doc text/plain root:root 0o644 785 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/PROVE_HYP.doc text/plain root:root 0o644 680 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/PURE_ASM_REWRITE_RULE.doc text/plain root:root 0o644 855 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/PURE_ASM_REWRITE_TAC.doc text/plain root:root 0o644 987 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/PURE_ONCE_ASM_REWRITE_RULE.doc text/plain root:root 0o644 720 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/PURE_ONCE_ASM_REWRITE_TAC.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/PURE_ONCE_REWRITE_CONV.doc text/plain root:root 0o644 691 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/PURE_ONCE_REWRITE_RULE.doc text/plain root:root 0o644 715 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/PURE_ONCE_REWRITE_TAC.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/PURE_REWRITE_CONV.doc text/plain root:root 0o644 776 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/PURE_REWRITE_RULE.doc text/plain root:root 0o644 906 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/PURE_REWRITE_TAC.doc text/plain root:root 0o644 1.7 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/RAND_CONV.doc text/plain root:root 0o644 910 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/RATOR_CONV.doc text/plain root:root 0o644 943 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/REDEPTH_CONV.doc text/plain root:root 0o644 2.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/REFL.doc text/plain root:root 0o644 273 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/REFL_TAC.doc text/plain root:root 0o644 477 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/REPEAT.doc text/plain root:root 0o644 471 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/REPEATC.doc text/plain root:root 0o644 721 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/REPEAT_GTCL.doc text/plain root:root 0o644 842 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/REPEAT_TCL.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/RES_CANON.doc text/plain root:root 0o644 4.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/RES_TAC.doc text/plain root:root 0o644 2.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/RES_THEN.doc text/plain root:root 0o644 3.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/REVERSE_CONV.doc text/plain root:root 0o644 661 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/REWRITE_CONV.doc text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/REWRITE_RULE.doc text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/REWRITE_TAC.doc text/plain root:root 0o644 3.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/REWR_CONV.doc text/plain root:root 0o644 5.6 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/REW_DEPTH_CONV.doc text/plain root:root 0o644 2.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/RIGHT_AND_EXISTS_CONV.doc text/plain root:root 0o644 630 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/RIGHT_AND_FORALL_CONV.doc text/plain root:root 0o644 625 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/RIGHT_BETA.doc text/plain root:root 0o644 613 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/RIGHT_CONV_RULE.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/RIGHT_IMP_EXISTS_CONV.doc text/plain root:root 0o644 614 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/RIGHT_IMP_FORALL_CONV.doc text/plain root:root 0o644 609 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/RIGHT_LIST_BETA.doc text/plain root:root 0o644 718 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/RIGHT_OR_EXISTS_CONV.doc text/plain root:root 0o644 624 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/RIGHT_OR_FORALL_CONV.doc text/plain root:root 0o644 619 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/RULE_ASSUM_TAC.doc text/plain root:root 0o644 816 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/RecordStep.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/S.doc text/plain root:root 0o644 255 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/SCANL_CONV.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SCANR_CONV.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SEG_CONV.doc text/plain root:root 0o644 760 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/SELECT_CONV.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SELECT_ELIM.doc text/plain root:root 0o644 1.9 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SELECT_EQ.doc text/plain root:root 0o644 913 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/SELECT_INTRO.doc text/plain root:root 0o644 978 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/SELECT_RULE.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SKOLEM_CONV.doc text/plain root:root 0o644 554 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/SNOC_CONV.doc text/plain root:root 0o644 724 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/SNOC_INDUCT_TAC.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SOME_EL_CONV.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SPEC.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SPECL.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SPEC_ALL.doc text/plain root:root 0o644 1007 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/SPEC_TAC.doc text/plain root:root 0o644 657 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/SPEC_VAR.doc text/plain root:root 0o644 725 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/STRIP_ASSUME_TAC.doc text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/STRIP_GOAL_THEN.doc text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/STRIP_TAC.doc text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/STRIP_THM_THEN.doc text/plain root:root 0o644 2.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/STRUCT_CASES_TAC.doc text/plain root:root 0o644 1.9 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SUBGOAL_THEN.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SUBS.doc text/plain root:root 0o644 1.9 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SUBST.doc text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SUBST1_TAC.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SUBST_ALL_TAC.doc text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SUBST_CONV.doc text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SUBST_MATCH.doc text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SUBST_OCCS_TAC.doc text/plain root:root 0o644 1.9 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SUBST_TAC.doc text/plain root:root 0o644 1.7 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SUBS_OCCS.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SUB_CONV.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/SWAP_EXISTS_CONV.doc text/plain root:root 0o644 432 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/SYM.doc text/plain root:root 0o644 393 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/SYM_CONV.doc text/plain root:root 0o644 373 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/TAC_PROOF.doc text/plain root:root 0o644 653 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/THEN.doc text/plain root:root 0o644 923 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/THENC.doc text/plain root:root 0o644 847 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/THENL.doc text/plain root:root 0o644 816 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/THEN_TCL.doc text/plain root:root 0o644 575 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/TOP_DEPTH_CONV.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/TRANS.doc text/plain root:root 0o644 927 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/TRY.doc text/plain root:root 0o644 419 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/TRY_CONV.doc text/plain root:root 0o644 600 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/UNDISCH.doc text/plain root:root 0o644 743 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/UNDISCH_ALL.doc text/plain root:root 0o644 929 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/UNDISCH_TAC.doc text/plain root:root 0o644 571 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/VALID.doc text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/W.doc text/plain root:root 0o644 223 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/X_CASES_THEN.doc text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/X_CASES_THENL.doc text/plain root:root 0o644 2.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/X_CHOOSE_TAC.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/X_CHOOSE_THEN.doc text/plain root:root 0o644 1.7 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/X_FUN_EQ_CONV.doc text/plain root:root 0o644 949 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/X_GEN_TAC.doc text/plain root:root 0o644 672 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/X_SKOLEM_CONV.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/abs_goals.doc text/plain root:root 0o644 205 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/achieve_first.doc text/plain root:root 0o644 214 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/achieves.doc text/plain root:root 0o644 196 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/aconv.doc text/plain root:root 0o644 444 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/activate_binders.doc text/plain root:root 0o644 913 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/allowed_constant.doc text/plain root:root 0o644 959 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ancestors.doc text/plain root:root 0o644 368 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ancestry.doc text/plain root:root 0o644 427 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/append.doc text/plain root:root 0o644 268 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/append_openw.doc text/plain root:root 0o644 885 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/apply_proof.doc text/plain root:root 0o644 198 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/arb_term.doc text/plain root:root 0o644 220 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/arity.doc text/plain root:root 0o644 330 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ascii.doc text/plain root:root 0o644 420 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ascii_code.doc text/plain root:root 0o644 386 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/assert.doc text/plain root:root 0o644 500 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/assignable_print_term.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/assoc.doc text/plain root:root 0o644 517 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/associate_restriction.doc text/plain root:root 0o644 2.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/attempt_first.doc text/plain root:root 0o644 217 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/autoload.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/autoload_theory.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/axiom.doc text/plain root:root 0o644 851 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/axiom_lfn.doc text/plain root:root 0o644 550 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/axiom_msg_lfn.doc text/plain root:root 0o644 772 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/axioms.doc text/plain root:root 0o644 996 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/b.doc text/plain root:root 0o644 553 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/backup.doc text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/backup_limit.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/backup_list.doc text/plain root:root 0o644 195 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/basic_rewrites.doc text/plain root:root 0o644 1.9 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/binders.doc text/plain root:root 0o644 650 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/bndvar.doc text/plain root:root 0o644 235 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/body.doc text/plain root:root 0o644 219 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/bool_EQ_CONV.doc text/plain root:root 0o644 892 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/bool_ty.doc text/plain root:root 0o644 91 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/butlast.doc text/plain root:root 0o644 275 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/cached_theories.doc text/plain root:root 0o644 498 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/can.doc text/plain root:root 0o644 337 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/change_state.doc text/plain root:root 0o644 202 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/check_lhs.doc text/plain root:root 0o644 196 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/check_specification.doc text/plain root:root 0o644 241 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/check_valid.doc text/plain root:root 0o644 598 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/check_varstruct.doc text/plain root:root 0o644 208 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/chktac.doc text/plain root:root 0o644 933 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/chop_list.doc text/plain root:root 0o644 418 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/close.doc text/plain root:root 0o644 520 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/close_theory.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/com.doc text/plain root:root 0o644 350 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/combine.doc text/plain root:root 0o644 356 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/compile.doc text/plain root:root 0o644 3.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/compilef.doc text/plain root:root 0o644 743 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/compilet.doc text/plain root:root 0o644 761 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/compiling.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/compiling_stack.doc text/plain root:root 0o644 608 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/concat.doc text/plain root:root 0o644 341 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/concatl.doc text/plain root:root 0o644 336 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/concl.doc text/plain root:root 0o644 228 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/conjuncts.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/constants.doc text/plain root:root 0o644 553 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/current_theory.doc text/plain root:root 0o644 486 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/curry.doc text/plain root:root 0o644 387 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/define_finite_set_syntax.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/define_load_lib_function.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/define_new_type_bijections.doc text/plain root:root 0o644 2.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/define_set_abstraction_syntax.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/define_type.doc text/plain root:root 0o644 4.8 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/definition.doc text/plain root:root 0o644 944 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/definition_lfn.doc text/plain root:root 0o644 630 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/definition_msg_lfn.doc text/plain root:root 0o644 849 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/definitions.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/delete_cache.doc text/plain root:root 0o644 372 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/delete_thm.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_abs.doc text/plain root:root 0o644 379 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_comb.doc text/plain root:root 0o644 406 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_cond.doc text/plain root:root 0o644 367 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_conj.doc text/plain root:root 0o644 263 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_cons.doc text/plain root:root 0o644 487 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_const.doc text/plain root:root 0o644 376 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_definition.doc text/plain root:root 0o644 203 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_disj.doc text/plain root:root 0o644 345 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_eq.doc text/plain root:root 0o644 244 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_exists.doc text/plain root:root 0o644 417 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_forall.doc text/plain root:root 0o644 409 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_form.doc text/plain root:root 0o644 191 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_imp.doc text/plain root:root 0o644 522 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_let.doc text/plain root:root 0o644 497 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_list.doc text/plain root:root 0o644 366 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_neg.doc text/plain root:root 0o644 288 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_neg_imp.doc text/plain root:root 0o644 678 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_pabs.doc text/plain root:root 0o644 414 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_pair.doc text/plain root:root 0o644 321 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_pred.doc text/plain root:root 0o644 436 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_select.doc text/plain root:root 0o644 369 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_thm.doc text/plain root:root 0o644 307 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_type.doc text/plain root:root 0o644 536 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_var.doc text/plain root:root 0o644 298 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dest_vartype.doc text/plain root:root 0o644 469 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/disch.doc text/plain root:root 0o644 391 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/disjuncts.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/distinct.doc text/plain root:root 0o644 266 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/do.doc text/plain root:root 0o644 891 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/draft_mode.doc text/plain root:root 0o644 555 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/dropout.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/e.doc text/plain root:root 0o644 522 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/el.doc text/plain root:root 0o644 375 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/end_itlist.doc text/plain root:root 0o644 439 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/enter_form_rep.doc text/plain root:root 0o644 218 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/enter_term.doc text/plain root:root 0o644 219 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/enter_term_rep.doc text/plain root:root 0o644 218 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/exists.doc text/plain root:root 0o644 434 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/expand.doc text/plain root:root 0o644 3.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/expandf.doc text/plain root:root 0o644 2.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/explode.doc text/plain root:root 0o644 466 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/extend_theory.doc text/plain root:root 0o644 2.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/falsity.doc text/plain root:root 0o644 91 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/fast_arith.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/filter.doc text/plain root:root 0o644 384 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/find.doc text/plain root:root 0o644 430 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/find_file.doc text/plain root:root 0o644 594 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/find_match.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/find_ml_file.doc text/plain root:root 0o644 827 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/find_term.doc text/plain root:root 0o644 519 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/find_terms.doc text/plain root:root 0o644 588 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/find_theory.doc text/plain root:root 0o644 588 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/flags.doc text/plain root:root 0o644 368 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/flat.doc text/plain root:root 0o644 337 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/forall.doc text/plain root:root 0o644 421 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/free_in.doc text/plain root:root 0o644 757 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/frees.doc text/plain root:root 0o644 547 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/freesl.doc text/plain root:root 0o644 615 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/fst.doc text/plain root:root 0o644 180 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/funpow.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/g.doc text/plain root:root 0o644 657 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/genvar.doc text/plain root:root 0o644 984 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/get_const_type.doc text/plain root:root 0o644 423 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/get_flag_value.doc text/plain root:root 0o644 449 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/get_state.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/get_steps.doc text/plain root:root 0o644 2.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/get_type.doc text/plain root:root 0o644 197 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/getenv.doc text/plain root:root 0o644 485 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/goals.doc text/plain root:root 0o644 178 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/hd.doc text/plain root:root 0o644 219 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/help.doc text/plain root:root 0o644 704 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/help_search_path.doc text/plain root:root 0o644 816 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/hide_constant.doc text/plain root:root 0o644 646 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/hol_pathname.doc text/plain root:root 0o644 400 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/host_name.doc text/plain root:root 0o644 990 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/hyp.doc text/plain root:root 0o644 268 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/hyp_union.doc text/plain root:root 0o644 637 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/implode.doc text/plain root:root 0o644 599 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/infix_variable.doc text/plain root:root 0o644 678 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/infixes.doc text/plain root:root 0o644 879 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/inject_input.doc text/plain root:root 0o644 620 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/inl.doc text/plain root:root 0o644 483 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/inr.doc text/plain root:root 0o644 475 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/inst.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/inst_check.doc text/plain root:root 0o644 876 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/inst_rename_list.doc text/plain root:root 0o644 924 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/inst_type.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/install.doc text/plain root:root 0o644 980 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/int_of_string.doc text/plain root:root 0o644 482 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/int_of_term.doc text/plain root:root 0o644 387 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/interface_map.doc text/plain root:root 0o644 395 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/intersect.doc text/plain root:root 0o644 441 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_abs.doc text/plain root:root 0o644 291 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_alphanum.doc text/plain root:root 0o644 596 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_axiom.doc text/plain root:root 0o644 566 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_binder.doc text/plain root:root 0o644 434 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_binder_type.doc text/plain root:root 0o644 740 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_comb.doc text/plain root:root 0o644 313 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_cond.doc text/plain root:root 0o644 272 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_conj.doc text/plain root:root 0o644 268 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_cons.doc text/plain root:root 0o644 311 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_const.doc text/plain root:root 0o644 292 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_constant.doc text/plain root:root 0o644 514 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_definition.doc text/plain root:root 0o644 199 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_disj.doc text/plain root:root 0o644 268 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_eq.doc text/plain root:root 0o644 253 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_exists.doc text/plain root:root 0o644 309 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_forall.doc text/plain root:root 0o644 303 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_hidden.doc text/plain root:root 0o644 603 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_imp.doc text/plain root:root 0o644 439 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_infix.doc text/plain root:root 0o644 406 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_infix_type.doc text/plain root:root 0o644 699 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_let.doc text/plain root:root 0o644 410 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_letter.doc text/plain root:root 0o644 545 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_list.doc text/plain root:root 0o644 283 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_ml_curried_infix.doc text/plain root:root 0o644 388 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_ml_infix.doc text/plain root:root 0o644 373 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_ml_paired_infix.doc text/plain root:root 0o644 383 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_neg.doc text/plain root:root 0o644 251 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_neg_imp.doc text/plain root:root 0o644 520 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_pabs.doc text/plain root:root 0o644 327 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_pair.doc text/plain root:root 0o644 253 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_pred.doc text/plain root:root 0o644 396 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_recording_proof.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_select.doc text/plain root:root 0o644 282 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_type.doc text/plain root:root 0o644 268 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_var.doc text/plain root:root 0o644 282 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/is_vartype.doc text/plain root:root 0o644 411 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/isl.doc text/plain root:root 0o644 209 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/it.doc text/plain root:root 0o644 423 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/itlist.doc text/plain root:root 0o644 432 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/itlist2.doc text/plain root:root 0o644 553 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/last.doc text/plain root:root 0o644 228 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/length.doc text/plain root:root 0o644 171 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/let_CONV.doc text/plain root:root 0o644 2.9 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/let_after.doc text/plain root:root 0o644 996 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/let_before.doc text/plain root:root 0o644 967 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/lhs.doc text/plain root:root 0o644 228 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/libraries.doc text/plain root:root 0o644 263 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/library_loader.doc text/plain root:root 0o644 5.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/library_pathname.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/library_search_path.doc text/plain root:root 0o644 795 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/link.doc text/plain root:root 0o644 767 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/lisp.doc text/plain root:root 0o644 922 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/lisp_dir_pathname.doc text/plain root:root 0o644 439 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/list_EQ_CONV.doc text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/list_FOLD_CONV.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/list_mk_abs.doc text/plain root:root 0o644 363 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/list_mk_comb.doc text/plain root:root 0o644 645 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/list_mk_conj.doc text/plain root:root 0o644 542 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/list_mk_disj.doc text/plain root:root 0o644 542 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/list_mk_exists.doc text/plain root:root 0o644 531 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/list_mk_forall.doc text/plain root:root 0o644 530 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/list_mk_imp.doc text/plain root:root 0o644 682 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/list_mk_pair.doc text/plain root:root 0o644 372 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/list_of_binders.doc text/plain root:root 0o644 433 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/load.doc text/plain root:root 0o644 806 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/load_axiom.doc text/plain root:root 0o644 713 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/load_axioms.doc text/plain root:root 0o644 781 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/load_definition.doc text/plain root:root 0o644 767 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/load_definitions.doc text/plain root:root 0o644 747 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/load_library.doc text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/load_theorem.doc text/plain root:root 0o644 707 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/load_theorems.doc text/plain root:root 0o644 772 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/load_theory.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/loadf.doc text/plain root:root 0o644 757 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/loadt.doc text/plain root:root 0o644 807 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/lookup_form_rep.doc text/plain root:root 0o644 216 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/lookup_term.doc text/plain root:root 0o644 211 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/lookup_term_rep.doc text/plain root:root 0o644 216 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/lsp.doc text/plain root:root 0o644 917 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/map.doc text/plain root:root 0o644 307 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/map2.doc text/plain root:root 0o644 401 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mapfilter.doc text/plain root:root 0o644 358 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/maptok.doc text/plain root:root 0o644 916 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/match.doc text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/max_print_depth.doc text/plain root:root 0o644 770 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mem.doc text/plain root:root 0o644 314 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/merge_nets_rep.doc text/plain root:root 0o644 216 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/merge_term_nets.doc text/plain root:root 0o644 229 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/message.doc text/plain root:root 0o644 583 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_abs.doc text/plain root:root 0o644 299 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_comb.doc text/plain root:root 0o644 438 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_cond.doc text/plain root:root 0o644 313 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_conj.doc text/plain root:root 0o644 281 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_cons.doc text/plain root:root 0o644 362 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_const.doc text/plain root:root 0o644 627 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_conv_net.doc text/plain root:root 0o644 231 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_definition.doc text/plain root:root 0o644 199 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_disj.doc text/plain root:root 0o644 281 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_eq.doc text/plain root:root 0o644 241 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_exists.doc text/plain root:root 0o644 328 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_forall.doc text/plain root:root 0o644 333 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_form.doc text/plain root:root 0o644 187 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_imp.doc text/plain root:root 0o644 276 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_let.doc text/plain root:root 0o644 546 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_list.doc text/plain root:root 0o644 445 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_neg.doc text/plain root:root 0o644 216 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_pabs.doc text/plain root:root 0o644 334 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_pair.doc text/plain root:root 0o644 247 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_pp_thm.doc text/plain root:root 0o644 204 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_pred.doc text/plain root:root 0o644 494 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_primed_var.doc text/plain root:root 0o644 634 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_select.doc text/plain root:root 0o644 296 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_thm.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_type.doc text/plain root:root 0o644 660 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_var.doc text/plain root:root 0o644 472 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/mk_vartype.doc text/plain root:root 0o644 534 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ml_curried_infix.doc text/plain root:root 0o644 755 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ml_dir_pathname.doc text/plain root:root 0o644 429 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/ml_paired_infix.doc text/plain root:root 0o644 785 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/n_strip_quant.doc text/plain root:root 0o644 231 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_alphanum.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_axiom.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_binder.doc text/plain root:root 0o644 774 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_binder_definition.doc text/plain root:root 0o644 3.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_constant.doc text/plain root:root 0o644 709 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_definition.doc text/plain root:root 0o644 2.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_flag.doc text/plain root:root 0o644 644 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_gen_definition.doc text/plain root:root 0o644 2.6 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_infix.doc text/plain root:root 0o644 991 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_infix_definition.doc text/plain root:root 0o644 2.9 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_infix_list_rec_definition.doc text/plain root:root 0o644 2.9 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_infix_prim_rec_definition.doc text/plain root:root 0o644 2.9 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_letter.doc text/plain root:root 0o644 1014 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_list_rec_definition.doc text/plain root:root 0o644 3.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_open_axiom.doc text/plain root:root 0o644 211 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_parent.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_predicate.doc text/plain root:root 0o644 449 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_prim_rec_definition.doc text/plain root:root 0o644 3.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_recursive_definition.doc text/plain root:root 0o644 6.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_special_symbol.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_specification.doc text/plain root:root 0o644 2.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_stack.doc text/plain root:root 0o644 200 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_syntax_block.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_theory.doc text/plain root:root 0o644 2.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_type.doc text/plain root:root 0o644 827 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_type_abbrev.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/new_type_definition.doc text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/nil_term_net.doc text/plain root:root 0o644 193 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/not.doc text/plain root:root 0o644 283 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/null.doc text/plain root:root 0o644 249 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/num_CONV.doc text/plain root:root 0o644 631 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/num_EQ_CONV.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/o.doc text/plain root:root 0o644 220 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/oo.doc text/plain root:root 0o644 277 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/openi.doc text/plain root:root 0o644 562 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/openw.doc text/plain root:root 0o644 645 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/outl.doc text/plain root:root 0o644 459 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/outr.doc text/plain root:root 0o644 463 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/p.doc text/plain root:root 0o644 523 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/pair.doc text/plain root:root 0o644 196 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/paired_delete_thm.doc text/plain root:root 0o644 219 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/paired_new_type.doc text/plain root:root 0o644 213 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/paired_theorem.doc text/plain root:root 0o644 213 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/parents.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/parse_as_binder.doc text/plain root:root 0o644 1001 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/partition.doc text/plain root:root 0o644 471 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/pop_proofs.doc text/plain root:root 0o644 211 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/pop_proofs_print.doc text/plain root:root 0o644 223 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/pp_axiom.doc text/plain root:root 0o644 200 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/preterm_abs.doc text/plain root:root 0o644 993 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/preterm_antiquot.doc text/plain root:root 0o644 689 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/preterm_comb.doc text/plain root:root 0o644 770 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/preterm_const.doc text/plain root:root 0o644 699 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/preterm_to_term.doc text/plain root:root 0o644 564 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/preterm_typed.doc text/plain root:root 0o644 773 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/preterm_var.doc text/plain root:root 0o644 846 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_all_thm.doc text/plain root:root 0o644 806 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_begin.doc text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_bool.doc text/plain root:root 0o644 386 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_break.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_defined_types.doc text/plain root:root 0o644 499 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_end.doc text/plain root:root 0o644 578 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_goal.doc text/plain root:root 0o644 620 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_hyps.doc text/plain root:root 0o644 198 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_ibegin.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_int.doc text/plain root:root 0o644 546 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_list.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_newline.doc text/plain root:root 0o644 574 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_stack.doc text/plain root:root 0o644 211 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_state.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_string.doc text/plain root:root 0o644 670 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_subgoals.doc text/plain root:root 0o644 205 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_term.doc text/plain root:root 0o644 566 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_theory.doc text/plain root:root 0o644 799 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_thm.doc text/plain root:root 0o644 704 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_tok.doc text/plain root:root 0o644 655 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_type.doc text/plain root:root 0o644 552 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_unquoted_term.doc text/plain root:root 0o644 687 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_unquoted_type.doc text/plain root:root 0o644 732 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/print_void.doc text/plain root:root 0o644 513 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/prompt.doc text/plain root:root 0o644 342 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/prove.doc text/plain root:root 0o644 867 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/prove_abs_fn_one_one.doc text/plain root:root 0o644 727 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/prove_abs_fn_onto.doc text/plain root:root 0o644 655 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/prove_cases_thm.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/prove_constructors_distinct.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/prove_constructors_one_one.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/prove_induction_thm.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/prove_rec_fn_exists.doc text/plain root:root 0o644 1.7 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/prove_rep_fn_one_one.doc text/plain root:root 0o644 683 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/prove_rep_fn_onto.doc text/plain root:root 0o644 692 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/prove_thm.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/push_fsubgoals.doc text/plain root:root 0o644 229 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/push_print.doc text/plain root:root 0o644 223 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/push_subgoals.doc text/plain root:root 0o644 227 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/quit.doc text/plain root:root 0o644 140 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/r.doc text/plain root:root 0o644 535 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/rand.doc text/plain root:root 0o644 252 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/rator.doc text/plain root:root 0o644 257 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/read.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/record_proof.doc text/plain root:root 0o644 2.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/remove.doc text/plain root:root 0o644 408 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/remove_sticky_type.doc text/plain root:root 0o644 609 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/rep_goals.doc text/plain root:root 0o644 205 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/replicate.doc text/plain root:root 0o644 283 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/resume_recording.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/rev.doc text/plain root:root 0o644 172 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/rev_assoc.doc text/plain root:root 0o644 530 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/rev_itlist.doc text/plain root:root 0o644 427 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/rhs.doc text/plain root:root 0o644 225 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/root_goal.doc text/plain root:root 0o644 183 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/rotate.doc text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/rotate_goals.doc text/plain root:root 0o644 205 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/rotate_top.doc text/plain root:root 0o644 218 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/save.doc text/plain root:root 0o644 910 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/save_thm.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/save_top_thm.doc text/plain root:root 0o644 2.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/search_path.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/set_equal.doc text/plain root:root 0o644 432 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/set_fail.doc text/plain root:root 0o644 868 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/set_fail_prefix.doc text/plain root:root 0o644 702 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/set_flag.doc text/plain root:root 0o644 467 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/set_goal.doc text/plain root:root 0o644 2.7 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/set_help.doc text/plain root:root 0o644 642 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/set_help_search_path.doc text/plain root:root 0o644 828 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/set_interface_map.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/set_lambda.doc text/plain root:root 0o644 724 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/set_library_search_path.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/set_margin.doc text/plain root:root 0o644 870 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/set_pretty_mode.doc text/plain root:root 0o644 484 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/set_prompt.doc text/plain root:root 0o644 730 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/set_search_path.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/set_state.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/set_sticky_type.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/set_string_escape.doc text/plain root:root 0o644 481 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/set_thm_count.doc text/plain root:root 0o644 419 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/set_turnstile.doc text/plain root:root 0o644 709 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/setify.doc text/plain root:root 0o644 522 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/show_types.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/snd.doc text/plain root:root 0o644 182 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/sort.doc text/plain root:root 0o644 956 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/special_symbols.doc text/plain root:root 0o644 714 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/split.doc text/plain root:root 0o644 275 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/splitp.doc text/plain root:root 0o644 439 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/sticky_list.doc text/plain root:root 0o644 552 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/store_binders.doc text/plain root:root 0o644 203 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/store_definition.doc text/plain root:root 0o644 215 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/string_of_int.doc text/plain root:root 0o644 396 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/strip_abs.doc text/plain root:root 0o644 375 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/strip_comb.doc text/plain root:root 0o644 544 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/strip_exists.doc text/plain root:root 0o644 426 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/strip_forall.doc text/plain root:root 0o644 421 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/strip_imp.doc text/plain root:root 0o644 472 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/strip_pair.doc text/plain root:root 0o644 616 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/subst.doc text/plain root:root 0o644 927 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/subst_occs.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/subtract.doc text/plain root:root 0o644 444 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/suspend_recording.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/syserror.doc text/plain root:root 0o644 353 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/system.doc text/plain root:root 0o644 400 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/term_of_int.doc text/plain root:root 0o644 474 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/theorem.doc text/plain root:root 0o644 897 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/theorem_lfn.doc text/plain root:root 0o644 577 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/theorem_msg_lfn.doc text/plain root:root 0o644 819 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/theorems.doc text/plain root:root 0o644 1018 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/thm_count.doc text/plain root:root 0o644 379 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/thm_frees.doc text/plain root:root 0o644 623 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/timer.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/tl.doc text/plain root:root 0o644 256 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/top_goal.doc text/plain root:root 0o644 699 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/top_print.doc text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/top_proof.doc text/plain root:root 0o644 199 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/top_thm.doc text/plain root:root 0o644 888 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/tryfind.doc text/plain root:root 0o644 523 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/tty_read.doc text/plain root:root 0o644 929 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/tty_write.doc text/plain root:root 0o644 472 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/type_abbrevs.doc text/plain root:root 0o644 680 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/type_in.doc text/plain root:root 0o644 482 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/type_in_type.doc text/plain root:root 0o644 485 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/type_of.doc text/plain root:root 0o644 161 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/type_tyvars.doc text/plain root:root 0o644 423 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/types.doc text/plain root:root 0o644 1013 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/tyvars.doc text/plain root:root 0o644 554 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/tyvarsl.doc text/plain root:root 0o644 651 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/uncurry.doc text/plain root:root 0o644 322 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/undo_autoload.doc text/plain root:root 0o644 675 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/unhide_constant.doc text/plain root:root 0o644 645 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/union.doc text/plain root:root 0o644 454 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/unlink.doc text/plain root:root 0o644 623 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/variant.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/help/ENTRIES/vars.doc text/plain root:root 0o644 369 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/varsl.doc text/plain root:root 0o644 407 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/version.doc text/plain root:root 0o644 463 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/word_separators.doc text/plain root:root 0o644 508 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/words.doc text/plain root:root 0o644 769 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/words2.doc text/plain root:root 0o644 878 bytes
/usr/share/hol88-2.02.19940316/help/ENTRIES/write.doc text/plain root:root 0o644 1021 bytes

APT Browse - Built by Thomas Orozco.