hol88-library (2.02.19940316dfsg-9)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- hol88
- Architecture
- amd64v3
- Section
- universe/math
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 39.4 kB
- Size expected
- 4.9 MB
- Size actual
- 4.9 MB
- Size match
Dependencies
Required package dependencies
- None
Suggested packages
Recommended additional packages
- None
Description
Higher Order Logic, binary library modules
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 2088a5c2…38f6c240 | |
| SHA-1 | 739d20c3…ad5c45d7 | |
| SHA-256 | 16bef328…ec300d71 | |
| SHA-512 | b1e4a2b7…074282c0 |
Contents
Files and directories included
. usr usr/lib usr/lib/hol88-2.02.19940316dfsg usr/lib/hol88-2.02.19940316dfsg/Library usr/lib/hol88-2.02.19940316dfsg/Library/abs_theory usr/lib/hol88-2.02.19940316dfsg/Library/abs_theory/abs_theory_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith usr/lib/hol88-2.02.19940316dfsg/Library/arith/arith_cons_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith/decls_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith/exists_arith_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith/gen_arith_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith/instance_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith/int_extra_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_arith_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_bool_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_ineqs_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith/prenex_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith/qconv_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith/rationals_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith/sol_ranges_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith/solve_ineqs_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith/solve_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith/streams_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith/string_extra_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith/sub_and_cond_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith/sup-inf_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/arith/term_coeffs_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/fset_conv_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/set_ind_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/ind-defs_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/ind_defs_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/filters_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/formaters_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/hol_trees_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/latex_sets_pp_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/latex_term_pp_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/latex_thm_pp_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/latex_type_pp_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/precedence_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/more_arithmetic usr/lib/hol88-2.02.19940316dfsg/Library/more_arithmetic/num_convs_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/more_arithmetic/num_tac_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/numeral usr/lib/hol88-2.02.19940316dfsg/Library/numeral/numeral_rules_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/pair usr/lib/hol88-2.02.19940316dfsg/Library/pair/all_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/pair/basic_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/pair/both1_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/pair/both2_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/pair/conv_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/pair/exi_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/pair/pair_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/pair/syn_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/parser usr/lib/hol88-2.02.19940316dfsg/Library/parser/general_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/parser/parser_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/pred_sets usr/lib/hol88-2.02.19940316dfsg/Library/pred_sets/fset_conv_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/pred_sets/gspec_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/pred_sets/set_ind_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/hol_term_pp_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/hol_thm_pp_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/hol_trees_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/hol_type_pp_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/link_to_hol_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/new_printers_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/precedence_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/PP_to_ML_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/convert_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/generate_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/lex_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/pp_lang1_pp_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/pp_lang2_pp_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/syntax_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/boxes_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/boxtostring_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/extents_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/print_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/ptree_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/strings_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/treematch_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/treetobox_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/utils_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/record_proof usr/lib/hol88-2.02.19940316dfsg/Library/record_proof/dummy_funs_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/record_proof/proof_rec_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/reduce usr/lib/hol88-2.02.19940316dfsg/Library/reduce/arithconv_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/reduce/boolconv_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/reduce/reduce_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/res_quan usr/lib/hol88-2.02.19940316dfsg/Library/res_quan/cond_rewr_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/res_quan/res_rules_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/sets usr/lib/hol88-2.02.19940316dfsg/Library/sets/fset_conv_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/sets/gspec_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/sets/set_ind_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/string usr/lib/hol88-2.02.19940316dfsg/Library/string/ascii_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/string/string_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/string/string_rules_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/string/stringconv_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/taut usr/lib/hol88-2.02.19940316dfsg/Library/taut/taut_check_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/trs usr/lib/hol88-2.02.19940316dfsg/Library/trs/extents_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/trs/extract_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/trs/matching_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/trs/name_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/trs/search_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/trs/sets_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/trs/sidecond_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/trs/struct_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/trs/thmkind_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/trs/user_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/unwind usr/lib/hol88-2.02.19940316dfsg/Library/unwind/unwinding_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/window usr/lib/hol88-2.02.19940316dfsg/Library/window/basic_close_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/window/eq_close_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/window/hol_ext_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/window/imp_close_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/window/inter_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/window/load_code_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/window/load_window_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/window/ml_ext_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/window/tables_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/window/tactic_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/window/thms_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/window/win_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/window/window_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/window/xlabel_ml.o usr/lib/hol88-2.02.19940316dfsg/Library/word usr/lib/hol88-2.02.19940316dfsg/Library/word/word_convs_ml.o usr/share usr/share/doc usr/share/doc/hol88-library usr/share/doc/hol88-library/changelog.Debian.gz usr/share/doc/hol88-library/copyright usr/share/hol88-2.02.19940316dfsg usr/share/hol88-2.02.19940316dfsg/Library usr/share/hol88-2.02.19940316dfsg/Library/abs_theory usr/share/hol88-2.02.19940316dfsg/Library/arith usr/share/hol88-2.02.19940316dfsg/Library/finite_sets usr/share/hol88-2.02.19940316dfsg/Library/ind_defs usr/share/hol88-2.02.19940316dfsg/Library/latex-hol usr/share/hol88-2.02.19940316dfsg/Library/more_arithmetic usr/share/hol88-2.02.19940316dfsg/Library/numeral usr/share/hol88-2.02.19940316dfsg/Library/pair usr/share/hol88-2.02.19940316dfsg/Library/parser usr/share/hol88-2.02.19940316dfsg/Library/pred_sets usr/share/hol88-2.02.19940316dfsg/Library/prettyp usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer usr/share/hol88-2.02.19940316dfsg/Library/record_proof usr/share/hol88-2.02.19940316dfsg/Library/reduce usr/share/hol88-2.02.19940316dfsg/Library/res_quan usr/share/hol88-2.02.19940316dfsg/Library/sets usr/share/hol88-2.02.19940316dfsg/Library/string usr/share/hol88-2.02.19940316dfsg/Library/taut usr/share/hol88-2.02.19940316dfsg/Library/trs usr/share/hol88-2.02.19940316dfsg/Library/unwind usr/share/hol88-2.02.19940316dfsg/Library/window usr/share/hol88-2.02.19940316dfsg/Library/word usr/share/hol88-2.02.19940316dfsg/Library/abs_theory/abs_theory_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/arith_cons_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/decls_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/exists_arith_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/gen_arith_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/instance_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/int_extra_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/norm_arith_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/norm_bool_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/norm_ineqs_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/prenex_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/qconv_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/rationals_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/sol_ranges_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/solve_ineqs_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/solve_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/streams_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/string_extra_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/sub_and_cond_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/sup-inf_ml.o usr/share/hol88-2.02.19940316dfsg/Library/arith/term_coeffs_ml.o usr/share/hol88-2.02.19940316dfsg/Library/finite_sets/fset_conv_ml.o usr/share/hol88-2.02.19940316dfsg/Library/finite_sets/set_ind_ml.o usr/share/hol88-2.02.19940316dfsg/Library/ind_defs/ind-defs_ml.o usr/share/hol88-2.02.19940316dfsg/Library/ind_defs/ind_defs_ml.o usr/share/hol88-2.02.19940316dfsg/Library/latex-hol/filters_ml.o usr/share/hol88-2.02.19940316dfsg/Library/latex-hol/formaters_ml.o usr/share/hol88-2.02.19940316dfsg/Library/latex-hol/hol_trees_ml.o usr/share/hol88-2.02.19940316dfsg/Library/latex-hol/latex_sets_pp_ml.o usr/share/hol88-2.02.19940316dfsg/Library/latex-hol/latex_term_pp_ml.o usr/share/hol88-2.02.19940316dfsg/Library/latex-hol/latex_thm_pp_ml.o usr/share/hol88-2.02.19940316dfsg/Library/latex-hol/latex_type_pp_ml.o usr/share/hol88-2.02.19940316dfsg/Library/latex-hol/precedence_ml.o usr/share/hol88-2.02.19940316dfsg/Library/more_arithmetic/num_convs_ml.o usr/share/hol88-2.02.19940316dfsg/Library/more_arithmetic/num_tac_ml.o usr/share/hol88-2.02.19940316dfsg/Library/numeral/numeral_rules_ml.o usr/share/hol88-2.02.19940316dfsg/Library/pair/all_ml.o usr/share/hol88-2.02.19940316dfsg/Library/pair/basic_ml.o usr/share/hol88-2.02.19940316dfsg/Library/pair/both1_ml.o usr/share/hol88-2.02.19940316dfsg/Library/pair/both2_ml.o usr/share/hol88-2.02.19940316dfsg/Library/pair/conv_ml.o usr/share/hol88-2.02.19940316dfsg/Library/pair/exi_ml.o usr/share/hol88-2.02.19940316dfsg/Library/pair/pair_ml.o usr/share/hol88-2.02.19940316dfsg/Library/pair/syn_ml.o usr/share/hol88-2.02.19940316dfsg/Library/parser/general_ml.o usr/share/hol88-2.02.19940316dfsg/Library/parser/parser_ml.o usr/share/hol88-2.02.19940316dfsg/Library/pred_sets/fset_conv_ml.o usr/share/hol88-2.02.19940316dfsg/Library/pred_sets/gspec_ml.o usr/share/hol88-2.02.19940316dfsg/Library/pred_sets/set_ind_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/hol_term_pp_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/hol_thm_pp_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/hol_trees_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/hol_type_pp_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/link_to_hol_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/new_printers_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/precedence_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/PP_to_ML_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/convert_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/generate_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/lex_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/pp_lang1_pp_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/pp_lang2_pp_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/syntax_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/boxes_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/boxtostring_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/extents_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/print_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/ptree_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/strings_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/treematch_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/treetobox_ml.o usr/share/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/utils_ml.o usr/share/hol88-2.02.19940316dfsg/Library/record_proof/dummy_funs_ml.o usr/share/hol88-2.02.19940316dfsg/Library/record_proof/proof_rec_ml.o usr/share/hol88-2.02.19940316dfsg/Library/reduce/arithconv_ml.o usr/share/hol88-2.02.19940316dfsg/Library/reduce/boolconv_ml.o usr/share/hol88-2.02.19940316dfsg/Library/reduce/reduce_ml.o usr/share/hol88-2.02.19940316dfsg/Library/res_quan/cond_rewr_ml.o usr/share/hol88-2.02.19940316dfsg/Library/res_quan/res_rules_ml.o usr/share/hol88-2.02.19940316dfsg/Library/sets/fset_conv_ml.o usr/share/hol88-2.02.19940316dfsg/Library/sets/gspec_ml.o usr/share/hol88-2.02.19940316dfsg/Library/sets/set_ind_ml.o usr/share/hol88-2.02.19940316dfsg/Library/string/ascii_ml.o usr/share/hol88-2.02.19940316dfsg/Library/string/string_ml.o usr/share/hol88-2.02.19940316dfsg/Library/string/string_rules_ml.o usr/share/hol88-2.02.19940316dfsg/Library/string/stringconv_ml.o usr/share/hol88-2.02.19940316dfsg/Library/taut/taut_check_ml.o usr/share/hol88-2.02.19940316dfsg/Library/trs/extents_ml.o usr/share/hol88-2.02.19940316dfsg/Library/trs/extract_ml.o usr/share/hol88-2.02.19940316dfsg/Library/trs/matching_ml.o usr/share/hol88-2.02.19940316dfsg/Library/trs/name_ml.o usr/share/hol88-2.02.19940316dfsg/Library/trs/search_ml.o usr/share/hol88-2.02.19940316dfsg/Library/trs/sets_ml.o usr/share/hol88-2.02.19940316dfsg/Library/trs/sidecond_ml.o usr/share/hol88-2.02.19940316dfsg/Library/trs/struct_ml.o usr/share/hol88-2.02.19940316dfsg/Library/trs/thmkind_ml.o usr/share/hol88-2.02.19940316dfsg/Library/trs/user_ml.o usr/share/hol88-2.02.19940316dfsg/Library/unwind/unwinding_ml.o usr/share/hol88-2.02.19940316dfsg/Library/window/basic_close_ml.o usr/share/hol88-2.02.19940316dfsg/Library/window/eq_close_ml.o usr/share/hol88-2.02.19940316dfsg/Library/window/hol_ext_ml.o usr/share/hol88-2.02.19940316dfsg/Library/window/imp_close_ml.o usr/share/hol88-2.02.19940316dfsg/Library/window/inter_ml.o usr/share/hol88-2.02.19940316dfsg/Library/window/load_code_ml.o usr/share/hol88-2.02.19940316dfsg/Library/window/load_window_ml.o usr/share/hol88-2.02.19940316dfsg/Library/window/ml_ext_ml.o usr/share/hol88-2.02.19940316dfsg/Library/window/tables_ml.o usr/share/hol88-2.02.19940316dfsg/Library/window/tactic_ml.o usr/share/hol88-2.02.19940316dfsg/Library/window/thms_ml.o usr/share/hol88-2.02.19940316dfsg/Library/window/win_ml.o usr/share/hol88-2.02.19940316dfsg/Library/window/window_ml.o usr/share/hol88-2.02.19940316dfsg/Library/window/xlabel_ml.o usr/share/hol88-2.02.19940316dfsg/Library/word/word_convs_ml.o