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

This file is indexed.

/usr/share/hol88-2.02.19940316/Library/trs/ 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/trs/help/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/Ancestors.doc text/plain root:root 0o644 914 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/Ancestry.doc text/plain root:root 0o644 1021 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/Andalso.doc text/plain root:root 0o644 302 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/Axiom.doc text/plain root:root 0o644 239 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/BigAnd.doc text/plain root:root 0o644 292 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/BigOr.doc text/plain root:root 0o644 299 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/CS.doc text/plain root:root 0o644 756 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/Definition.doc text/plain root:root 0o644 248 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/Endofsearch.doc text/plain root:root 0o644 610 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/FT.doc text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/List.doc text/plain root:root 0o644 382 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/List_from.doc text/plain root:root 0o644 506 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/Not.doc text/plain root:root 0o644 477 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/Orelse.doc text/plain root:root 0o644 311 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/Paths.doc text/plain root:root 0o644 745 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/Step.doc text/plain root:root 0o644 631 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/Theorem.doc text/plain root:root 0o644 250 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/Theory.doc text/plain root:root 0o644 511 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/Where.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/ancestors_excluding.doc text/plain root:root 0o644 1022 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/conc.doc text/plain root:root 0o644 657 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/contains.doc text/plain root:root 0o644 949 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/continue_search.doc text/plain root:root 0o644 746 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/find_theorems.doc text/plain root:root 0o644 1023 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/full_search.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/has_body.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/hypF.doc text/plain root:root 0o644 786 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/hypP.doc text/plain root:root 0o644 826 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/kind.doc text/plain root:root 0o644 518 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/matches.doc text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/run_search.doc text/plain root:root 0o644 821 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/search_n_theories.doc text/plain root:root 0o644 739 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/search_n_until_find.doc text/plain root:root 0o644 945 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/search_until_find.doc text/plain root:root 0o644 811 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/show_step.doc text/plain root:root 0o644 326 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/test1term.doc text/plain root:root 0o644 921 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/test1type.doc text/plain root:root 0o644 926 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/test2terms.doc text/plain root:root 0o644 967 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/test2types.doc text/plain root:root 0o644 972 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/thmname.doc text/plain root:root 0o644 647 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/entries/thryname.doc text/plain root:root 0o644 705 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Andalso'.doc text/plain root:root 0o644 160 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Conc'.doc text/plain root:root 0o644 132 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Conc.doc text/plain root:root 0o644 126 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Contains.doc text/plain root:root 0o644 145 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Has_body.doc text/plain root:root 0o644 145 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/HypF'.doc text/plain root:root 0o644 137 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/HypF.doc text/plain root:root 0o644 131 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/HypP'.doc text/plain root:root 0o644 137 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/HypP.doc text/plain root:root 0o644 131 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Kind'.doc text/plain root:root 0o644 128 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Kind.doc text/plain root:root 0o644 122 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Match.doc text/plain root:root 0o644 160 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Match_null.doc text/plain root:root 0o644 123 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Matches.doc text/plain root:root 0o644 143 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Nomatch.doc text/plain root:root 0o644 117 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Not'.doc text/plain root:root 0o644 133 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Orelse'.doc text/plain root:root 0o644 158 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Side'.doc text/plain root:root 0o644 135 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Side.doc text/plain root:root 0o644 129 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Test1term.doc text/plain root:root 0o644 150 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Test1type.doc text/plain root:root 0o644 151 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Test2terms.doc text/plain root:root 0o644 221 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Test2types.doc text/plain root:root 0o644 223 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Thmname'.doc text/plain root:root 0o644 138 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Thmname.doc text/plain root:root 0o644 132 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Thryname'.doc text/plain root:root 0o644 140 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Thryname.doc text/plain root:root 0o644 134 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/Where'.doc text/plain root:root 0o644 156 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/approms.doc text/plain root:root 0o644 229 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/autonamepattern.doc text/plain root:root 0o644 144 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/autotermpattern.doc text/plain root:root 0o644 142 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/bool_to_rom.doc text/plain root:root 0o644 138 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/containsfn.doc text/plain root:root 0o644 159 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/dest_binder.doc text/plain root:root 0o644 136 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/do_once_only.doc text/plain root:root 0o644 133 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/flatten_paths.doc text/plain root:root 0o644 149 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/get_boundvars.doc text/plain root:root 0o644 136 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/get_consts.doc text/plain root:root 0o644 130 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/get_freevars.doc text/plain root:root 0o644 134 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/get_ids.doc text/plain root:root 0o644 150 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/get_primtypes.doc text/plain root:root 0o644 136 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/get_primvartypes.doc text/plain root:root 0o644 142 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/get_theorems.doc text/plain root:root 0o644 140 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/get_types.doc text/plain root:root 0o644 128 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/is_primtype.doc text/plain root:root 0o644 127 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/is_subset.doc text/plain root:root 0o644 135 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/join.doc text/plain root:root 0o644 256 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/join_matchings.doc text/plain root:root 0o644 153 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/make_full_namepattern.doc text/plain root:root 0o644 176 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/make_full_termpattern.doc text/plain root:root 0o644 180 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/make_matching.doc text/plain root:root 0o644 150 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/make_namepattern.doc text/plain root:root 0o644 170 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/make_termpattern.doc text/plain root:root 0o644 205 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/make_wildchar.doc text/plain root:root 0o644 137 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/make_wildtype.doc text/plain root:root 0o644 135 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/make_wildvar.doc text/plain root:root 0o644 132 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/match_internal_term.doc text/plain root:root 0o644 242 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/match_of_type.doc text/plain root:root 0o644 147 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/match_of_var.doc text/plain root:root 0o644 144 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/match_term.doc text/plain root:root 0o644 206 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/match_type.doc text/plain root:root 0o644 147 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/merge.doc text/plain root:root 0o644 150 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/namematch.doc text/plain root:root 0o644 140 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/no_rep.doc text/plain root:root 0o644 119 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/null_matching.doc text/plain root:root 0o644 122 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/prim_subtypes.doc text/plain root:root 0o644 136 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/remove_bv.doc text/plain root:root 0o644 239 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/remove_rep.doc text/plain root:root 0o644 129 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/rom_to_bool.doc text/plain root:root 0o644 138 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/searchseq.doc text/plain root:root 0o644 152 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/show_full_matching.doc text/plain root:root 0o644 212 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/show_full_namepattern.doc text/plain root:root 0o644 176 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/show_full_termpattern.doc text/plain root:root 0o644 180 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/show_matching.doc text/plain root:root 0o644 204 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/show_namepattern.doc text/plain root:root 0o644 170 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/show_termpattern.doc text/plain root:root 0o644 205 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/show_thmpattern.doc text/plain root:root 0o644 151 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/show_wildchar.doc text/plain root:root 0o644 137 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/show_wildtype.doc text/plain root:root 0o644 135 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/show_wildvar.doc text/plain root:root 0o644 132 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/side.doc text/plain root:root 0o644 129 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/strip_binders.doc text/plain root:root 0o644 131 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/subtypes.doc text/plain root:root 0o644 126 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/thmfilter.doc text/plain root:root 0o644 155 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/thmmatch.doc text/plain root:root 0o644 139 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/wildchar1.doc text/plain root:root 0o644 112 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/wildcharn.doc text/plain root:root 0o644 112 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/wildtypelist.doc text/plain root:root 0o644 143 bytes
/usr/share/hol88-2.02.19940316/Library/trs/help/internals/wildvarlist.doc text/plain root:root 0o644 140 bytes

APT Browse - Built by Thomas Orozco.