This package is 3.0 MB.
It is available at http://ftp.debian.org/debian/pool/main/h/hol88/hol88-library_2.02.19940316-33_amd64.deb
.
View its full control file here:
debian/control.
Higher Order Logic, binary library modules
This package does not depend on any other package.
This package does not recommend any other package.
This package does not suggest any other package.
This package does not conflict with any other package.
hol88-library 2.02.19940316-33 is in debian - stretch / main. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
/usr/
|
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 | 353.1 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 | 144.3 KB |
/usr/lib/hol88-2.02.19940316/Library/arith/decls_ml.o
|
application/x-object | root:root | 0o644 | 89.3 KB |
/usr/lib/hol88-2.02.19940316/Library/arith/exists_arith_ml.o
|
application/x-object | root:root | 0o644 | 88.7 KB |
/usr/lib/hol88-2.02.19940316/Library/arith/gen_arith_ml.o
|
application/x-object | root:root | 0o644 | 110.4 KB |
/usr/lib/hol88-2.02.19940316/Library/arith/instance_ml.o
|
application/x-object | root:root | 0o644 | 40.9 KB |
/usr/lib/hol88-2.02.19940316/Library/arith/int_extra_ml.o
|
application/x-object | root:root | 0o644 | 60.1 KB |
/usr/lib/hol88-2.02.19940316/Library/arith/norm_arith_ml.o
|
application/x-object | root:root | 0o644 | 255.5 KB |
/usr/lib/hol88-2.02.19940316/Library/arith/norm_bool_ml.o
|
application/x-object | root:root | 0o644 | 83.3 KB |
/usr/lib/hol88-2.02.19940316/Library/arith/norm_ineqs_ml.o
|
application/x-object | root:root | 0o644 | 91.0 KB |
/usr/lib/hol88-2.02.19940316/Library/arith/prenex_ml.o
|
application/x-object | root:root | 0o644 | 66.7 KB |
/usr/lib/hol88-2.02.19940316/Library/arith/qconv_ml.o
|
application/x-object | root:root | 0o644 | 126.7 KB |
/usr/lib/hol88-2.02.19940316/Library/arith/rationals_ml.o
|
application/x-object | root:root | 0o644 | 143.0 KB |
/usr/lib/hol88-2.02.19940316/Library/arith/sol_ranges_ml.o
|
application/x-object | root:root | 0o644 | 168.5 KB |
/usr/lib/hol88-2.02.19940316/Library/arith/solve_ineqs_ml.o
|
application/x-object | root:root | 0o644 | 272.8 KB |
/usr/lib/hol88-2.02.19940316/Library/arith/solve_ml.o
|
application/x-object | root:root | 0o644 | 123.3 KB |
/usr/lib/hol88-2.02.19940316/Library/arith/streams_ml.o
|
application/x-object | root:root | 0o644 | 84.1 KB |
/usr/lib/hol88-2.02.19940316/Library/arith/string_extra_ml.o
|
application/x-object | root:root | 0o644 | 34.3 KB |
/usr/lib/hol88-2.02.19940316/Library/arith/sub_and_cond_ml.o
|
application/x-object | root:root | 0o644 | 81.7 KB |
/usr/lib/hol88-2.02.19940316/Library/arith/sup-inf_ml.o
|
application/x-object | root:root | 0o644 | 327.1 KB |
/usr/lib/hol88-2.02.19940316/Library/arith/term_coeffs_ml.o
|
application/x-object | root:root | 0o644 | 148.2 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 | 300.8 KB |
/usr/lib/hol88-2.02.19940316/Library/finite_sets/set_ind_ml.o
|
application/x-object | root:root | 0o644 | 86.1 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 | 26.4 KB |
/usr/lib/hol88-2.02.19940316/Library/ind_defs/ind-defs_ml.o
|
application/x-object | root:root | 0o644 | 918.8 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 | 78.8 KB |
/usr/lib/hol88-2.02.19940316/Library/latex-hol/formaters_ml.o
|
application/x-object | root:root | 0o644 | 186.1 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.3 KB |
/usr/lib/hol88-2.02.19940316/Library/latex-hol/latex_term_pp_ml.o
|
application/x-object | root:root | 0o644 | 346.1 KB |
/usr/lib/hol88-2.02.19940316/Library/latex-hol/latex_thm_pp_ml.o
|
application/x-object | root:root | 0o644 | 50.0 KB |
/usr/lib/hol88-2.02.19940316/Library/latex-hol/latex_type_pp_ml.o
|
application/x-object | root:root | 0o644 | 87.0 KB |
/usr/lib/hol88-2.02.19940316/Library/latex-hol/precedence_ml.o
|
application/x-object | root:root | 0o644 | 52.0 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 | 87.9 KB |
/usr/lib/hol88-2.02.19940316/Library/more_arithmetic/num_tac_ml.o
|
application/x-object | root:root | 0o644 | 105.6 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 | 202.1 KB |
/usr/lib/hol88-2.02.19940316/Library/pair/basic_ml.o
|
application/x-object | root:root | 0o644 | 444.4 KB |
/usr/lib/hol88-2.02.19940316/Library/pair/both1_ml.o
|
application/x-object | root:root | 0o644 | 214.5 KB |
/usr/lib/hol88-2.02.19940316/Library/pair/both2_ml.o
|
application/x-object | root:root | 0o644 | 307.3 KB |
/usr/lib/hol88-2.02.19940316/Library/pair/conv_ml.o
|
application/x-object | root:root | 0o644 | 1005.7 KB |
/usr/lib/hol88-2.02.19940316/Library/pair/exi_ml.o
|
application/x-object | root:root | 0o644 | 299.0 KB |
/usr/lib/hol88-2.02.19940316/Library/pair/pair_ml.o
|
application/x-object | root:root | 0o644 | 46.8 KB |
/usr/lib/hol88-2.02.19940316/Library/pair/syn_ml.o
|
application/x-object | root:root | 0o644 | 229.7 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 | 229.2 KB |
/usr/lib/hol88-2.02.19940316/Library/parser/parser_ml.o
|
application/x-object | root:root | 0o644 | 790.3 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 | 349.7 KB |
/usr/lib/hol88-2.02.19940316/Library/pred_sets/gspec_ml.o
|
application/x-object | root:root | 0o644 | 215.5 KB |
/usr/lib/hol88-2.02.19940316/Library/pred_sets/set_ind_ml.o
|
application/x-object | root:root | 0o644 | 91.4 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.5 KB |
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/hol_thm_pp_ml.o
|
application/x-object | root:root | 0o644 | 50.0 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 | 87.0 KB |
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/link_to_hol_ml.o
|
application/x-object | root:root | 0o644 | 33.2 KB |
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/new_printers_ml.o
|
application/x-object | root:root | 0o644 | 92.8 KB |
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/precedence_ml.o
|
application/x-object | root:root | 0o644 | 47.8 KB |
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/
|
root:root | 0o755 | ||
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/convert_ml.o
|
application/x-object | root:root | 0o644 | 775.5 KB |
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/generate_ml.o
|
application/x-object | root:root | 0o644 | 221.5 KB |
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/lex_ml.o
|
application/x-object | root:root | 0o644 | 170.8 KB |
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/pp_lang1_pp_ml.o
|
application/x-object | root:root | 0o644 | 253.4 KB |
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/pp_lang2_pp_ml.o
|
application/x-object | root:root | 0o644 | 343.6 KB |
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/PP_to_ML_ml.o
|
application/x-object | root:root | 0o644 | 53.4 KB |
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/syntax_ml.o
|
application/x-object | root:root | 0o644 | 753.7 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 | 268.4 KB |
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/boxtostring_ml.o
|
application/x-object | root:root | 0o644 | 102.7 KB |
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/extents_ml.o
|
application/x-object | root:root | 0o644 | 62.9 KB |
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/print_ml.o
|
application/x-object | root:root | 0o644 | 75.9 KB |
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/ptree_ml.o
|
application/x-object | root:root | 0o644 | 33.7 KB |
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/strings_ml.o
|
application/x-object | root:root | 0o644 | 104.3 KB |
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/treematch_ml.o
|
application/x-object | root:root | 0o644 | 390.3 KB |
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/treetobox_ml.o
|
application/x-object | root:root | 0o644 | 274.0 KB |
/usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/utils_ml.o
|
application/x-object | root:root | 0o644 | 176.3 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.7 KB |
/usr/lib/hol88-2.02.19940316/Library/record_proof/proof_rec_ml.o
|
application/x-object | root:root | 0o644 | 460.9 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 | 787.1 KB |
/usr/lib/hol88-2.02.19940316/Library/reduce/boolconv_ml.o
|
application/x-object | root:root | 0o644 | 290.3 KB |
/usr/lib/hol88-2.02.19940316/Library/reduce/reduce_ml.o
|
application/x-object | root:root | 0o644 | 48.3 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 | 196.1 KB |
/usr/lib/hol88-2.02.19940316/Library/res_quan/res_rules_ml.o
|
application/x-object | root:root | 0o644 | 488.1 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 | 347.8 KB |
/usr/lib/hol88-2.02.19940316/Library/sets/gspec_ml.o
|
application/x-object | root:root | 0o644 | 215.4 KB |
/usr/lib/hol88-2.02.19940316/Library/sets/set_ind_ml.o
|
application/x-object | root:root | 0o644 | 91.4 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.9 KB |
/usr/lib/hol88-2.02.19940316/Library/string/stringconv_ml.o
|
application/x-object | root:root | 0o644 | 68.4 KB |
/usr/lib/hol88-2.02.19940316/Library/string/string_ml.o
|
application/x-object | root:root | 0o644 | 59.4 KB |
/usr/lib/hol88-2.02.19940316/Library/string/string_rules_ml.o
|
application/x-object | root:root | 0o644 | 120.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 | 441.8 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.0 KB |
/usr/lib/hol88-2.02.19940316/Library/trs/extract_ml.o
|
application/x-object | root:root | 0o644 | 81.7 KB |
/usr/lib/hol88-2.02.19940316/Library/trs/matching_ml.o
|
application/x-object | root:root | 0o644 | 223.4 KB |
/usr/lib/hol88-2.02.19940316/Library/trs/name_ml.o
|
application/x-object | root:root | 0o644 | 88.3 KB |
/usr/lib/hol88-2.02.19940316/Library/trs/search_ml.o
|
application/x-object | root:root | 0o644 | 99.7 KB |
/usr/lib/hol88-2.02.19940316/Library/trs/sets_ml.o
|
application/x-object | root:root | 0o644 | 37.3 KB |
/usr/lib/hol88-2.02.19940316/Library/trs/sidecond_ml.o
|
application/x-object | root:root | 0o644 | 147.2 KB |
/usr/lib/hol88-2.02.19940316/Library/trs/struct_ml.o
|
application/x-object | root:root | 0o644 | 235.3 KB |
/usr/lib/hol88-2.02.19940316/Library/trs/thmkind_ml.o
|
application/x-object | root:root | 0o644 | 22.6 KB |
/usr/lib/hol88-2.02.19940316/Library/trs/user_ml.o
|
application/x-object | root:root | 0o644 | 89.2 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.6 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.3 KB |
/usr/lib/hol88-2.02.19940316/Library/window/eq_close_ml.o
|
application/x-object | root:root | 0o644 | 284.2 KB |
/usr/lib/hol88-2.02.19940316/Library/window/hol_ext_ml.o
|
application/x-object | root:root | 0o644 | 260.5 KB |
/usr/lib/hol88-2.02.19940316/Library/window/imp_close_ml.o
|
application/x-object | root:root | 0o644 | 642.7 KB |
/usr/lib/hol88-2.02.19940316/Library/window/inter_ml.o
|
application/x-object | root:root | 0o644 | 375.6 KB |
/usr/lib/hol88-2.02.19940316/Library/window/load_code_ml.o
|
application/x-object | root:root | 0o644 | 36.3 KB |
/usr/lib/hol88-2.02.19940316/Library/window/load_window_ml.o
|
application/x-object | root:root | 0o644 | 31.7 KB |
/usr/lib/hol88-2.02.19940316/Library/window/ml_ext_ml.o
|
application/x-object | root:root | 0o644 | 141.6 KB |
/usr/lib/hol88-2.02.19940316/Library/window/tables_ml.o
|
application/x-object | root:root | 0o644 | 323.9 KB |
/usr/lib/hol88-2.02.19940316/Library/window/tactic_ml.o
|
application/x-object | root:root | 0o644 | 70.1 KB |
/usr/lib/hol88-2.02.19940316/Library/window/thms_ml.o
|
application/x-object | root:root | 0o644 | 79.0 KB |
/usr/lib/hol88-2.02.19940316/Library/window/window_ml.o
|
application/x-object | root:root | 0o644 | 56.0 KB |
/usr/lib/hol88-2.02.19940316/Library/window/win_ml.o
|
application/x-object | root:root | 0o644 | 475.1 KB |
/usr/lib/hol88-2.02.19940316/Library/window/xlabel_ml.o
|
application/x-object | root:root | 0o644 | 61.9 KB |
/usr/lib/hol88-2.02.19940316/Library/word/
|
root:root | 0o755 | ||
/usr/lib/hol88-2.02.19940316/Library/word/word_convs_ml.o
|
application/x-object | root:root | 0o644 | 307.0 KB |
/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 | 1.7 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/abs_theory/abs_theory_ml.o
|
root:root | 0o777 | ||
/usr/share/hol88-2.02.19940316/Library/arith/
|
root:root | 0o755 | ||
/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/
|
root:root | 0o755 | ||
/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/
|
root:root | 0o755 | ||
/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/
|
root:root | 0o755 | ||
/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/
|
root:root | 0o755 | ||
/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/
|
root:root | 0o755 | ||
/usr/share/hol88-2.02.19940316/Library/numeral/numeral_rules_ml.o
|
root:root | 0o777 | ||
/usr/share/hol88-2.02.19940316/Library/pair/
|
root:root | 0o755 | ||
/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/
|
root:root | 0o755 | ||
/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/
|
root:root | 0o755 | ||
/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/pred_sets/set_ind_ml.o
|
root:root | 0o777 | ||
/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_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/
|
root:root | 0o755 | ||
/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/PP_to_ML_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/
|
root:root | 0o755 | ||
/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/
|
root:root | 0o755 | ||
/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/
|
root:root | 0o755 | ||
/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/
|
root:root | 0o755 | ||
/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/
|
root:root | 0o755 | ||
/usr/share/hol88-2.02.19940316/Library/sets/fset_conv_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/
|
root:root | 0o755 | ||
/usr/share/hol88-2.02.19940316/Library/string/ascii_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/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/taut/
|
root:root | 0o755 | ||
/usr/share/hol88-2.02.19940316/Library/taut/taut_check_ml.o
|
root:root | 0o777 | ||
/usr/share/hol88-2.02.19940316/Library/trs/
|
root:root | 0o755 | ||
/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/
|
root:root | 0o755 | ||
/usr/share/hol88-2.02.19940316/Library/unwind/unwinding_ml.o
|
root:root | 0o777 | ||
/usr/share/hol88-2.02.19940316/Library/window/
|
root:root | 0o755 | ||
/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/window_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/xlabel_ml.o
|
root:root | 0o777 | ||
/usr/share/hol88-2.02.19940316/Library/word/
|
root:root | 0o755 | ||
/usr/share/hol88-2.02.19940316/Library/word/word_convs_ml.o
|
root:root | 0o777 |