This file is indexed.

/usr/ is in hol88-library 2.02.19940316-35.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/hol88-library/ root:root 0o755
/usr/share/doc/hol88-library/changelog.Debian.gz application/gzip root:root 0o644 624 bytes
/usr/share/hol88-2.02.19940316/Library/sets/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/string/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/taut/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/trs/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/unwind/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/window/ root:root 0o755
/usr/lib/ root:root 0o755
/usr/lib/hol88-2.02.19940316/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/abs_theory/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/abs_theory/abs_theory_ml.o application/x-object root:root 0o644 352.7 KB
/usr/lib/hol88-2.02.19940316/Library/arith/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/arith/arith_cons_ml.o application/x-object root:root 0o644 143.9 KB
/usr/lib/hol88-2.02.19940316/Library/arith/decls_ml.o application/x-object root:root 0o644 89.4 KB
/usr/lib/hol88-2.02.19940316/Library/arith/exists_arith_ml.o application/x-object root:root 0o644 87.5 KB
/usr/lib/hol88-2.02.19940316/Library/arith/gen_arith_ml.o application/x-object root:root 0o644 110.7 KB
/usr/lib/hol88-2.02.19940316/Library/arith/instance_ml.o application/x-object root:root 0o644 41.0 KB
/usr/lib/hol88-2.02.19940316/Library/arith/int_extra_ml.o application/x-object root:root 0o644 59.9 KB
/usr/lib/hol88-2.02.19940316/Library/arith/norm_arith_ml.o application/x-object root:root 0o644 258.6 KB
/usr/lib/hol88-2.02.19940316/Library/arith/norm_bool_ml.o application/x-object root:root 0o644 82.1 KB
/usr/lib/hol88-2.02.19940316/Library/arith/norm_ineqs_ml.o application/x-object root:root 0o644 89.9 KB
/usr/lib/hol88-2.02.19940316/Library/arith/prenex_ml.o application/x-object root:root 0o644 65.4 KB
/usr/lib/hol88-2.02.19940316/Library/arith/qconv_ml.o application/x-object root:root 0o644 127.5 KB
/usr/lib/hol88-2.02.19940316/Library/arith/rationals_ml.o application/x-object root:root 0o644 146.4 KB
/usr/lib/hol88-2.02.19940316/Library/arith/sol_ranges_ml.o application/x-object root:root 0o644 169.3 KB
/usr/lib/hol88-2.02.19940316/Library/arith/solve_ineqs_ml.o application/x-object root:root 0o644 273.4 KB
/usr/lib/hol88-2.02.19940316/Library/arith/solve_ml.o application/x-object root:root 0o644 122.5 KB
/usr/lib/hol88-2.02.19940316/Library/arith/streams_ml.o application/x-object root:root 0o644 85.0 KB
/usr/lib/hol88-2.02.19940316/Library/arith/string_extra_ml.o application/x-object root:root 0o644 34.7 KB
/usr/lib/hol88-2.02.19940316/Library/arith/sub_and_cond_ml.o application/x-object root:root 0o644 80.5 KB
/usr/lib/hol88-2.02.19940316/Library/arith/sup-inf_ml.o application/x-object root:root 0o644 325.8 KB
/usr/lib/hol88-2.02.19940316/Library/arith/term_coeffs_ml.o application/x-object root:root 0o644 147.9 KB
/usr/lib/hol88-2.02.19940316/Library/finite_sets/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/finite_sets/fset_conv_ml.o application/x-object root:root 0o644 301.7 KB
/usr/lib/hol88-2.02.19940316/Library/finite_sets/set_ind_ml.o application/x-object root:root 0o644 85.4 KB
/usr/lib/hol88-2.02.19940316/Library/ind_defs/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/ind_defs/ind-defs_ml.o application/x-object root:root 0o644 919.4 KB
/usr/lib/hol88-2.02.19940316/Library/ind_defs/ind_defs_ml.o application/x-object root:root 0o644 26.6 KB
/usr/lib/hol88-2.02.19940316/Library/latex-hol/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/latex-hol/filters_ml.o application/x-object root:root 0o644 82.1 KB
/usr/lib/hol88-2.02.19940316/Library/latex-hol/formaters_ml.o application/x-object root:root 0o644 185.4 KB
/usr/lib/hol88-2.02.19940316/Library/latex-hol/hol_trees_ml.o application/x-object root:root 0o644 101.5 KB
/usr/lib/hol88-2.02.19940316/Library/latex-hol/latex_sets_pp_ml.o application/x-object root:root 0o644 50.4 KB
/usr/lib/hol88-2.02.19940316/Library/latex-hol/latex_term_pp_ml.o application/x-object root:root 0o644 346.6 KB
/usr/lib/hol88-2.02.19940316/Library/latex-hol/latex_thm_pp_ml.o application/x-object root:root 0o644 50.2 KB
/usr/lib/hol88-2.02.19940316/Library/latex-hol/latex_type_pp_ml.o application/x-object root:root 0o644 88.7 KB
/usr/lib/hol88-2.02.19940316/Library/latex-hol/precedence_ml.o application/x-object root:root 0o644 55.6 KB
/usr/lib/hol88-2.02.19940316/Library/more_arithmetic/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/more_arithmetic/num_convs_ml.o application/x-object root:root 0o644 89.2 KB
/usr/lib/hol88-2.02.19940316/Library/more_arithmetic/num_tac_ml.o application/x-object root:root 0o644 104.9 KB
/usr/lib/hol88-2.02.19940316/Library/numeral/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/numeral/numeral_rules_ml.o application/x-object root:root 0o644 3.3 MB
/usr/lib/hol88-2.02.19940316/Library/pair/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/pair/all_ml.o application/x-object root:root 0o644 201.2 KB
/usr/lib/hol88-2.02.19940316/Library/pair/basic_ml.o application/x-object root:root 0o644 445.1 KB
/usr/lib/hol88-2.02.19940316/Library/pair/both1_ml.o application/x-object root:root 0o644 214.6 KB
/usr/lib/hol88-2.02.19940316/Library/pair/both2_ml.o application/x-object root:root 0o644 306.8 KB
/usr/lib/hol88-2.02.19940316/Library/pair/conv_ml.o application/x-object root:root 0o644 1010.8 KB
/usr/lib/hol88-2.02.19940316/Library/pair/exi_ml.o application/x-object root:root 0o644 298.0 KB
/usr/lib/hol88-2.02.19940316/Library/pair/pair_ml.o application/x-object root:root 0o644 47.0 KB
/usr/lib/hol88-2.02.19940316/Library/pair/syn_ml.o application/x-object root:root 0o644 229.2 KB
/usr/lib/hol88-2.02.19940316/Library/parser/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/parser/general_ml.o application/x-object root:root 0o644 230.3 KB
/usr/lib/hol88-2.02.19940316/Library/parser/parser_ml.o application/x-object root:root 0o644 791.8 KB
/usr/lib/hol88-2.02.19940316/Library/pred_sets/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/pred_sets/fset_conv_ml.o application/x-object root:root 0o644 351.2 KB
/usr/lib/hol88-2.02.19940316/Library/pred_sets/gspec_ml.o application/x-object root:root 0o644 215.6 KB
/usr/lib/hol88-2.02.19940316/Library/pred_sets/set_ind_ml.o application/x-object root:root 0o644 90.7 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/hol_term_pp_ml.o application/x-object root:root 0o644 271.9 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/hol_thm_pp_ml.o application/x-object root:root 0o644 50.2 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/hol_trees_ml.o application/x-object root:root 0o644 101.5 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/hol_type_pp_ml.o application/x-object root:root 0o644 88.7 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/link_to_hol_ml.o application/x-object root:root 0o644 33.3 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/new_printers_ml.o application/x-object root:root 0o644 91.9 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/precedence_ml.o application/x-object root:root 0o644 51.3 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/PP_to_ML_ml.o application/x-object root:root 0o644 52.2 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/convert_ml.o application/x-object root:root 0o644 775.2 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/generate_ml.o application/x-object root:root 0o644 222.1 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/lex_ml.o application/x-object root:root 0o644 171.8 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/pp_lang1_pp_ml.o application/x-object root:root 0o644 253.6 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/pp_lang2_pp_ml.o application/x-object root:root 0o644 343.9 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/syntax_ml.o application/x-object root:root 0o644 765.0 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/boxes_ml.o application/x-object root:root 0o644 270.4 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/boxtostring_ml.o application/x-object root:root 0o644 104.2 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/extents_ml.o application/x-object root:root 0o644 63.5 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/print_ml.o application/x-object root:root 0o644 76.2 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/ptree_ml.o application/x-object root:root 0o644 34.0 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/strings_ml.o application/x-object root:root 0o644 105.5 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/treematch_ml.o application/x-object root:root 0o644 393.6 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/treetobox_ml.o application/x-object root:root 0o644 277.6 KB
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/utils_ml.o application/x-object root:root 0o644 176.7 KB
/usr/lib/hol88-2.02.19940316/Library/record_proof/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/record_proof/dummy_funs_ml.o application/x-object root:root 0o644 34.9 KB
/usr/lib/hol88-2.02.19940316/Library/record_proof/proof_rec_ml.o application/x-object root:root 0o644 473.0 KB
/usr/lib/hol88-2.02.19940316/Library/reduce/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/reduce/arithconv_ml.o application/x-object root:root 0o644 801.4 KB
/usr/lib/hol88-2.02.19940316/Library/reduce/boolconv_ml.o application/x-object root:root 0o644 293.1 KB
/usr/lib/hol88-2.02.19940316/Library/reduce/reduce_ml.o application/x-object root:root 0o644 48.4 KB
/usr/lib/hol88-2.02.19940316/Library/res_quan/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/res_quan/cond_rewr_ml.o application/x-object root:root 0o644 195.0 KB
/usr/lib/hol88-2.02.19940316/Library/res_quan/res_rules_ml.o application/x-object root:root 0o644 486.6 KB
/usr/lib/hol88-2.02.19940316/Library/sets/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/sets/fset_conv_ml.o application/x-object root:root 0o644 349.4 KB
/usr/lib/hol88-2.02.19940316/Library/sets/gspec_ml.o application/x-object root:root 0o644 215.5 KB
/usr/lib/hol88-2.02.19940316/Library/sets/set_ind_ml.o application/x-object root:root 0o644 90.7 KB
/usr/lib/hol88-2.02.19940316/Library/string/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/string/ascii_ml.o application/x-object root:root 0o644 71.0 KB
/usr/lib/hol88-2.02.19940316/Library/string/string_ml.o application/x-object root:root 0o644 58.1 KB
/usr/lib/hol88-2.02.19940316/Library/string/string_rules_ml.o application/x-object root:root 0o644 120.4 KB
/usr/lib/hol88-2.02.19940316/Library/string/stringconv_ml.o application/x-object root:root 0o644 68.3 KB
/usr/lib/hol88-2.02.19940316/Library/taut/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/taut/taut_check_ml.o application/x-object root:root 0o644 444.2 KB
/usr/lib/hol88-2.02.19940316/Library/trs/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/trs/extents_ml.o application/x-object root:root 0o644 21.1 KB
/usr/lib/hol88-2.02.19940316/Library/trs/extract_ml.o application/x-object root:root 0o644 80.7 KB
/usr/lib/hol88-2.02.19940316/Library/trs/matching_ml.o application/x-object root:root 0o644 224.2 KB
/usr/lib/hol88-2.02.19940316/Library/trs/name_ml.o application/x-object root:root 0o644 88.8 KB
/usr/lib/hol88-2.02.19940316/Library/trs/search_ml.o application/x-object root:root 0o644 100.1 KB
/usr/lib/hol88-2.02.19940316/Library/trs/sets_ml.o application/x-object root:root 0o644 37.4 KB
/usr/lib/hol88-2.02.19940316/Library/trs/sidecond_ml.o application/x-object root:root 0o644 147.8 KB
/usr/lib/hol88-2.02.19940316/Library/trs/struct_ml.o application/x-object root:root 0o644 237.0 KB
/usr/lib/hol88-2.02.19940316/Library/trs/thmkind_ml.o application/x-object root:root 0o644 22.7 KB
/usr/lib/hol88-2.02.19940316/Library/trs/user_ml.o application/x-object root:root 0o644 90.0 KB
/usr/lib/hol88-2.02.19940316/Library/unwind/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/unwind/unwinding_ml.o application/x-object root:root 0o644 552.2 KB
/usr/lib/hol88-2.02.19940316/Library/window/ root:root 0o755
/usr/lib/hol88-2.02.19940316/Library/window/basic_close_ml.o application/x-object root:root 0o644 312.4 KB
/usr/lib/hol88-2.02.19940316/Library/window/eq_close_ml.o application/x-object root:root 0o644 287.5 KB
/usr/lib/hol88-2.02.19940316/Library/window/hol_ext_ml.o application/x-object root:root 0o644 262.7 KB
/usr/lib/hol88-2.02.19940316/Library/window/imp_close_ml.o application/x-object root:root 0o644 649.3 KB
/usr/lib/hol88-2.02.19940316/Library/window/inter_ml.o application/x-object root:root 0o644 375.0 KB
/usr/lib/hol88-2.02.19940316/Library/window/load_code_ml.o application/x-object root:root 0o644 36.5 KB
/usr/lib/hol88-2.02.19940316/Library/window/load_window_ml.o application/x-object root:root 0o644 31.9 KB
/usr/lib/hol88-2.02.19940316/Library/window/ml_ext_ml.o application/x-object root:root 0o644 143.1 KB
/usr/lib/hol88-2.02.19940316/Library/window/tables_ml.o application/x-object root:root 0o644 324.5 KB
/usr/lib/hol88-2.02.19940316/Library/window/tactic_ml.o application/x-object root:root 0o644 70.6 KB
/usr/lib/hol88-2.02.19940316/Library/window/thms_ml.o application/x-object root:root 0o644 80.1 KB
/usr/lib/hol88-2.02.19940316/Library/window/win_ml.o application/x-object root:root 0o644 475.8 KB
/usr/lib/hol88-2.02.19940316/Library/window/window_ml.o application/x-object root:root 0o644 54.9 KB
/usr/lib/hol88-2.02.19940316/Library/window/xlabel_ml.o application/x-object root:root 0o644 62.1 KB
/usr/share/doc/hol88-library/copyright text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/abs_theory/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/arith/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/finite_sets/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/ind_defs/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/latex-hol/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/numeral/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/pair/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/parser/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/pred_sets/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/prettyp/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_hol/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_parser/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/record_proof/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/reduce/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/res_quan/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/abs_theory/abs_theory_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/arith_cons_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/decls_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/exists_arith_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/gen_arith_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/instance_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/int_extra_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/norm_arith_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/norm_bool_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/norm_ineqs_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/prenex_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/qconv_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/rationals_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/sol_ranges_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/solve_ineqs_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/solve_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/streams_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/string_extra_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/sub_and_cond_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/sup-inf_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/arith/term_coeffs_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/finite_sets/fset_conv_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/finite_sets/set_ind_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/ind_defs/ind-defs_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/ind_defs/ind_defs_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/latex-hol/filters_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/latex-hol/formaters_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/latex-hol/hol_trees_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/latex-hol/latex_sets_pp_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/latex-hol/latex_term_pp_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/latex-hol/latex_thm_pp_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/latex-hol/latex_type_pp_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/latex-hol/precedence_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/num_convs_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/num_tac_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/numeral/numeral_rules_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/pair/all_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/pair/basic_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/pair/both1_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/pair/both2_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/pair/conv_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/pair/exi_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/pair/pair_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/pair/syn_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/parser/general_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/parser/parser_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/pred_sets/fset_conv_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/pred_sets/gspec_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/sets/fset_conv_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/pred_sets/set_ind_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_hol/hol_term_pp_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_hol/hol_thm_pp_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_hol/hol_trees_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_hol/hol_type_pp_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_hol/link_to_hol_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_hol/new_printers_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_hol/precedence_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_parser/PP_to_ML_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_parser/convert_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_parser/generate_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_parser/lex_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_parser/pp_lang1_pp_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_parser/pp_lang2_pp_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_parser/syntax_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/boxes_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/boxtostring_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/extents_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/print_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/ptree_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/strings_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/treematch_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/treetobox_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/utils_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/record_proof/dummy_funs_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/record_proof/proof_rec_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/reduce/arithconv_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/reduce/boolconv_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/reduce/reduce_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/res_quan/cond_rewr_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/res_quan/res_rules_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/sets/gspec_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/sets/set_ind_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/string/ascii_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/string/string_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/string/string_rules_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/string/stringconv_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/taut/taut_check_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/trs/extents_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/trs/extract_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/trs/matching_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/trs/name_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/trs/search_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/trs/sets_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/trs/sidecond_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/trs/struct_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/trs/thmkind_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/trs/user_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/unwind/unwinding_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/window/basic_close_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/window/eq_close_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/window/hol_ext_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/window/imp_close_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/window/inter_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/window/load_code_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/window/load_window_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/window/ml_ext_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/window/tables_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/window/tactic_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/window/thms_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/window/win_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/window/window_ml.o root:root 0o777
/usr/share/hol88-2.02.19940316/Library/window/xlabel_ml.o root:root 0o777