hol88-library-source 2.02.19940316-15 / usr / share / hol88-2.02.19940316 / Library

This file is indexed.

/usr/share/hol88-2.02.19940316/Library/ is in hol88-library-source 2.02.19940316-15.

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

File Mime Type Owner Mode Size
..
/usr/share/hol88-2.02.19940316/Library/abs_theory/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/abs_theory/abs_theory.ml text/plain root:root 0o644 11.7 KB
/usr/share/hol88-2.02.19940316/Library/abs_theory/example.ml text/plain root:root 0o644 1.9 KB
/usr/share/hol88-2.02.19940316/Library/abs_theory/group_def.ml text/plain root:root 0o644 2.9 KB
/usr/share/hol88-2.02.19940316/Library/abs_theory/monoid_def.ml text/plain root:root 0o644 2.1 KB
/usr/share/hol88-2.02.19940316/Library/arith/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/arith/arith.ml text/plain root:root 0o644 3.5 KB
/usr/share/hol88-2.02.19940316/Library/arith/arith_cons.ml text/plain root:root 0o644 7.3 KB
/usr/share/hol88-2.02.19940316/Library/arith/decls.ml text/plain root:root 0o644 3.3 KB
/usr/share/hol88-2.02.19940316/Library/arith/exists_arith.ml text/plain root:root 0o644 5.6 KB
/usr/share/hol88-2.02.19940316/Library/arith/gen_arith.ml text/plain root:root 0o644 8.0 KB
/usr/share/hol88-2.02.19940316/Library/arith/instance.ml text/plain root:root 0o644 2.3 KB
/usr/share/hol88-2.02.19940316/Library/arith/int_extra.ml text/plain root:root 0o644 2.4 KB
/usr/share/hol88-2.02.19940316/Library/arith/norm_arith.ml text/plain root:root 0o644 24.4 KB
/usr/share/hol88-2.02.19940316/Library/arith/norm_bool.ml text/plain root:root 0o644 6.4 KB
/usr/share/hol88-2.02.19940316/Library/arith/norm_ineqs.ml text/plain root:root 0o644 7.5 KB
/usr/share/hol88-2.02.19940316/Library/arith/prenex.ml text/plain root:root 0o644 3.1 KB
/usr/share/hol88-2.02.19940316/Library/arith/qconv.ml text/plain root:root 0o644 9.2 KB
/usr/share/hol88-2.02.19940316/Library/arith/rationals.ml text/plain root:root 0o644 7.1 KB
/usr/share/hol88-2.02.19940316/Library/arith/sol_ranges.ml text/plain root:root 0o644 7.1 KB
/usr/share/hol88-2.02.19940316/Library/arith/solve.ml text/plain root:root 0o644 8.8 KB
/usr/share/hol88-2.02.19940316/Library/arith/solve_ineqs.ml text/plain root:root 0o644 18.2 KB
/usr/share/hol88-2.02.19940316/Library/arith/streams.ml text/plain root:root 0o644 3.4 KB
/usr/share/hol88-2.02.19940316/Library/arith/string_extra.ml text/plain root:root 0o644 1.7 KB
/usr/share/hol88-2.02.19940316/Library/arith/sub_and_cond.ml text/plain root:root 0o644 5.0 KB
/usr/share/hol88-2.02.19940316/Library/arith/sup-inf.ml text/plain root:root 0o644 16.1 KB
/usr/share/hol88-2.02.19940316/Library/arith/term_coeffs.ml text/plain root:root 0o644 12.4 KB
/usr/share/hol88-2.02.19940316/Library/arith/theorems.ml text/plain root:root 0o644 6.8 KB
/usr/share/hol88-2.02.19940316/Library/arith/thm_convs.ml text/plain root:root 0o644 6.7 KB
/usr/share/hol88-2.02.19940316/Library/finite_sets/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/finite_sets/OLD/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/finite_sets/OLD/card.ml text/plain root:root 0o644 11.4 KB
/usr/share/hol88-2.02.19940316/Library/finite_sets/OLD/finite_sets.ml text/plain root:root 0o644 2.1 KB
/usr/share/hol88-2.02.19940316/Library/finite_sets/OLD/load_finite_sets.ml text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/Library/finite_sets/OLD/mk_finite_sets.ml text/plain root:root 0o644 44.1 KB
/usr/share/hol88-2.02.19940316/Library/finite_sets/OLD/set_ind.ml text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/Library/finite_sets/finite_sets.ml text/plain root:root 0o644 2.9 KB
/usr/share/hol88-2.02.19940316/Library/finite_sets/fset_conv.ml text/plain root:root 0o644 9.4 KB
/usr/share/hol88-2.02.19940316/Library/finite_sets/load_finite_sets.ml text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/Library/finite_sets/mk_finite_sets.ml text/plain root:root 0o644 64.4 KB
/usr/share/hol88-2.02.19940316/Library/finite_sets/set_ind.ml text/plain root:root 0o644 2.1 KB
/usr/share/hol88-2.02.19940316/Library/ind_defs/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/ind_defs/Examples/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/ind_defs/Examples/exp.ml text/plain root:root 0o644 4.2 KB
/usr/share/hol88-2.02.19940316/Library/ind_defs/Examples/rtc.ml text/plain root:root 0o644 2.9 KB
/usr/share/hol88-2.02.19940316/Library/ind_defs/ind-defs.ml text/plain root:root 0o644 63.1 KB
/usr/share/hol88-2.02.19940316/Library/ind_defs/ind_defs.ml text/plain root:root 0o644 593 bytes
/usr/share/hol88-2.02.19940316/Library/latex-hol/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/latex-hol/filters.ml text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/Library/latex-hol/formaters.ml text/plain root:root 0o644 8.9 KB
/usr/share/hol88-2.02.19940316/Library/latex-hol/hol_trees.ml text/plain root:root 0o644 8.1 KB
/usr/share/hol88-2.02.19940316/Library/latex-hol/latex-hol.ml text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/Library/latex-hol/latex_sets_pp.ml text/plain root:root 0o644 4.2 KB
/usr/share/hol88-2.02.19940316/Library/latex-hol/latex_term_pp.ml text/plain root:root 0o644 34.4 KB
/usr/share/hol88-2.02.19940316/Library/latex-hol/latex_thm_pp.ml text/plain root:root 0o644 2.1 KB
/usr/share/hol88-2.02.19940316/Library/latex-hol/latex_type_pp.ml text/plain root:root 0o644 4.5 KB
/usr/share/hol88-2.02.19940316/Library/latex-hol/precedence.ml text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/add.ml text/plain root:root 0o644 14.9 KB
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/bool_convs.ml text/plain root:root 0o644 2.0 KB
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/div_mod.ml text/plain root:root 0o644 9.9 KB
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/ineq.ml text/plain root:root 0o644 19.0 KB
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/load_more_arithmetic.ml text/plain root:root 0o644 1.9 KB
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/minmax.ml text/plain root:root 0o644 3.9 KB
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/mk_more_arithmetic.ml text/plain root:root 0o644 273 bytes
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/more_arithmetic.ml text/plain root:root 0o644 3.3 KB
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/mult.ml text/plain root:root 0o644 6.2 KB
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/normalize.ml text/plain root:root 0o644 7.0 KB
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/num_convs.ml text/plain root:root 0o644 3.2 KB
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/num_tac.ml text/plain root:root 0o644 2.0 KB
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/odd_even.ml text/plain root:root 0o644 5.6 KB
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/pre.ml text/plain root:root 0o644 8.0 KB
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/sub.ml text/plain root:root 0o644 20.9 KB
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/suc.ml text/plain root:root 0o644 6.7 KB
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/tools.ml text/plain root:root 0o644 20.4 KB
/usr/share/hol88-2.02.19940316/Library/more_arithmetic/zero.ml text/plain root:root 0o644 7.9 KB
/usr/share/hol88-2.02.19940316/Library/numeral/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/numeral/define.ml text/plain root:root 0o644 1.7 KB
/usr/share/hol88-2.02.19940316/Library/numeral/numeral.ml text/plain root:root 0o644 2.5 KB
/usr/share/hol88-2.02.19940316/Library/numeral/numeral_rules.ml text/plain root:root 0o644 122.3 KB
/usr/share/hol88-2.02.19940316/Library/numeral/numeral_theory.ml text/plain root:root 0o644 35.8 KB
/usr/share/hol88-2.02.19940316/Library/numeral/sanity_test.ml text/x-pascal root:root 0o644 37.1 KB
/usr/share/hol88-2.02.19940316/Library/pair/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/pair/all.ml text/plain root:root 0o644 6.8 KB
/usr/share/hol88-2.02.19940316/Library/pair/basic.ml text/plain root:root 0o644 18.1 KB
/usr/share/hol88-2.02.19940316/Library/pair/both1.ml text/plain root:root 0o644 8.3 KB
/usr/share/hol88-2.02.19940316/Library/pair/both2.ml text/plain root:root 0o644 15.8 KB
/usr/share/hol88-2.02.19940316/Library/pair/conv.ml text/plain root:root 0o644 45.4 KB
/usr/share/hol88-2.02.19940316/Library/pair/exi.ml text/plain root:root 0o644 14.0 KB
/usr/share/hol88-2.02.19940316/Library/pair/pair.ml text/plain root:root 0o644 3.1 KB
/usr/share/hol88-2.02.19940316/Library/pair/syn.ml text/plain root:root 0o644 9.7 KB
/usr/share/hol88-2.02.19940316/Library/parser/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/parser/Examples/HOL/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/parser/Examples/HOL/loader.ml text/plain root:root 0o644 972 bytes
/usr/share/hol88-2.02.19940316/Library/parser/Examples/HOL/term.ml text/plain root:root 0o644 79.8 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/HOL/term_decls.ml text/plain root:root 0o644 10.4 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/HOL/term_help.ml text/plain root:root 0o644 4.0 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/HOL/type.ml text/plain root:root 0o644 14.1 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/HOL/type_decls.ml text/plain root:root 0o644 2.8 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_1.ml text/plain root:root 0o644 3.7 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_10.ml text/plain root:root 0o644 34.7 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_10_decls.ml text/plain root:root 0o644 5.8 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_11.ml text/plain root:root 0o644 17.3 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_11_decls.ml text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_1_decls.ml text/plain root:root 0o644 2.7 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_2.ml text/plain root:root 0o644 2.7 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_2_decls.ml text/plain root:root 0o644 488 bytes
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_3.ml text/plain root:root 0o644 9.5 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_3_decls.ml text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_4.ml text/plain root:root 0o644 20.0 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_4_decls.ml text/plain root:root 0o644 3.6 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_5.ml text/plain root:root 0o644 21.1 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_5_decls.ml text/plain root:root 0o644 1.7 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_6.ml text/plain root:root 0o644 12.7 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_6_decls.ml text/plain root:root 0o644 1.7 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_7.ml text/plain root:root 0o644 20.1 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_7_decls.ml text/plain root:root 0o644 2.6 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_8.ml text/plain root:root 0o644 47.1 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_8_decls.ml text/plain root:root 0o644 6.5 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_9.ml text/plain root:root 0o644 36.8 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_9_decls.ml text/plain root:root 0o644 6.3 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/PP_command.ml text/plain root:root 0o644 142 bytes
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/PP_printer.ml text/plain root:root 0o644 35.6 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/full-ella.ml text/plain root:root 0o644 82.6 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/general.ml text/plain root:root 0o644 5.2 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/loader.ml text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/v1_help.ml text/plain root:root 0o644 3.3 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/version0_PP.ml text/plain root:root 0o644 14.8 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/tiny/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/parser/Examples/tiny/examples.ml text/plain root:root 0o644 14.6 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/tiny/loader.ml text/plain root:root 0o644 564 bytes
/usr/share/hol88-2.02.19940316/Library/parser/Examples/tiny/tiny.ml text/plain root:root 0o644 33.1 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/tiny/tiny_decls.ml text/plain root:root 0o644 5.3 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/tiny/tiny_help.ml text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/blocks/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/blocks/blocks.ml text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/blocks/blocks_decls.ml text/plain root:root 0o644 502 bytes
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/blocks/loader.ml text/plain root:root 0o644 292 bytes
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/bool/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/bool/bool.ml text/plain root:root 0o644 7.4 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/bool/bool_decls.ml text/plain root:root 0o644 2.0 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/bool/loader.ml text/plain root:root 0o644 288 bytes
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/types/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/types/loader.ml text/plain root:root 0o644 475 bytes
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/types/types.ml text/plain root:root 0o644 15.4 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/types/types_decls.ml text/plain root:root 0o644 3.9 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/types/types_help.ml text/plain root:root 0o644 508 bytes
/usr/share/hol88-2.02.19940316/Library/parser/general.ml text/plain root:root 0o644 6.0 KB
/usr/share/hol88-2.02.19940316/Library/parser/parser.ml text/plain root:root 0o644 64.5 KB
/usr/share/hol88-2.02.19940316/Library/pred_sets/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/pred_sets/OLD/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/pred_sets/OLD/load_pred_sets.ml text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/pred_sets/OLD/mk_pred_set_defs.ml text/plain root:root 0o644 3.8 KB
/usr/share/hol88-2.02.19940316/Library/pred_sets/OLD/mk_pred_sets.ml text/plain root:root 0o644 11.3 KB
/usr/share/hol88-2.02.19940316/Library/pred_sets/OLD/pred_sets.ml text/plain root:root 0o644 2.5 KB
/usr/share/hol88-2.02.19940316/Library/pred_sets/fset_conv.ml text/plain root:root 0o644 10.8 KB
/usr/share/hol88-2.02.19940316/Library/pred_sets/gspec.ml text/plain root:root 0o644 7.9 KB
/usr/share/hol88-2.02.19940316/Library/pred_sets/load_pred_sets.ml text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/Library/pred_sets/mk_pred_sets.ml text/plain root:root 0o644 86.9 KB
/usr/share/hol88-2.02.19940316/Library/pred_sets/pred_sets.ml text/plain root:root 0o644 3.0 KB
/usr/share/hol88-2.02.19940316/Library/pred_sets/set_ind.ml text/plain root:root 0o644 2.5 KB
/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.ml text/plain root:root 0o644 753 bytes
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_hol/PP_hol.ml text/plain root:root 0o644 4.6 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_hol/hol_term_pp.ml text/plain root:root 0o644 26.6 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_hol/hol_thm_pp.ml text/plain root:root 0o644 2.1 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_hol/hol_trees.ml text/plain root:root 0o644 8.1 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_hol/hol_type_pp.ml text/plain root:root 0o644 4.5 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_hol/link_to_hol.ml text/plain root:root 0o644 437 bytes
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_hol/new_printers.ml text/plain root:root 0o644 4.0 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_hol/precedence.ml text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_parser/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_parser.ml text/plain root:root 0o644 759 bytes
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_parser/PP_parser.ml text/plain root:root 0o644 3.9 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_parser/PP_to_ML.ml text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_parser/convert.ml text/plain root:root 0o644 56.1 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_parser/generate.ml text/plain root:root 0o644 13.6 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_parser/lex.ml text/plain root:root 0o644 9.7 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_parser/pp_lang1_pp.ml text/plain root:root 0o644 13.5 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_parser/pp_lang2_pp.ml text/plain root:root 0o644 21.6 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_parser/syntax.ml text/plain root:root 0o644 48.2 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer.ml text/plain root:root 0o644 761 bytes
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/PP_printer.ml text/plain root:root 0o644 5.0 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/boxes.ml text/plain root:root 0o644 20.1 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/boxtostring.ml text/plain root:root 0o644 5.1 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/extents.ml text/plain root:root 0o644 2.3 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/print.ml text/plain root:root 0o644 3.4 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/ptree.ml text/plain root:root 0o644 862 bytes
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/strings.ml text/plain root:root 0o644 3.8 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/treematch.ml text/plain root:root 0o644 31.6 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/treetobox.ml text/plain root:root 0o644 20.0 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/PP_printer/utils.ml text/plain root:root 0o644 7.7 KB
/usr/share/hol88-2.02.19940316/Library/prettyp/prettyp.ml text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/reals/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/reals/load_reals.ml text/plain root:root 0o644 407 bytes
/usr/share/hol88-2.02.19940316/Library/reals/reals.ml text/plain root:root 0o644 2.5 KB
/usr/share/hol88-2.02.19940316/Library/reals/theories/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/reals/theories/autoload_reals.ml text/plain root:root 0o644 14.3 KB
/usr/share/hol88-2.02.19940316/Library/reals/theories/equiv.ml text/plain root:root 0o644 8.2 KB
/usr/share/hol88-2.02.19940316/Library/reals/theories/hrat.ml text/plain root:root 0o644 13.9 KB
/usr/share/hol88-2.02.19940316/Library/reals/theories/hreal.ml text/plain root:root 0o644 40.5 KB
/usr/share/hol88-2.02.19940316/Library/reals/theories/lim.ml text/plain root:root 0o644 65.8 KB
/usr/share/hol88-2.02.19940316/Library/reals/theories/nets.ml text/plain root:root 0o644 28.8 KB
/usr/share/hol88-2.02.19940316/Library/reals/theories/powser.ml text/plain root:root 0o644 29.2 KB
/usr/share/hol88-2.02.19940316/Library/reals/theories/real.ml text/plain root:root 0o644 88.5 KB
/usr/share/hol88-2.02.19940316/Library/reals/theories/realax.ml text/plain root:root 0o644 27.3 KB
/usr/share/hol88-2.02.19940316/Library/reals/theories/seq.ml text/plain root:root 0o644 66.6 KB
/usr/share/hol88-2.02.19940316/Library/reals/theories/topology.ml text/plain root:root 0o644 20.4 KB
/usr/share/hol88-2.02.19940316/Library/reals/theories/transc.ml text/plain root:root 0o644 78.1 KB
/usr/share/hol88-2.02.19940316/Library/reals/theories/useful.ml text/plain root:root 0o644 7.5 KB
/usr/share/hol88-2.02.19940316/Library/record_proof/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/record_proof/benchmark/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/record_proof/benchmark/HOL_MULT.ml text/plain root:root 0o644 6.7 KB
/usr/share/hol88-2.02.19940316/Library/record_proof/benchmark/MULT_FUN.ml text/plain root:root 0o644 3.7 KB
/usr/share/hol88-2.02.19940316/Library/record_proof/benchmark/MULT_FUN_CURRY.ml text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/Library/record_proof/benchmark/mk_NEXT.ml text/plain root:root 0o644 5.2 KB
/usr/share/hol88-2.02.19940316/Library/record_proof/benchmark/unwind.ml text/plain root:root 0o644 18.9 KB
/usr/share/hol88-2.02.19940316/Library/record_proof/disable.ml text/plain root:root 0o644 547 bytes
/usr/share/hol88-2.02.19940316/Library/record_proof/dummy_funs.ml text/plain root:root 0o644 737 bytes
/usr/share/hol88-2.02.19940316/Library/record_proof/enable.ml text/plain root:root 0o644 527 bytes
/usr/share/hol88-2.02.19940316/Library/record_proof/proof_rec.ml text/plain root:root 0o644 25.2 KB
/usr/share/hol88-2.02.19940316/Library/record_proof/record_proof.ml text/plain root:root 0o644 586 bytes
/usr/share/hol88-2.02.19940316/Library/reduce/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/reduce/arithconv.ml text/plain root:root 0o644 19.5 KB
/usr/share/hol88-2.02.19940316/Library/reduce/boolconv.ml text/plain root:root 0o644 8.2 KB
/usr/share/hol88-2.02.19940316/Library/reduce/reduce.ml text/plain root:root 0o644 3.2 KB
/usr/share/hol88-2.02.19940316/Library/res_quan/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/res_quan/cond_rewr.ml text/plain root:root 0o644 9.3 KB
/usr/share/hol88-2.02.19940316/Library/res_quan/cond_rewrite.ml text/plain root:root 0o644 655 bytes
/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/hol-init.ml text/plain root:root 0o644 713 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/load_res_quan.ml text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/res_quan/mk_res_quan.ml text/plain root:root 0o644 4.1 KB
/usr/share/hol88-2.02.19940316/Library/res_quan/res_quan.ml text/plain root:root 0o644 665 bytes
/usr/share/hol88-2.02.19940316/Library/res_quan/res_rules.ml text/plain root:root 0o644 27.1 KB
/usr/share/hol88-2.02.19940316/Library/sets/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/sets/fset_conv.ml text/plain root:root 0o644 10.7 KB
/usr/share/hol88-2.02.19940316/Library/sets/gspec.ml text/plain root:root 0o644 7.9 KB
/usr/share/hol88-2.02.19940316/Library/sets/load_sets.ml text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/Library/sets/mk_sets.ml text/plain root:root 0o644 88.2 KB
/usr/share/hol88-2.02.19940316/Library/sets/set_ind.ml text/plain root:root 0o644 2.5 KB
/usr/share/hol88-2.02.19940316/Library/sets/sets.ml text/plain root:root 0o644 2.9 KB
/usr/share/hol88-2.02.19940316/Library/string/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/string/ascii.ml text/plain root:root 0o644 2.8 KB
/usr/share/hol88-2.02.19940316/Library/string/load_string.ml text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/Library/string/mk_ascii.ml text/plain root:root 0o644 1.7 KB
/usr/share/hol88-2.02.19940316/Library/string/mk_string.ml text/x-lisp root:root 0o644 4.1 KB
/usr/share/hol88-2.02.19940316/Library/string/string.ml text/plain root:root 0o644 2.5 KB
/usr/share/hol88-2.02.19940316/Library/string/string_rules.ml text/plain root:root 0o644 3.3 KB
/usr/share/hol88-2.02.19940316/Library/string/stringconv.ml text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/Library/taut/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/taut/taut.ml text/plain root:root 0o644 1013 bytes
/usr/share/hol88-2.02.19940316/Library/taut/taut_check.ml text/plain root:root 0o644 34.0 KB
/usr/share/hol88-2.02.19940316/Library/trs/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/trs/extents.ml text/plain root:root 0o644 3.4 KB
/usr/share/hol88-2.02.19940316/Library/trs/extract.ml text/plain root:root 0o644 3.8 KB
/usr/share/hol88-2.02.19940316/Library/trs/matching.ml text/plain root:root 0o644 19.7 KB
/usr/share/hol88-2.02.19940316/Library/trs/name.ml text/plain root:root 0o644 8.0 KB
/usr/share/hol88-2.02.19940316/Library/trs/search.ml text/plain root:root 0o644 10.5 KB
/usr/share/hol88-2.02.19940316/Library/trs/sets.ml text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/trs/sidecond.ml text/plain root:root 0o644 8.9 KB
/usr/share/hol88-2.02.19940316/Library/trs/struct.ml text/plain root:root 0o644 21.0 KB
/usr/share/hol88-2.02.19940316/Library/trs/thmkind.ml text/plain root:root 0o644 342 bytes
/usr/share/hol88-2.02.19940316/Library/trs/trs.ml text/plain root:root 0o644 4.2 KB
/usr/share/hol88-2.02.19940316/Library/trs/user.ml text/plain root:root 0o644 5.2 KB
/usr/share/hol88-2.02.19940316/Library/unwind/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/unwind/old/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/unwind/old/des-unwind.ml text/plain root:root 0o644 21.8 KB
/usr/share/hol88-2.02.19940316/Library/unwind/old/mjcg-unwind.ml text/plain root:root 0o644 18.9 KB
/usr/share/hol88-2.02.19940316/Library/unwind/old/unwind.ml text/plain root:root 0o644 596 bytes
/usr/share/hol88-2.02.19940316/Library/unwind/unwind.ml text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/Library/unwind/unwinding.ml text/plain root:root 0o644 61.4 KB
/usr/share/hol88-2.02.19940316/Library/wellorder/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/wellorder/load_wellorder.ml text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/Library/wellorder/mk_wellorder.ml text/plain root:root 0o644 61.9 KB
/usr/share/hol88-2.02.19940316/Library/wellorder/wellorder.ml text/plain root:root 0o644 2.8 KB
/usr/share/hol88-2.02.19940316/Library/window/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/window/basic_close.ml text/plain root:root 0o644 10.5 KB
/usr/share/hol88-2.02.19940316/Library/window/eq_close.ml text/plain root:root 0o644 9.4 KB
/usr/share/hol88-2.02.19940316/Library/window/help/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/window/help/general/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/window/help/general/signal.ml text/plain root:root 0o644 374 bytes
/usr/share/hol88-2.02.19940316/Library/window/hol_ext.ml text/plain root:root 0o644 12.6 KB
/usr/share/hol88-2.02.19940316/Library/window/imp_close.ml text/plain root:root 0o644 20.5 KB
/usr/share/hol88-2.02.19940316/Library/window/inter.ml text/plain root:root 0o644 19.0 KB
/usr/share/hol88-2.02.19940316/Library/window/load_code.ml text/plain root:root 0o644 3.4 KB
/usr/share/hol88-2.02.19940316/Library/window/load_window.ml text/plain root:root 0o644 3.3 KB
/usr/share/hol88-2.02.19940316/Library/window/mk_win_th.ml text/plain root:root 0o644 2.8 KB
/usr/share/hol88-2.02.19940316/Library/window/ml_ext.ml text/plain root:root 0o644 9.6 KB
/usr/share/hol88-2.02.19940316/Library/window/tables.ml text/plain root:root 0o644 21.4 KB
/usr/share/hol88-2.02.19940316/Library/window/tactic.ml text/plain root:root 0o644 4.9 KB
/usr/share/hol88-2.02.19940316/Library/window/thms.ml text/plain root:root 0o644 3.9 KB
/usr/share/hol88-2.02.19940316/Library/window/win.ml text/plain root:root 0o644 24.9 KB
/usr/share/hol88-2.02.19940316/Library/window/window.ml text/plain root:root 0o644 4.6 KB
/usr/share/hol88-2.02.19940316/Library/window/xlabel.ml text/plain root:root 0o644 3.4 KB
/usr/share/hol88-2.02.19940316/Library/word/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/word/arith_thms.ml text/plain root:root 0o644 7.4 KB
/usr/share/hol88-2.02.19940316/Library/word/genfuns.ml text/plain root:root 0o644 485 bytes
/usr/share/hol88-2.02.19940316/Library/word/load_parent.ml text/plain root:root 0o644 355 bytes
/usr/share/hol88-2.02.19940316/Library/word/mk_bword_arith.ml text/plain root:root 0o644 26.2 KB
/usr/share/hol88-2.02.19940316/Library/word/mk_bword_bitop.ml text/plain root:root 0o644 9.0 KB
/usr/share/hol88-2.02.19940316/Library/word/mk_bword_num.ml text/plain root:root 0o644 26.3 KB
/usr/share/hol88-2.02.19940316/Library/word/mk_word.ml text/plain root:root 0o644 550 bytes
/usr/share/hol88-2.02.19940316/Library/word/mk_word_arith.ml text/plain root:root 0o644 5.9 KB
/usr/share/hol88-2.02.19940316/Library/word/mk_word_base.ml text/plain root:root 0o644 28.8 KB
/usr/share/hol88-2.02.19940316/Library/word/mk_word_bitop.ml text/plain root:root 0o644 21.2 KB
/usr/share/hol88-2.02.19940316/Library/word/mk_word_num.ml text/plain root:root 0o644 7.6 KB
/usr/share/hol88-2.02.19940316/Library/word/ver_202.ml text/plain root:root 0o644 430 bytes
/usr/share/hol88-2.02.19940316/Library/word/word.ml text/plain root:root 0o644 728 bytes
/usr/share/hol88-2.02.19940316/Library/word/word_convs.ml text/plain root:root 0o644 11.1 KB
/usr/share/hol88-2.02.19940316/Library/word/word_funs.ml text/plain root:root 0o644 420 bytes

APT Browse - Built by Thomas Orozco.