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

This file is indexed.

/usr/share/hol88-2.02.19940316/Library/res_quan/ 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/res_quan/help/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/COND_REWRITE1_CONV.doc text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/COND_REWRITE1_TAC.doc text/plain root:root 0o644 2.0 KB
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/COND_REWR_CANON.doc text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/COND_REWR_CONV.doc text/plain root:root 0o644 2.9 KB
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/COND_REWR_TAC.doc text/plain root:root 0o644 5.1 KB
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/GQSPECL.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/GQSPEC_ALL.doc text/plain root:root 0o644 951 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/IMP_RESQ_FORALL_CONV.doc text/plain root:root 0o644 498 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/LIST_RESQ_FORALL_CONV.doc text/plain root:root 0o644 546 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_EXISTS_CONV.doc text/plain root:root 0o644 560 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_EXISTS_TAC.doc text/plain root:root 0o644 699 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_FORALL_AND_CONV.doc text/plain root:root 0o644 487 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_FORALL_CONV.doc text/plain root:root 0o644 583 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_FORALL_SWAP_CONV.doc text/plain root:root 0o644 559 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_GEN.doc text/plain root:root 0o644 918 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_GENL.doc text/plain root:root 0o644 982 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_GEN_ALL.doc text/plain root:root 0o644 606 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_GEN_TAC.doc text/plain root:root 0o644 955 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_HALF_EXISTS.doc text/plain root:root 0o644 651 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_HALF_GEN_TAC.doc text/plain root:root 0o644 900 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_HALF_SPEC.doc text/plain root:root 0o644 697 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_IMP_RES_TAC.doc text/plain root:root 0o644 779 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_IMP_RES_THEN.doc text/plain root:root 0o644 1014 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_MATCH_MP.doc text/plain root:root 0o644 990 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_RES_TAC.doc text/plain root:root 0o644 875 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_RES_THEN.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_REWRITE1_CONV.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_REWRITE1_TAC.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_REWR_CANON.doc text/plain root:root 0o644 1008 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_SPEC.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_SPECL.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/RESQ_SPEC_ALL.doc text/plain root:root 0o644 908 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/dest_resq_abstract.doc text/plain root:root 0o644 506 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/dest_resq_exists.doc text/plain root:root 0o644 537 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/dest_resq_forall.doc text/plain root:root 0o644 531 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/dest_resq_select.doc text/plain root:root 0o644 520 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/is_resq_abstract.doc text/plain root:root 0o644 337 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/is_resq_exists.doc text/plain root:root 0o644 358 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/is_resq_forall.doc text/plain root:root 0o644 354 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/is_resq_select.doc text/plain root:root 0o644 347 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/list_mk_resq_exists.doc text/plain root:root 0o644 597 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/list_mk_resq_forall.doc text/plain root:root 0o644 595 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/mk_resq_abstract.doc text/plain root:root 0o644 410 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/mk_resq_exists.doc text/plain root:root 0o644 411 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/mk_resq_forall.doc text/plain root:root 0o644 409 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/mk_resq_select.doc text/plain root:root 0o644 406 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/new_binder_resq_definition.doc text/plain root:root 0o644 2.4 KB
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/new_infix_resq_definition.doc text/plain root:root 0o644 3.2 KB
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/new_resq_definition.doc text/plain root:root 0o644 2.7 KB
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/search_top_down.doc text/plain root:root 0o644 2.0 KB
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/strip_resq_exists.doc text/plain root:root 0o644 649 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/entries/strip_resq_forall.doc text/plain root:root 0o644 643 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/thms/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/res_quan/help/thms/DISJ_RESQ_EXISTS_DIST.doc text/plain root:root 0o644 129 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/thms/RESQ_EXISTS_DISJ_DIST.doc text/plain root:root 0o644 120 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/thms/RESQ_EXISTS_REORDER.doc text/plain root:root 0o644 115 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/thms/RESQ_EXISTS_UNIQUE.doc text/plain root:root 0o644 82 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/thms/RESQ_FORALL_CONJ_DIST.doc text/plain root:root 0o644 120 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/thms/RESQ_FORALL_DISJ_DIST.doc text/plain root:root 0o644 129 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/thms/RESQ_FORALL_FORALL.doc text/plain root:root 0o644 104 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/thms/RESQ_FORALL_REORDER.doc text/plain root:root 0o644 115 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/help/thms/RESQ_FORALL_UNIQUE.doc text/plain root:root 0o644 82 bytes

APT Browse - Built by Thomas Orozco.