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

This file is indexed.

/usr/share/hol88-2.02.19940316/Library/pair/ 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/pair/help/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/AND_PEXISTS_CONV.doc text/plain root:root 0o644 709 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/AND_PFORALL_CONV.doc text/plain root:root 0o644 530 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/CURRY_CONV.doc text/plain root:root 0o644 439 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/CURRY_EXISTS_CONV.doc text/plain root:root 0o644 688 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/CURRY_FORALL_CONV.doc text/plain root:root 0o644 682 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/FILTER_PGEN_TAC.doc text/plain root:root 0o644 929 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/FILTER_PSTRIP_TAC.doc text/plain root:root 0o644 2.6 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/FILTER_PSTRIP_THEN.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/GEN_PALPHA_CONV.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/GPSPEC.doc text/plain root:root 0o644 836 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/HALF_MK_PABS.doc text/plain root:root 0o644 752 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/IPSPEC.doc text/plain root:root 0o644 753 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/IPSPECL.doc text/plain root:root 0o644 706 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/LEFT_AND_PEXISTS_CONV.doc text/plain root:root 0o644 699 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/LEFT_AND_PFORALL_CONV.doc text/plain root:root 0o644 648 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/LEFT_IMP_PEXISTS_CONV.doc text/plain root:root 0o644 697 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/LEFT_IMP_PFORALL_CONV.doc text/plain root:root 0o644 693 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/LEFT_LIST_PBETA.doc text/plain root:root 0o644 803 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/LEFT_OR_PEXISTS_CONV.doc text/plain root:root 0o644 695 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/LEFT_OR_PFORALL_CONV.doc text/plain root:root 0o644 701 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/LEFT_PBETA.doc text/plain root:root 0o644 692 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/LIST_MK_PEXISTS.doc text/plain root:root 0o644 929 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/LIST_MK_PFORALL.doc text/plain root:root 0o644 923 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/LIST_PBETA_CONV.doc text/plain root:root 0o644 937 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/MK_PABS.doc text/plain root:root 0o644 569 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/MK_PAIR.doc text/plain root:root 0o644 491 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/MK_PEXISTS.doc text/plain root:root 0o644 598 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/MK_PFORALL.doc text/plain root:root 0o644 590 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/MK_PSELECT.doc text/plain root:root 0o644 583 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/NOT_PEXISTS_CONV.doc text/plain root:root 0o644 504 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/NOT_PFORALL_CONV.doc text/plain root:root 0o644 576 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/OR_PEXISTS_CONV.doc text/plain root:root 0o644 551 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/OR_PFORALL_CONV.doc text/plain root:root 0o644 730 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PABS.doc text/plain root:root 0o644 582 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PABS_CONV.doc text/plain root:root 0o644 967 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PAIR_CONV.doc text/plain root:root 0o644 681 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PALPHA.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PALPHA_CONV.doc text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PART_PMATCH.doc text/plain root:root 0o644 796 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PBETA_CONV.doc text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PBETA_RULE.doc text/plain root:root 0o644 653 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PBETA_TAC.doc text/plain root:root 0o644 632 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PCHOOSE.doc text/plain root:root 0o644 927 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PCHOOSE_TAC.doc text/plain root:root 0o644 748 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PCHOOSE_THEN.doc text/plain root:root 0o644 942 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PETA_CONV.doc text/plain root:root 0o644 394 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PEXISTENCE.doc text/plain root:root 0o644 583 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PEXISTS.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PEXISTS_AND_CONV.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PEXISTS_CONV.doc text/plain root:root 0o644 649 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PEXISTS_EQ.doc text/plain root:root 0o644 936 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PEXISTS_IMP.doc text/plain root:root 0o644 799 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PEXISTS_IMP_CONV.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PEXISTS_NOT_CONV.doc text/plain root:root 0o644 502 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PEXISTS_OR_CONV.doc text/plain root:root 0o644 534 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PEXISTS_RULE.doc text/plain root:root 0o644 658 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PEXISTS_TAC.doc text/plain root:root 0o644 725 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PEXISTS_UNIQUE_CONV.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PEXT.doc text/plain root:root 0o644 753 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PFORALL_AND_CONV.doc text/plain root:root 0o644 537 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PFORALL_EQ.doc text/plain root:root 0o644 898 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PFORALL_IMP_CONV.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PFORALL_NOT_CONV.doc text/plain root:root 0o644 498 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PFORALL_OR_CONV.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PGEN.doc text/plain root:root 0o644 753 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PGENL.doc text/plain root:root 0o644 808 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PGEN_TAC.doc text/plain root:root 0o644 734 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PMATCH_MP.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PMATCH_MP_TAC.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PSELECT_CONV.doc text/plain root:root 0o644 693 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PSELECT_ELIM.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PSELECT_EQ.doc text/plain root:root 0o644 799 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PSELECT_INTRO.doc text/plain root:root 0o644 756 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PSELECT_RULE.doc text/plain root:root 0o644 719 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PSKOLEM_CONV.doc text/plain root:root 0o644 917 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PSPEC.doc text/plain root:root 0o644 1010 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PSPECL.doc text/plain root:root 0o644 949 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PSPEC_ALL.doc text/plain root:root 0o644 775 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PSPEC_PAIR.doc text/plain root:root 0o644 777 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PSPEC_TAC.doc text/plain root:root 0o644 899 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PSTRIP_ASSUME_TAC.doc text/plain root:root 0o644 1.9 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PSTRIP_GOAL_THEN.doc text/plain root:root 0o644 1.7 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PSTRIP_TAC.doc text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PSTRIP_THM_THEN.doc text/plain root:root 0o644 2.3 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PSTRUCT_CASES_TAC.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/PSUB_CONV.doc text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/P_FUN_EQ_CONV.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/P_PCHOOSE_TAC.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/P_PCHOOSE_THEN.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/P_PGEN_TAC.doc text/plain root:root 0o644 781 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/P_PSKOLEM_CONV.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/RIGHT_AND_PEXISTS_CONV.doc text/plain root:root 0o644 707 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/RIGHT_AND_PFORALL_CONV.doc text/plain root:root 0o644 704 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/RIGHT_IMP_PEXISTS_CONV.doc text/plain root:root 0o644 688 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/RIGHT_IMP_PFORALL_CONV.doc text/plain root:root 0o644 697 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/RIGHT_LIST_PBETA.doc text/plain root:root 0o644 809 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/RIGHT_OR_PEXISTS_CONV.doc text/plain root:root 0o644 701 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/RIGHT_OR_PFORALL_CONV.doc text/plain root:root 0o644 707 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/RIGHT_PBETA.doc text/plain root:root 0o644 699 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/SWAP_PEXISTS_CONV.doc text/plain root:root 0o644 495 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/SWAP_PFORALL_CONV.doc text/plain root:root 0o644 475 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/UNCURRY_CONV.doc text/plain root:root 0o644 351 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/UNCURRY_EXISTS_CONV.doc text/plain root:root 0o644 688 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/UNCURRY_FORALL_CONV.doc text/plain root:root 0o644 682 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/UNPBETA_CONV.doc text/plain root:root 0o644 501 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/bndpair.doc text/plain root:root 0o644 273 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/dest_pabs.doc text/plain root:root 0o644 395 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/dest_pexists.doc text/plain root:root 0o644 489 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/dest_pforall.doc text/plain root:root 0o644 483 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/dest_prod.doc text/plain root:root 0o644 353 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/dest_pselect.doc text/plain root:root 0o644 437 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/genlike.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/is_pabs.doc text/plain root:root 0o644 305 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/is_pexists.doc text/plain root:root 0o644 353 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/is_pforall.doc text/plain root:root 0o644 351 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/is_prod.doc text/plain root:root 0o644 226 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/is_pselect.doc text/plain root:root 0o644 322 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/is_pvar.doc text/plain root:root 0o644 364 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/list_mk_pabs.doc text/plain root:root 0o644 426 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/list_mk_pexists.doc text/plain root:root 0o644 596 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/list_mk_pforall.doc text/plain root:root 0o644 595 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/mk_pabs.doc text/plain root:root 0o644 329 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/mk_pexists.doc text/plain root:root 0o644 389 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/mk_pforall.doc text/plain root:root 0o644 390 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/mk_prod.doc text/plain root:root 0o644 252 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/mk_pselect.doc text/plain root:root 0o644 357 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/occs_in.doc text/plain root:root 0o644 456 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/paconv.doc text/plain root:root 0o644 377 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/pbody.doc text/plain root:root 0o644 258 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/pvariant.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/rip_pair.doc text/plain root:root 0o644 419 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/strip_pabs.doc text/plain root:root 0o644 420 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/strip_pexists.doc text/plain root:root 0o644 476 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/entries/strip_pforall.doc text/plain root:root 0o644 471 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/thms/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/pair/help/thms/CURRY_ONE_ONE_THM.doc text/plain root:root 0o644 74 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/thms/CURRY_UNCURRY_THM.doc text/plain root:root 0o644 69 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/thms/PEXISTS_THM.doc text/plain root:root 0o644 74 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/thms/PFORALL_THM.doc text/plain root:root 0o644 74 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/thms/UNCURRY_CURRY_THM.doc text/plain root:root 0o644 69 bytes
/usr/share/hol88-2.02.19940316/Library/pair/help/thms/UNCURRY_ONE_ONE_THM.doc text/plain root:root 0o644 80 bytes

APT Browse - Built by Thomas Orozco.