/usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.uavRSNAc/hol88_2.02.19940316dfsg-5.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.uavRSNAc/hol88_2.02.19940316dfsg-5.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.uavRSNAc/hol88_2.02.19940316dfsg-5.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.uavRSNAc/b1/hol88_2.02.19940316dfsg-5_armhf.changes /srv/reproducible-results/rbuild-debian/r-b-build.uavRSNAc/b2/hol88_2.02.19940316dfsg-5

⊟

33.9 MB

/srv/reproducible-results/rbuild-debian/r-b-build.uavRSNAc/b1/hol88_2.02.19940316dfsg-5_armhf.changes vs.

/srv/reproducible-results/rbuild-debian/r-b-build.uavRSNAc/b2/hol88_2.02.19940316dfsg-5_armhf.changes ¶

⊟

1.28 KB

Files ¶

⊟

1.09 MB

hol88-doc_2.02.19940316dfsg-5_all.deb ¶

⊟

452 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.09 MB

data.tar.xz ¶

⊟

1.09 MB

data.tar ¶

⊟

3.7 KB

file list ¶

⊟

881 B

⊟

530 KB

Command `'ps2ascii {}'` failed with exit code 1. Standard output: GPL Ghostscript 10.02.1: Unrecoverable error, exit code 1

⊟

919 B

⊟

805 B

⊟

576 KB

Command `'ps2ascii {}'` failed with exit code 1. Standard output: GPL Ghostscript 10.02.1: Unrecoverable error, exit code 1

⊟

1.65 KB

⊟

1.53 KB

⊟

1.68 KB

⊟

1.71 KB

⊟

1.59 KB

⊟

1.57 KB

⊟

1.46 KB

⊟

1.35 MB

hol88-library_2.02.19940316dfsg-5_armhf.deb ¶

⊟

452 B

file list ¶

⊟

676 B

control.tar.xz ¶

⊟

648 B

control.tar ¶

⊟

578 B

./control ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.35 MB

data.tar.xz ¶

⊟

1.35 MB

data.tar ¶

⊟

34.4 KB

file list ¶

⊟

26.5 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/abs_theory/abs_theory_ml.o ¶

⊟

26.4 KB

strings --all --bytes=8 {} ¶

⊟

9.25 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/arith_cons_ml.o ¶

⊟

9.13 KB

strings --all --bytes=8 {} ¶

⊟

10.8 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/decls_ml.o ¶

⊟

10.7 KB

strings --all --bytes=8 {} ¶

⊟

4.79 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/exists_arith_ml.o ¶

⊟

4.66 KB

strings --all --bytes=8 {} ¶

⊟

4.31 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/gen_arith_ml.o ¶

⊟

4.19 KB

strings --all --bytes=8 {} ¶

⊟

1.71 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/instance_ml.o ¶

⊟

1.59 KB

strings --all --bytes=8 {} ¶

⊟

1.74 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/int_extra_ml.o ¶

⊟

1.62 KB

strings --all --bytes=8 {} ¶

⊟

11.8 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_arith_ml.o ¶

⊟

11.7 KB

strings --all --bytes=8 {} ¶

⊟

3.55 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_bool_ml.o ¶

⊟

3.43 KB

strings --all --bytes=8 {} ¶

⊟

3.78 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_ineqs_ml.o ¶

⊟

3.66 KB

strings --all --bytes=8 {} ¶

⊟

3.37 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/prenex_ml.o ¶

⊟

3.25 KB

strings --all --bytes=8 {} ¶

⊟

7.32 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/qconv_ml.o ¶

⊟

7.21 KB

strings --all --bytes=8 {} ¶

⊟

6.62 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/rationals_ml.o ¶

⊟

6.5 KB

strings --all --bytes=8 {} ¶

⊟

6.23 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sol_ranges_ml.o ¶

⊟

6.11 KB

strings --all --bytes=8 {} ¶

⊟

12.2 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/solve_ineqs_ml.o ¶

⊟

12.1 KB

strings --all --bytes=8 {} ¶

⊟

6.64 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/solve_ml.o ¶

⊟

6.53 KB

strings --all --bytes=8 {} ¶

⊟

5.02 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/streams_ml.o ¶

⊟

4.91 KB

strings --all --bytes=8 {} ¶

⊟

1.11 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/string_extra_ml.o ¶

⊟

1010 B

strings --all --bytes=8 {} ¶

⊟

2.96 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sub_and_cond_ml.o ¶

⊟

2.83 KB

strings --all --bytes=8 {} ¶

⊟

17.7 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sup-inf_ml.o ¶

⊟

17.6 KB

strings --all --bytes=8 {} ¶

⊟

7.38 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/arith/term_coeffs_ml.o ¶

⊟

7.25 KB

strings --all --bytes=8 {} ¶

⊟

9.77 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/fset_conv_ml.o ¶

⊟

9.64 KB

strings --all --bytes=8 {} ¶

⊟

2.87 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/set_ind_ml.o ¶

⊟

2.74 KB

strings --all --bytes=8 {} ¶

⊟

48.7 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/ind-defs_ml.o ¶

⊟

48.5 KB

strings --all --bytes=8 {} ¶

⊟

412 B

./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/ind_defs_ml.o ¶

⊟

284 B

strings --all --bytes=8 {} ¶

⊟

3.29 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/filters_ml.o ¶

⊟

3.17 KB

strings --all --bytes=8 {} ¶

⊟

15.6 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/formaters_ml.o ¶

⊟

15.5 KB

strings --all --bytes=8 {} ¶

⊟

5.02 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/hol_trees_ml.o ¶

⊟

4.89 KB

strings --all --bytes=8 {} ¶

⊟

3.78 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/latex_sets_pp_ml.o ¶

⊟

3.64 KB

strings --all --bytes=8 {} ¶

⊟

12.8 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/latex_term_pp_ml.o ¶

⊟

12.7 KB

strings --all --bytes=8 {} ¶

⊟

4.04 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/latex_thm_pp_ml.o ¶

⊟

3.9 KB

strings --all --bytes=8 {} ¶

⊟

5.71 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/latex_type_pp_ml.o ¶

⊟

5.57 KB

strings --all --bytes=8 {} ¶

⊟

1.68 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/precedence_ml.o ¶

⊟

1.55 KB

strings --all --bytes=8 {} ¶

⊟

3.43 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/more_arithmetic/num_convs_ml.o ¶

⊟

3.29 KB

strings --all --bytes=8 {} ¶

⊟

2.93 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/more_arithmetic/num_tac_ml.o ¶

⊟

2.79 KB

strings --all --bytes=8 {} ¶

⊟

62.6 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/numeral/numeral_rules_ml.o ¶

⊟

62.5 KB

strings --all --bytes=8 {} ¶

⊟

9.45 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/pair/all_ml.o ¶

⊟

9.34 KB

strings --all --bytes=8 {} ¶

⊟

12.8 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/pair/basic_ml.o ¶

⊟

12.7 KB

strings --all --bytes=8 {} ¶

⊟

3.83 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/pair/both1_ml.o ¶

⊟

3.72 KB

strings --all --bytes=8 {} ¶

⊟

14.7 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/pair/both2_ml.o ¶

⊟

14.6 KB

strings --all --bytes=8 {} ¶

⊟

16.8 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/pair/conv_ml.o ¶

⊟

16.7 KB

strings --all --bytes=8 {} ¶

⊟

13.2 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/pair/exi_ml.o ¶

⊟

13.1 KB

strings --all --bytes=8 {} ¶

⊟

850 B

./usr/lib/hol88-2.02.19940316dfsg/Library/pair/pair_ml.o ¶

⊟

738 B

strings --all --bytes=8 {} ¶

⊟

11.7 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/pair/syn_ml.o ¶

⊟

11.6 KB

strings --all --bytes=8 {} ¶

⊟

19.4 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/parser/general_ml.o ¶

⊟

19.3 KB

strings --all --bytes=8 {} ¶

⊟

58.1 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/parser/parser_ml.o ¶

⊟

58.0 KB

strings --all --bytes=8 {} ¶

⊟

11.4 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/pred_sets/fset_conv_ml.o ¶

⊟

11.3 KB

strings --all --bytes=8 {} ¶

⊟

7.36 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/pred_sets/gspec_ml.o ¶

⊟

7.24 KB

strings --all --bytes=8 {} ¶

⊟

2.97 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/pred_sets/set_ind_ml.o ¶

⊟

2.85 KB

strings --all --bytes=8 {} ¶

⊟

10.5 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/hol_term_pp_ml.o ¶

⊟

10.4 KB

strings --all --bytes=8 {} ¶

⊟

4.07 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/hol_thm_pp_ml.o ¶

⊟

3.93 KB

strings --all --bytes=8 {} ¶

⊟

5.03 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/hol_trees_ml.o ¶

⊟

4.89 KB

strings --all --bytes=8 {} ¶

⊟

5.7 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/hol_type_pp_ml.o ¶

⊟

5.55 KB

strings --all --bytes=8 {} ¶

⊟

1.1 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/link_to_hol_ml.o ¶

⊟

976 B

strings --all --bytes=8 {} ¶

⊟

5.85 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/new_printers_ml.o ¶

⊟

5.71 KB

strings --all --bytes=8 {} ¶

⊟

1.33 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_hol/precedence_ml.o ¶

⊟

1.19 KB

strings --all --bytes=8 {} ¶

⊟

1.51 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/PP_to_ML_ml.o ¶

⊟

1.36 KB

strings --all --bytes=8 {} ¶

⊟

45.6 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/convert_ml.o ¶

⊟

45.5 KB

strings --all --bytes=8 {} ¶

⊟

18.4 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/generate_ml.o ¶

⊟

18.2 KB

strings --all --bytes=8 {} ¶

⊟

14.9 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/lex_ml.o ¶

⊟

14.8 KB

strings --all --bytes=8 {} ¶

⊟

17.7 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/pp_lang1_pp_ml.o ¶

⊟

17.5 KB

strings --all --bytes=8 {} ¶

⊟

21.1 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/pp_lang2_pp_ml.o ¶

⊟

20.9 KB

strings --all --bytes=8 {} ¶

⊟

71.7 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_parser/syntax_ml.o ¶

⊟

71.6 KB

strings --all --bytes=8 {} ¶

⊟

23.5 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/boxes_ml.o ¶

⊟

23.4 KB

strings --all --bytes=8 {} ¶

⊟

5.02 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/boxtostring_ml.o ¶

⊟

4.87 KB

strings --all --bytes=8 {} ¶

⊟

3.71 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/extents_ml.o ¶

⊟

3.56 KB

strings --all --bytes=8 {} ¶

⊟

12.5 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/print_ml.o ¶

⊟

12.3 KB

strings --all --bytes=8 {} ¶

⊟

1.62 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/ptree_ml.o ¶

⊟

1.49 KB

strings --all --bytes=8 {} ¶

⊟

7.6 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/strings_ml.o ¶

⊟

7.46 KB

strings --all --bytes=8 {} ¶

⊟

33.4 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/treematch_ml.o ¶

⊟

33.2 KB

strings --all --bytes=8 {} ¶

⊟

41.9 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/treetobox_ml.o ¶

⊟

41.8 KB

strings --all --bytes=8 {} ¶

⊟

19.3 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/prettyp/PP_printer/utils_ml.o ¶

⊟

19.1 KB

strings --all --bytes=8 {} ¶

⊟

3.16 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/record_proof/dummy_funs_ml.o ¶

⊟

3.02 KB

strings --all --bytes=8 {} ¶

⊟

36.9 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/record_proof/proof_rec_ml.o ¶

⊟

36.8 KB

strings --all --bytes=8 {} ¶

⊟

8.79 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/reduce/arithconv_ml.o ¶

⊟

8.67 KB

strings --all --bytes=8 {} ¶

⊟

3.67 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/reduce/boolconv_ml.o ¶

⊟

3.55 KB

strings --all --bytes=8 {} ¶

⊟

2.61 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/reduce/reduce_ml.o ¶

⊟

2.5 KB

strings --all --bytes=8 {} ¶

⊟

13.3 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/res_quan/cond_rewr_ml.o ¶

⊟

13.2 KB

strings --all --bytes=8 {} ¶

⊟

31.8 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/res_quan/res_rules_ml.o ¶

⊟

31.6 KB

strings --all --bytes=8 {} ¶

⊟

11.0 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/sets/fset_conv_ml.o ¶

⊟

10.8 KB

strings --all --bytes=8 {} ¶

⊟

7.29 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/sets/gspec_ml.o ¶

⊟

7.18 KB

strings --all --bytes=8 {} ¶

⊟

2.95 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/sets/set_ind_ml.o ¶

⊟

2.84 KB

strings --all --bytes=8 {} ¶

⊟

2.2 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/string/ascii_ml.o ¶

⊟

2.08 KB

strings --all --bytes=8 {} ¶

⊟

1.56 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/string/string_ml.o ¶

⊟

1.45 KB

strings --all --bytes=8 {} ¶

⊟

2.79 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/string/string_rules_ml.o ¶

⊟

2.66 KB

strings --all --bytes=8 {} ¶

⊟

1.45 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/string/stringconv_ml.o ¶

⊟

1.33 KB

strings --all --bytes=8 {} ¶

⊟

17.6 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/taut/taut_check_ml.o ¶

⊟

17.5 KB

strings --all --bytes=8 {} ¶

⊟

4.57 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/trs/extract_ml.o ¶

⊟

4.45 KB

strings --all --bytes=8 {} ¶

⊟

20.3 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/trs/matching_ml.o ¶

⊟

20.2 KB

strings --all --bytes=8 {} ¶

⊟

6.94 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/trs/name_ml.o ¶

⊟

6.83 KB

strings --all --bytes=8 {} ¶

⊟

8.59 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/trs/search_ml.o ¶

⊟

8.48 KB

strings --all --bytes=8 {} ¶

⊟

1.36 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/trs/sets_ml.o ¶

⊟

1.25 KB

strings --all --bytes=8 {} ¶

⊟

13.8 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/trs/sidecond_ml.o ¶

⊟

13.6 KB

strings --all --bytes=8 {} ¶

⊟

20.2 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/trs/struct_ml.o ¶

⊟

20.0 KB

strings --all --bytes=8 {} ¶

⊟

707 B

./usr/lib/hol88-2.02.19940316dfsg/Library/trs/thmkind_ml.o ¶

⊟

591 B

strings --all --bytes=8 {} ¶

⊟

8.73 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/trs/user_ml.o ¶

⊟

8.63 KB

strings --all --bytes=8 {} ¶

⊟

30.1 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/unwind/unwinding_ml.o ¶

⊟

30.0 KB

strings --all --bytes=8 {} ¶

⊟

11.5 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/window/basic_close_ml.o ¶

⊟

11.4 KB

strings --all --bytes=8 {} ¶

⊟

8.6 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/window/eq_close_ml.o ¶

⊟

8.48 KB

strings --all --bytes=8 {} ¶

⊟

16.5 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/window/hol_ext_ml.o ¶

⊟

16.3 KB

strings --all --bytes=8 {} ¶

⊟

22.2 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/window/imp_close_ml.o ¶

⊟

22.1 KB

strings --all --bytes=8 {} ¶

⊟

36.6 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/window/inter_ml.o ¶

⊟

36.4 KB

strings --all --bytes=8 {} ¶

⊟

611 B

./usr/lib/hol88-2.02.19940316dfsg/Library/window/load_code_ml.o ¶

⊟

485 B

strings --all --bytes=8 {} ¶

⊟

843 B

./usr/lib/hol88-2.02.19940316dfsg/Library/window/load_window_ml.o ¶

⊟

713 B

strings --all --bytes=8 {} ¶

⊟

11.4 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/window/ml_ext_ml.o ¶

⊟

11.3 KB

strings --all --bytes=8 {} ¶

⊟

21.4 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/window/tables_ml.o ¶

⊟

21.3 KB

strings --all --bytes=8 {} ¶

⊟

5.31 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/window/tactic_ml.o ¶

⊟

5.19 KB

strings --all --bytes=8 {} ¶

⊟

1.29 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/window/thms_ml.o ¶

⊟

1.18 KB

strings --all --bytes=8 {} ¶

⊟

36.4 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/window/win_ml.o ¶

⊟

36.3 KB

strings --all --bytes=8 {} ¶

⊟

1.19 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/window/window_ml.o ¶

⊟

1.07 KB

strings --all --bytes=8 {} ¶

⊟

3.1 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/window/xlabel_ml.o ¶

⊟

2.98 KB

strings --all --bytes=8 {} ¶

⊟

18.0 KB

./usr/lib/hol88-2.02.19940316dfsg/Library/word/word_convs_ml.o ¶

⊟

17.9 KB

strings --all --bytes=8 {} ¶

⊟

318 KB

hol88-source_2.02.19940316dfsg-5_all.deb ¶

⊟

367 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

318 KB

data.tar.xz ¶

⊟

318 KB

data.tar ¶

⊟

1.54 KB

⊟

685 B

⊟

543 B

⊟

58.2 KB

⊟

20.2 KB

⊟

5.19 KB

⊟

5.73 KB

⊟

900 B

⊟

176 KB

⊟

9.85 KB

⊟

3.97 KB

⊟

1.69 KB

⊟

14.1 KB

⊟

7.95 KB

⊟

6.75 KB

⊟

4.16 KB

⊟

31.1 MB

hol88_2.02.19940316dfsg-5_armhf.deb ¶

⊟

452 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

31.1 MB

data.tar.xz ¶

⊟

31.1 MB

data.tar ¶

⊟

8.97 MB

./usr/lib/hol88-2.02.19940316dfsg/basic-hol ¶

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

214 KB

strings --all --bytes=8 {} ¶

⊟

8.76 MB

objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.data {} ¶

⊟

20.1 MB

./usr/lib/hol88-2.02.19940316dfsg/hol ¶

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

462 KB

strings --all --bytes=8 {} ¶

⊟

19.7 MB

objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.data {} ¶

⊟

2.02 MB

./usr/lib/hol88-2.02.19940316dfsg/hol-lcf ¶

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

51.1 KB

strings --all --bytes=8 {} ¶

⊟

1.97 MB

objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.data {} ¶


Offset 1, 10 lines modified		Offset 1, 10 lines modified

1	·1f4b7d998ac883dda702bb96595c3f83·23444·math·optional·hol88-contrib-help_2.02.19940316dfsg-5_all.deb	1	·1f4b7d998ac883dda702bb96595c3f83·23444·math·optional·hol88-contrib-help_2.02.19940316dfsg-5_all.deb
2	·b3a739f2c95b2c4c96556a080f14172b·725520·math·optional·hol88-contrib-source_2.02.19940316dfsg-5_all.deb	2	·b3a739f2c95b2c4c96556a080f14172b·725520·math·optional·hol88-contrib-source_2.02.19940316dfsg-5_all.deb
3	·0e4d8~~bb59~~c~~6679d9~~8~~7c3~~ef~~cbd524~~4ff3·1064796·doc·optional·hol88-doc_2.02.19940316dfsg-5_all.deb	3	·bd4089d044c80a02386eeef451bbf491·1064760·doc·optional·hol88-doc_2.02.19940316dfsg-5_all.deb
4	·13149c402b486edede2163284c6a62ee·209292·math·optional·hol88-help_2.02.19940316dfsg-5_all.deb	4	·13149c402b486edede2163284c6a62ee·209292·math·optional·hol88-help_2.02.19940316dfsg-5_all.deb
5	·2e76bef766713f7ddfe80641586b7d3f·227748·math·optional·hol88-library-help_2.02.19940316dfsg-5_all.deb	5	·2e76bef766713f7ddfe80641586b7d3f·227748·math·optional·hol88-library-help_2.02.19940316dfsg-5_all.deb
6	·59939b639d170e3323a4a5c396bc44ea·417084·math·optional·hol88-library-source_2.02.19940316dfsg-5_all.deb	6	·59939b639d170e3323a4a5c396bc44ea·417084·math·optional·hol88-library-source_2.02.19940316dfsg-5_all.deb
7	·e457dc966707f75813df416d6573fc98·3637856·math·optional·hol88-library_2.02.19940316dfsg-5_armhf.deb
8	·b5c6b1c116a4227a5910bbb4723b4f9b·294040·math·optional·hol88-source_2.02.19940316dfsg-5_all.deb
9	·~~cd63d89264~~be6f5~~007~~8fde53~~e999~~e236·~~5339124~~·math·optional·hol88_2.02.19940316dfsg-5_armhf.deb	7	·bf3550af88b0672981d593bc6eec6d69·3640052·math·optional·hol88-library_2.02.19940316dfsg-5_armhf.deb
		8	·5189f5d93b660809cf568f98568a9762·294036·math·optional·hol88-source_2.02.19940316dfsg-5_all.deb
		9	·942ba8d666d6462e08c8590befa1773f·5359016·math·optional·hol88_2.02.19940316dfsg-5_armhf.deb


Offset 1, 3 lines modified		Offset 1, 3 lines modified
1	-rw-r--r--···0········0········0········4·2023-01-08·22:11:46.000000·debian-binary	1	-rw-r--r--···0········0········0········4·2023-01-08·22:11:46.000000·debian-binary
2	-rw-r--r--···0········0········0·····1232·2023-01-08·22:11:46.000000·control.tar.xz	2	-rw-r--r--···0········0········0·····1236·2023-01-08·22:11:46.000000·control.tar.xz
3	-rw-r--r--···0········0········0··1063372·2023-01-08·22:11:46.000000·data.tar.xz	3	-rw-r--r--···0········0········0··1063332·2023-01-08·22:11:46.000000·data.tar.xz


Offset 1, 10 lines modified		Offset 1, 10 lines modified
00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·		00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·
00000010:·5465·5820·6f75·7470·7574·2032·3032·342e··TeX·output·2024.		00000010:·5465·5820·6f75·7470·7574·2032·3032·342e··TeX·output·2024.
00000020:·3034·2e31·323a·3132·3438·8b00·0000·0100··04.12:1~~248~~......		00000020:·3034·2e31·333a·3136·3032·8b00·0000·0100··04.13:1602......
00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................		00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................
00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................		00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................
00000050:·0000·00ff·ffff·ff8d·ef1a·6865·6164·6572··..........header		00000050:·0000·00ff·ffff·ff8d·ef1a·6865·6164·6572··..........header
00000060:·3d6c·3362·6163·6b65·6e64·2d64·7669·7073··=l3backend-dvips		00000060:·3d6c·3362·6163·6b65·6e64·2d64·7669·7073··=l3backend-dvips
00000070:·2e70·726f·8ea0·0276·ef02·8da0·fd86·d70b··.pro...v........		00000070:·2e70·726f·8ea0·0276·ef02·8da0·fd86·d70b··.pro...v........
00000080:·a002·5b28·f58d·a0fe·b76b·a68d·8d92·0096··..[(.....k......		00000080:·a002·5b28·f58d·a0fe·b76b·a68d·8d92·0096··..[(.....k......
00000090:·f106·a5ff·4b53·34ef·4d70·733a·3a5b·6265··....KS4.Mps::[be		00000090:·f106·a5ff·4b53·34ef·4d70·733a·3a5b·6265··....KS4.Mps::[be


Offset 16, 3938 lines modified		Offset 16, 3938 lines modified
000000f0:·d769·b098·8ba4·bc49·9312·285c·7db9·f35c··.i.....I..(\}..\		000000f0:·d769·b098·8ba4·bc49·9312·285c·7db9·f35c··.i.....I..(\}..\
00000100:·fc3c·c78f·f716·c2ad·9f89·7c1c·fd03·fbf1··.<........\|.....		00000100:·fc3c·c78f·f716·c2ad·9f89·7c1c·fd03·fbf1··.<........\|.....
00000110:·b1a3·8f49·7895·ceb1·aa60·df5f·7ffb·743b··...Ix....`._..t;		00000110:·b1a3·8f49·7895·ceb1·aa60·df5f·7ffb·743b··...Ix....`._..t;
00000120:·fe59·4cb0·f70b·7ef0·f2f2·d2cb·d548·c55a··.YL...~......H.Z		00000120:·fe59·4cb0·f70b·7ef0·f2f2·d2cb·d548·c55a··.YL...~......H.Z
00000130:·f482·747e·a871·b089·9f84·9fa3·4468·e155··..t~.q......Dh.U		00000130:·f482·747e·a871·b089·9f84·9fa3·4468·e155··..t~.q......Dh.U
00000140:·83d6·18b7·7eee·cf45·2972·e828·cca2·ff38··....~..E)r.(...8		00000140:·83d6·18b7·7eee·cf45·2972·e828·cca2·ff38··....~..E)r.(...8
Diff chunk too large, falling back to line-by-line diff (3931 lines added, 3931 lines removed)
00000150:·755d·5d33·4e17·7900·cd38·ca38·5d94·d982··u]]3N.y..8.8]...		00000150:·755d·5d33·4e17·7900·cd38·ca38·5d94·d982··u]]3N.y..8.8]...
00000160:·847a·dc73·8f7b·1e48·~~a47f~~·~~8c0c~~·~~0fc5~~·~~539~~4··.z.s.{.H.~~.....S~~.		00000160:·847a·dc73·8f7b·dee0·c23b·7571·4443·f114··.z.s.{...;uqDC..
00000170:·~~dce6~~·6930·~~16e~~5·~~052f~~·~~c5aa~~·~~97e~~5·298e·~~9a7d~~··..i0.../....)..}		00000170:·25b7·791a·8c45·79c1·4bb1·ea65·798a·a366··%.y..Ey.K..ey..f
00000180:·ff1d·~~73a0~~·e975·1~~494~~·~~7ce0~~·b~~a3c~~·~~c442~~·28a6··..s..u..\|..<.B(.		00000180:·df7f·c71c·687a·1d05·251f·b82e·0fb1·108a··....hz..%.......
00000190:·~~dc00~~·~~27d8~~·~~d419~~·4~~980~~·6~~de0~~·~~9f33~~·~~9493~~·2~~809~~··~~..'~~.~~..I~~.m..3..(.		00000190:·2937·c009·3675·4612·601b·f8e7·0ce5·244a··)7..6uF.`.....$J
000001a0:·~~1165~~·~~3372~~·~~c652~~·~~ac82~~·~~1914~~·~~eee5~~·~~988d~~·~~3643~~··~~.e3r~~.R.....~~...6C~~		000001a0:·4244·d98c·9cb1·14ab·6006·857b·3966·a3cd··BD......`..{9f..
000001b0:·~~e752~~·~~868b~~·~~0c9e~~·~~5fef~~·~~649~~9·~~fb49~~·11c3·2c41··.R...._.d..I..,A		000001b0:·d0b9·94e1·2283·e7d7·3b59·e67e·52c4·304b··...."...;Y.~R.0K
000001c0:·~~7554~~·~~c405~~·~~9ffa~~·7~~121~~·f8c8·~~591~~6·~~2031~~·ee79··uT....q!..Y.·1.y		000001c0:·501d·1571·c1a7·7e5c·083e·7296·0548·8c7b··P..q..~\.>r..H.{
000001d0:·~~fcac~~·~~cfe7~~·~~8b18~~·~~2033~~·8~~2bc~~·ef9d·~~0088~~·~~2950~~··.....~~.·3~~......)P		000001d0:·1e3f·ebf3·f922·06c8·8c20·ef7b·2700·620a··.?..."...·.{'.b.
000001e0:·~~0c02~~·~~c9e~~2·~~457~~1·~~ee4a~~·~~6a47~~·~~7d7~~f·~~00a5~~·8912··....Eq.~~JjG}~~.....		000001e0:·1483·40b2·7851·9cbb·92da·51df·1f40·69a2··..@.xQ....Q..@i.
000001f0:·~~89d4~~·~~e483~~·~~cb2d~~·~~1c8f~~·~~1f79~~·~~1b79~~·e471·~~6f13~~··~~...~~..-...y.y.qo.		000001f0:·4422·35f9·e072·0bc7·e347·de46·1e79·dcdb··D"5..r...G.F.y..
00000200:·4~~d05~~·~~f6e3~~·~~3218~~·~~de63~~·~~9026~~·~~815f~~·020c·3~~bbb~~··M...2..c.&._..;.		00000200:·4453·81fd·b80c·86f7·18a4·49e0·9700·c3ce··DS........I.....
00000210:·1345·~~1a2f~~·~~5079~~·~~609~~8·~~4b84~~·~~7c6b~~·~~8112~~·~~f1c4~~··.E.~~/Py`~~.K.~~\|k.~~...		00000210:·ee44·91c6·0b54·1e18·e612·21df·5aa0·443c··.D...T....!.Z.D<
00000220:·~~0b9c~~·2~~04e~~·~~7d30~~·~~ab07~~·~~1b15~~·~~5a22~~·~~b61a~~·08f2··..~~·N}0~~...~~.Z"~~....		00000220:·f102·2788·531f·ccea·c146·8596·88ad·0682··..'.S....F......
00000230:·~~eb72~~·9~~283~~·~~b470~~·~~8e34~~·~~128d~~·~~8d06~~·~~e51a~~·d6be··.r...p.4........		00000230:·fcba·9ce4·202d·9c23·8d44·63a3·41b9·86b5··....·-.#.Dc.A...
00000240:·~~de21~~·~~4316~~·~~ae4d~~·~~5b11~~·~~35a~~d·~~3dee~~·~~872~~1·~~75f1~~··.!C..~~M[.5.=~~..~~!u.~~		00000240:·af77·c890·856b·d356·444d·6b8f·fb61·485d··.w...k.VDMk..aH]
00000250:·~~f5ee~~·~~81cd~~·~~fd32~~·~~8f56~~·~~3c58~~·~~e43~~9·~~a898~~·~~7a93~~··..~~...2~~.~~V<X~~.9..z.		00000250:·7cbd·7b60·73bf·cca3·150f·1679·0e2a·a6de··\|.{`s......y.*..
00000260:·~~97fc~~·92e7·~~a8cc~~·~~bc58~~·~~4cb8~~·~~3f29~~·~~b8db~~·~~73e1~~··....~~...XL~~.?)..s.		00000260:·e425·bfe4·392a·332f·1613·ee4f·0aee·f65c··.%..9*3/...O...\
00000270:·~~cfe~~3·7~~129~~·~~a902~~·7adb·4cd3·~~dc8f~~·6385·~~c890~~··..~~q).~~.z.L...~~c...~~		00000270:·f8f3·785c·4aaa·80de·36d3·34f7·e358·2132··..x\J...6.4..X!2
00000280:·~~59dd~~·~~068b~~·~~8f85~~·~~d0c~~4·~~60aa~~·~~3ee0~~·9841·~~0699~~··Y....~~...`~~.>..A..		00000280:·6456·b7c1·e263·2134·3198·aa0f·3866·9041··dV...c!41...8f.A
00000290:·906a·daca·~~7c01~~·~~b306~~·~~73fa~~·~~0194~~·~~74e1~~·~~c753~~··.j..\|...s...t..S		00000290:·26a4·9ab6·325f·c0ac·c19c·7e00·255d·f8f1··&...2_....~.%]..
000002a0:·~~2142~~·~~c98a~~·d22f·~~170~~5·~~6a8b~~·~~5383~~·~~152e~~·a820··!B.../..j.S....·		000002a0:·5488·50b2·a2f4·cb45·81da·e2d4·6085·0b2a··T.P....E....`..*
000002b0:·~~6207~~·~~6916~~·~~894~~2·~~3aff~~·~~a60a~~·~~fc1e~~·~~8037~~·~~5ffc~~··b.i.~~.B:~~......7_.		000002b0:·88d8·419a·45a2·90ce·bfa9·02bf·07e0·cd17··..A.E...........
000002c0:·f2c1·~~a3e5~~·~~7644~~·~~8f47~~·~~3672~~·~~6e86~~·~~c307~~·~~9760~~··...~~.vD~~.~~G6rn~~....`		000002c0:·bf7c·f068·b91d·d1e3·918d·9c9b·e1f0·c125··.\|.h...........%
000002d0:·~~eee3~~·c849·1228·~~8c9c~~·~~4f1f~~·~~d533~~·~~2873~~·~~7a86~~··...I.(..O..~~3(sz~~.		000002d0:·98fb·3872·9204·0a23·e7d3·47f5·0cca·9c9e··..8r...#..G.....
000002e0:·~~d3a3~~·d28f·~~6289~~·~~f5ef~~·~~9596~~·~~8e38~~·~~9449~~·~~3d99~~··....~~b..~~....8.~~I=.~~		000002e0:·e1f4·a8f4·a358·62fd·7ba5·a523·0e65·524f··.....Xb.{..#.eRO
000002f0:·~~834b~~·~~f5eb~~·3a13·~~7c00~~·~~b8f8~~·~~f245~~·~~896a~~·9a94··.K..:.\|....~~E.j~~..		000002f0:·e6e0·52fd·bace·041f·002e·be7c·51a2·9a26··..R........\|Q..&
00000300:·~~f94a~~·~~8386~~·~~b0d4~~·~~3974~~·~~060d~~·~~0ba8~~·4c9e·~~9c89~~··.J...~~.9t~~....L...		00000300:·65be·d2a0·212c·750e·9d41·c302·2a93·2767··e...!,u..A..*.'g
00000310:·~~0fb~~3·~~71cf~~·fd3c·f7d7·~~cc19~~·46d0·~~0ad6~~·~~debd~~··..q..<..~~..F~~.....		00000310:·e2c3·6cdc·733f·cffd·3573·8611·b482·b577··..l.s?..5s.....w
00000320:·~~335~~c·~~447~~1·~~7835~~·~~f373~~·~~891f~~·~~f426~~·~~7290~~·~~cdc7~~··~~3\Dqx5~~.s...&r...		00000320:·ef0c·1751·1c5e·cdfc·5ce2·07bd·891c·64f3··...Q.^..\.....d.
00000330:·~~2448~~·~~d166~~·~~70e4~~·~~6e84~~·~~8b94~~·~~5f4a~~·679a·a61c··$H.fp.n...~~_Jg~~...		00000330:·3109·52b4·191c·b91b·e122·e597·d299·a629··1.R......".....)
00000340:·~~2438~~·~~852e~~·~~367~~d·~~46c4~~·3~~88c~~·~~193e~~·~~96d0~~·~~358f~~··~~$8.~~.~~6}F~~.8..>..5.		00000340:·0709·4ea1·8b4d·9f11·310e·6386·8f25·74cd··..N..M..1.c..%t.
00000350:·533f·~~842~~1·0~~0af~~·2018·~~339e~~·0710·~~463~~1·~~d523~~··S?.!..·.3...~~F1.#~~		00000350:·e3d4·0f61·08c0·2b08·c68c·e701·8451·4cf5··...a..+......QL.
00000360:·~~9358~~·~~f4a0~~·a8b8·~~452~~1·~~f111~~·~~d323~~·~~06c4~~·~~705a~~··.X.~~...E!..~~.#..pZ		00000360:·c824·163d·282a·6e51·487c·c4f4·8801·319c··.$.=(*nQH\|....1.
00000370:·~~4850~~·~~06c4~~·b~~a57~~·~~380f~~·~~d4d6~~·e5f0·~~4095~~·25c9··HP...W8...~~..@.%.~~		00000370:·1612·9401·b1ee·15ce·03b5·7539·3c50·6549··..........u9<PeI
00000380:·f1ba·~~c147~~·~~99a5~~·19f6·~~78c9~~·~~60d9~~·~~8059~~·~~41de~~··..~~.G...~~.~~x.`..YA~~.		00000380:·72bc·6ef0·5166·6986·3d5e·3258·3660·5690··r.n.Qfi.=^2X6`V.
00000390:·~~2a1e~~·87ce·~~d58b~~·~~bc02~~·d679·~~2c92~~·~~a772~~·~~c64f~~··*........y,..r.O		00000390:·b78a·c7a1·73f5·22af·8075·1e8b·e4a9·9cf1··....s."..u......
000003a0:·~~4873~~·9~~e04~~·~~55cd~~·~~1a55~~·~~c7a6~~·8a61·~~dd4a~~·~~7afd~~··Hs.~~.U.~~.U...~~a.Jz.~~		000003a0:·13d2·9c27·4155·b346·d5b1·a962·58b7·925e··...'AU.F...bX..^
000003b0:·f~~7dc~~·~~ae1f~~·987a·~~7c22~~·caba·~~d1bc~~·5f55·~~7bfd~~··.....z\|"...~~._U{~~.		000003b0:·ff3d·b7eb·07a6·1e9f·88b2·6e34·ef57·d55e··.=........n4.W.^
000003c0:·~~3342~~·6180·~~13ae~~·~~1a48~~·9~~edd~~·7~~da4~~·aa4a·~~984b~~··~~3Ba~~....H..}..J.K		000003c0:·ff8c·5018·e084·ab06·9267·771f·a9aa·12e6··..P......gw.....
000003d0:·~~47cd~~·~~1216~~·~~6194~~·~~1225~~·~~0748~~·2441·~~f8c7~~·~~d4d2~~··G...a..%.~~H$A~~....		000003d0:·d251·b384·4518·a544·c901·1249·10fe·31b5··.Q..E..D...I..1.
000003e0:·~~18a1~~·~~7223~~·~~dbd5~~·3~~cc9~~·c25f·~~a21e~~·~~78a0~~·~~e1a0~~··~~..r#~~.~~.<.~~._..x...		000003e0:·3446·a8dc·c876·354f·b2f0·97a8·071e·6838··4F...v5O......h8
000003f0:·~~f163~~·~~7ea9~~·~~e61~~9·~~b9e8~~·~~73b0~~·~~5d62~~·45e5·7~~13d~~··.c~.....s.~~]bE.q=~~		000003f0:·68fc·985f·aa79·462e·fa1c·6c97·5851·795c··h.._.yF...l.XQy\
00000400:·~~e3f4~~·~~4ac4~~·a1f3·~~7b0~~e·~~c233~~·~~f304~~·~~835d~~·c1f3··..J...{..3...]..		00000400:·cf38·bd12·71e8·fc9e·83f0·cc3c·c160·57f0··.8..q......<.`W.
00000410:·6ac5·~~afd6~~·~~fc6a~~·~~469c~~·~~e2cb~~·~~0b75~~·~~7eb5~~·~~6620~~··j....jF....u~.f·		00000410:·bc5a·f1ab·35bf·9a11·a7f8·f242·9d5f·ad19··.Z..5......B._..
00000420:·~~d4c0~~·~~0f66~~·~~2214~~·c~~b28~~·~~1058~~·~~0158~~·~~b80c~~·6a35··...f"..(.~~X.X~~..j5		00000420:·0835·f083·9908·c532·0a04·5600·162e·835a··.5.....2..V....Z
00000430:·~~3f02~~·1708·~~6da8~~·~~e99~~a·~~f768~~·~~b88f~~·~~f22a~~·da44··?...m....h...*.D		00000430:·cd8f·c005·421b·6aba·e63d·1aee·a3bc·8a36··....B.j..=.....6
00000440:·~~7330~~·~~f173~~·~~bf78~~·~~66b~~9·2~~8c0~~·~~730a~~·~~18c8~~·~~b574~~··s0.s.xf.(.s....t		00000440:·d11c·4cfc·dc2f·9e59·2e0a·f09c·0206·722d··..L../.Y......r-
00000450:·~~820~~0·~~78e8~~·~~14c1~~·~~23da~~·8d24·a9c7·~~03a8~~·~~c828~~··..x...#..$.....(		00000450:·9d20·001e·3a45·f088·7623·49ea·f100·2a32··.·..:E..v#I...*2
00000460:·1afd·~~246~~9·~~8f07~~·~~6bc6~~·~~9c54~~·~~0bda~~·~~5eb6~~·~~057e~~··.~~.$i~~..k..T..^..~		00000460:·8a46·3f49·dae3·c19a·3127·d582·b697·6d81··.F?I....1'....m.
00000470:·5~~949~~·~~63ac~~·~~2670~~·~~4a16~~·~~0768~~·~~31e~~c·~~c628~~·~~2bfe~~··~~YIc~~.~~&pJ~~..h1..(+.		00000470:·5f56·d218·ab09·9c92·c501·5a0c·bb31·ca8a··_V........Z..1..
00000480:·~~33a2~~·~~1e3a~~·9f24·~~74a9~~·~~5eaf~~·e175·9~~266~~·7251··3..:.$t.^..u.~~frQ~~		00000480:·ff8c·a887·ce27·095d·aad7·6b78·9da4·995c··.....'.]..kx...\
00000490:·~~889c~~·~~ec00~~·~~bc1c~~·~~cdd2~~·f499·~~3f27~~·e94b·2299··..........?'.K".		00000490:·1422·273b·002f·47b3·347d·e6cf·49fa·9248··."';./G.4}..I..H
000004a0:·~~7907~~·~~6ace~~·~~f813~~·a769·~~1971~~·65c3·~~4936~~·~~f374~~··y.j....i~~.qe~~.I6.t		000004a0:·66de·819a·33fe·c469·5a46·5cd9·7092·cd3c··f...3..iZF\.p..<
000004b0:·~~29c~~a·~~d4f9~~·~~c6bb~~·~~ec1a~~·~~f0e7~~·~~115f~~·9764·~~3cc9~~··).........._.~~d<.~~		000004b0:·5d8a·3275·bef1·2ebb·06fc·79c4·d725·194f··].2u......y..%.O
000004c0:·~~64b~~9·0a40·~~f610~~·~~59e8~~·~~9d9f~~·~~a391~~·~~73fe~~·~~f26d~~··d..@..Y.....s..m		000004c0:·3259·ae02·903d·4416·7ae7·e768·e49c·bf7c··2Y...=D.z..h...\|
000004d0:·~~239d~~·~~bb6f~~·c6be·~~d28a~~·~~431f~~·8~~6ab~~·~~00fe~~·~~c1ca~~··#..o....C.......		000004d0:·db48·e7ee·9bb1·afb4·e2d0·87e1·2a80·7fb0··.H..........*...
000004e0:·~~15c0~~·2803·~~26b4~~·a079·~~c5b4~~·6832·2d6a·9~~e79~~··..(.&.~~.y..h2-j~~.y		000004e0:·7205·30ca·8009·2d68·5e31·2d9a·4c8b·9a67··r.0...-h^1-.L..g
000004f0:·~~314b~~·~~5fd0~~·~~09a3~~·~~510~~4·~~7397~~·~~9792~~·~~55cd~~·~~e8dd~~··~~1K_~~...Q.s...~~U...~~		000004f0:·5ecc·d217·74c2·6814·c1dc·e5a5·6455·337a··^...t.h.....dU3z
00000500:·~~6e58~~·~~0348~~·~~78a0~~·~~41b6~~·~~51bf~~·~~77ec~~·~~17e6~~·b9e4··nX.Hx.A.Q.w.....		00000500:·b71b·d600·121e·6890·6dd4·ef1d·fb85·792e··......h.m.....y.
00000510:·6997·~~0eb8~~·~~70d0~~·~~01a8~~·~~4683~~·~~d23f~~·~~3955~~·~~a608~~··i...p...F..~~?9U~~..		00000510:·79da·a503·2e1c·7400·aad1·a0f4·4f4e·9529··y.....t.....ON.)
00000520:·~~a4d4~~·~~d726~~·0a86·~~ec41~~·~~c589~~·~~4404~~·5065·~~3e38~~··...&..~~.A..D~~.~~Pe>8~~		00000520:·0229·f5b5·8982·217b·5071·2211·0154·990f··.)....!{Pq"..T..
00000530:·~~7569~~·~~e883~~·~~5388~~·~~6cd4~~·~~f405~~·c~~bbc~~·~~800f~~·~~b22f~~··ui..S.l......../		00000530:·4e5d·1afa·e014·221b·357d·c132·2fe0·83ec··N]....".5}.2/...
00000540:·~~68e7~~·69d8·~~a727~~·~~67ef~~·~~bdde~~·~~d929~~·~~75a3~~·~~7cca~~··h.i..'g...~~.)u~~.\|.		00000540:·0bda·791a·f6e9·c9d9·7baf·7776·4add·289f··..y.....{.wvJ.(.
00000550:·7~~d13~~·~~a89c~~·~~eefd~~·~~66c4~~·~~9c30~~·~~4265~~·~~470f~~·~~1bae~~··}.....f.~~.0BeG~~...		00000550:·72df·042a·a77b·bf19·3127·8c50·d9d1·c386··r..*.{..1'.P....
00000560:·d7b2·~~7e45~~·d~~bb3~~·~~2e15~~·~~c033~~·~~8052~~·~~63f4~~·~~2b80~~··..~E.....3.Rc.+.		00000560:·ebb5·ac5f·d1f6·ac4b·05f0·0ca0·d418·fd0a··..._...K........
00000570:·~~c618~~·~~3005~~·~~c8a4~~·a~~a16~~·~~bfca~~·~~a373~~·~~1756~~·~~21b~~8··..0........s.V!.		00000570:·a031·064c·0132·a9aa·c5af·f2e8·dc85·5508··.1.L.2........U.
00000580:·0a41·~~d2e~~4·~~d5eb~~·~~8670~~·~~06dd~~·3~~8cc~~·~~e0e0~~·~~bb9~~e··.A.....p..8.....		00000580:·ae42·9034·79f5·ba21·9c41·370e·3338·f8ae··.B.4y..!.A7.38..
00000590:·~~54f3~~·~~1839~~·~~775b~~·~~3e64~~·~~e40c~~·~~af53~~·~~58dc~~·~~201a~~··T.~~.9w[>d~~...SX.·.		00000590:·27d5·3c46·cedd·960f·1939·c3eb·1416·3788··'.<F.....9....7.
000005a0:·~~2d35~~·~~c082~~·6~~50b~~·~~bee5~~·~~6e4d~~·~~36f6~~·~~9b04~~·~~beee~~··-5..e..~~.nM6~~.....		000005a0:·464b·0db0·60d9·826f·b95b·938d·fd26·81af··FK..`..o.[...&..
000005b0:·b~~e39~~·~~4b89~~·~~907b~~·~~acbd~~·e~~7df~~·~~3643~~·~~5ebb~~·~~311d~~··.9K..{....~~6C^~~.1.		000005b0:·bb6f·ce52·22e4·1e6b·eff9·b7cd·90d7·6e4c··.o.R"..k......nL
000005c0:·~~e840~~·5c14·~~2ee0~~·~~ed65~~·~~2672~~·~~8166~~·9451·~~f8f1~~··.@\....~~e&r~~.f.Q..		000005c0:·073a·1017·850b·787b·9989·5ca0·1965·147e··.:....x{..\..e.~
000005d0:·~~7070~~·~~1d15~~·~~59ec~~·~~af0f~~·~~0f46~~·~~e2fe~~·~~ebe1~~·~~c167~~··~~pp..Y~~....F...~~..g~~		000005d0:·3c1c·5c47·4516·fbeb·c383·91b8·ff7a·78f0··<.\GE........zx.
000005e0:·~~5882~~·~~f9cf~~·7~~904~~·3119·~~f74e~~·1d08·~~c80e~~·~~1f65~~··X...y.1..N.....e		000005e0:·1996·60fe·731e·414c·c6bd·5307·02b2·c347··..`.s.AL..S....G
000005f0:·~~b5c2~~·~~0c15~~·~~fd1a~~·c~~3f2~~·~~63ad~~·~~2aad~~·~~d0f~~4·~~00ad~~··.~~...~~....c.*~~.....~~		000005f0:·59ad·3043·45bf·c6b0·fc58·ab4a·2b34·3d40··Y.0CE....X.J+4=@
00000600:·~~8e12~~·~~a0b4~~·8420·1824·8~~2f3~~·479e·~~54ac~~·~~228c~~··...~~..·~~.$..G.T.".		00000600:·aba3·0428·2d21·0806·89e0·fc91·2715·ab08··...(-!......'...
00000610:·~~5d36~~·0~~831~~·~~026~~0·~~ca93~~·~~6f74~~·~~58a4~~·~~551e~~·~~5c91~~··]6.1.`..~~otX~~.U.\.		00000610:·6397·0d42·8c00·98f2·e41b·1d16·6995·0757··c..B........i..W
00000620:·944f·~~b4c4~~·b~~ede~~·~~91c5~~·81ff·~~a1e4~~·~~e162~~·a780··.O.....~~...~~...b..		00000620:·24e5·132d·b1af·7764·71e0·7f28·79b8·d829··$..-..wdq..(y..)
00000630:·0686·~~0c4~~3·~~5731~~·188a·~~5032~~·145a·6d83·~~f893~~··..~~.CW1~~..P2.Zm...		00000630:·a081·21c3·d055·0c86·2294·0c85·56db·20fe··..!..U.."...V.·.
00000640:·~~3142~~·~~9b4e~~·~~4aaa~~·bda2·~~8554~~·~~6b4~~a·~~4cee~~·~~a4a4~~··1B.NJ....~~TkJL~~...		00000640:·648c·d0a6·9392·6aaf·6821·d59a·1293·3b29··d.....j.h!....;)
00000650:·b91b·~~c20a~~·d534·~~1301~~·~~6ba~~a·~~4413~~·~~09d1~~·210c··.....4..k.D.~~..!~~.		00000650:·69ee·86b0·4235·cd44·c09a·2ad1·4442·7408··i...B5.D..*.DBt.
00000660:·~~656e~~·~~c52~~1·~~ac2e~~·~~f2a8~~·~~4650~~·~~6602~~·1900·4~~589~~··en.!....~~FPf~~...E.		00000660:·4399·5b71·08ab·8b3c·aa11·9499·4006·4051··C.[q...<....@.@Q
00000670:·~~c19b~~·~~9518~~·~~ba02~~·~~33e8~~·fa0c·0~~06a~~·~~c913~~·~~3203~~··......3....j..2.		00000670:·62f0·6625·86ae·c00c·ba3e·0380·5af2·84cc··b.f%.....>..Z...
00000680:·~~984~~6·~~60fc~~·9f6a·~~c3ea~~·~~4b45~~·~~0735~~·~~56c4~~·~~a54f~~··.F`..j..KE.5V..O		00000680:·00a6·1118·ffa7·dab0·fa52·d141·8d15·71e9··.........R.A..q.
00000690:·~~7a41~~·~~21c5~~·~~a506~~·~~dc23~~·~~7d83~~·~~c49c~~·~~2f72~~·cc33··~~zA!~~....#}.../r.3		00000690:·935e·5048·71a9·01f7·48df·2031·e78b·1cf3··.^PHq...H.·1....
000006a0:·aeaa·~~70c5~~·69df·~~3a21~~·~~b07e~~·~~09e4~~·~~d131~~·~~ff82~~··..~~p.i~~.:!.~...1..		000006a0:·8cab·2a5c·71da·b74e·08ac·5f02·7974·ccbf··..*\q..N.._.yt..
000006b0:·2~~4e5~~·~~d180~~·~~0a4~~2·~~1ef5~~·~~a930~~·~~c568~~·~~f40b~~·~~fabb~~··~~$...~~.B.~~..0.h~~....		000006b0:·2049·7934·a082·9047·7d2a·4c31·1afd·82fe···Iy4...G}*L1....
000006c0:·~~27e~~9·~~126~~4·~~263d~~·~~7a46~~·~~5261~~·~~fc22~~·~~5593~~·~~67a~~9··'..~~d&=zFRa~~."U.g.		000006c0:·ee49·ba04·9949·8f9e·9154·18bf·48d5·e459··.I...I...T..H..Y
000006d0:·~~68bc~~·~~48ab~~·~~7f27~~·9619·~~07e2~~·2f50·~~9ccb~~·~~8c01~~··h.H..'..../P....		000006d0:·2a1a·2fd2·eadf·8965·c681·f80b·14e7·3263··*./....e......2c
000006e0:·~~792c~~·2608·~~ed53~~·~~31c5~~·~~a247~~·~~4550~~·~~19ae~~·~~4a39~~··~~y,&~~..S1..~~GEP~~..J9		000006e0:·401e·8b09·42fb·544c·b1e8·5111·5486·ab52··@...B.TL..Q.T..R
000006f0:·~~9454~~·7501·~~25d5~~·~~a684~~·~~9222~~·~~b492~~·~~101~~4·~~8fad~~··.~~Tu.%.~~..."......		000006f0:·0e25·555d·4049·b529·a1a4·08ad·2404·c563··.%U]@I.)....$..c
00000700:·~~4ed6~~·~~c042~~·~~5ff9~~·~~c98c~~·~~fb64~~·~~d021~~·~~621b~~·~~8fb5~~··N..B_....d.!b...		00000700:·ab93·35b0·d057·7e32·e33e·1974·88d8·c663··..5..W~2.>.t...c
00000710:·~~b1c6~~·f100·00de·~~2b39~~·a2a6·~~31b5~~·~~d3d1~~·f~~b89~~··......+9..1.....		00000710:·6dac·713c·0080·f74a·8ea8·694c·ed74·f47e··m.q<...J..iL.t.~
00000720:·~~aded~~·~~453c~~·~~98f8~~·~~c133~~·~~e01d~~·~~d15e~~·~~a6de~~·~~6a7c~~··..E<...3...^..j\|		00000720:·626b·7b11·0f26·7ef0·0c78·47b4·97a9·b71a··bk{..&~..xG.....
00000730:·0fff·f~~3af~~·~~b3a8~~·~~80e8~~·1ae7·~~47f0~~·~~bf77~~·~~e0fe~~··.....~~...~~..G..w..		00000730:·dfc3·fffc·eb2c·2a20·bac6·f911·fcef·1db8··.....,*·........
00000740:·~~f91d~~·~~a23d~~·~~8944~~·~~e460~~·~~0442~~·~~fe12~~·~~a1ba~~·~~cc04~~··...~~=.D~~.`.B......		00000740:·7f7e·8768·4f22·1139·1881·90bf·44a8·2e33··.~.hO".9....D..3
00000750:·~~0fd~~3·~~0097~~·~~77c6~~·c18c·~~c65~~1·~~b9e~~e·5514·054f··....w....Q..U..O		00000750:·c1c3·34c0·e59d·7130·a371·54ae·7b15·45c1··..4...q0.qT.{.E.
00000760:·~~c9ab·~~c0f2·2~~968~~·~~3f44~~·d40b·fe02·~~6bf8~~·~~4263~~··....~~)h?D~~....k.Bc		00000760:·53f2·2ab0·7c0a·da0f·11f5·82bf·c01a·bed0··S.*.\|...........
00000770:·~~d53d~~·~~cd84~~·~~0f61~~·~~422f~~·~~2c57~~·1~~c76~~·~~6548~~·~~3dcd~~··~~.=..~~.~~aB/,W~~.~~veH=.~~		00000770:·5875·4f33·e143·98d0·0bcb·1587·5d19·524f··XuO3.C......].RO
00000780:·d030·c~~3de~~·~~eaef~~·~~aaee~~·~~1d31~~·~~f3e7~~·~~436c~~·~~87ff~~··.0.......1..Cl..		00000780:·3334·ccb0·b7fa·bbaa·7b47·ccfc·f910·dbe1··34......{G......
00000790:·~~eafd~~·~~eac1~~·~~15ee~~·~~6abd~~·~~f323~~·~~dc63~~·5~~1cf~~·~~9f7d~~··......j..#.cQ..}		00000790:·bf7a·bf7a·7085·bb5a·effc·08f7·58d4·f367··.z.zp..Z....X..g
000007a0:·dc79·~~c1e~~0·~~7f11~~·4~~169~~·1a7c·~~2ac1~~·~~a7ad~~·~~c1a4~~··.~~y..~~.~~.Ai~~.~~\|*.~~.~~...~~		000007a0:·1f77·5e30·f85f·4450·9a06·9f4a·f069·6b30··.w^0._DP...J.ik0
000007b0:·~~80a5~~·459e·270b·~~1c09~~·0~~4d6~~·~~0e98~~·e739·~~c490~~··~~..E~~.'........9..		000007b0:·2960·6991·e7c9·0247·0281·b503·e679·0e31··)`i....G.....y.1
000007c0:·~~d308~~·~~de41~~·~~d9c1~~·~~7ae0~~·~~d060~~·~~9b12~~·~~46c4~~·~~034f~~··...~~A..z~~..`..F..O		000007c0:·e434·8277·5076·b01e·3834·d8a6·8411·f1c0··.4.wPv..84......
000007d0:·~~a748~~·~~a06c~~·~~53e6~~·~~b78b~~·491c·~~05b0~~·~~8d86~~·~~fd2b~~··.H.lS...I......+		000007d0:·d329·1228·db94·f9ed·6212·4701·6ca3·61ff··.).(....b.G.l.a.
000007e0:·~~2ca9~~·~~83cf~~·~~b7b7~~·~~9f0f~~·df71·~~01fc~~·~~0391~~·~~256c~~··,........q...~~.%l~~		000007e0:·0a4b·eae0·f3ed·ede7·c377·5c00·ff40·6409··.K.......w\..@d.
000007f0:·~~0dd1~~·~~b778~~·~~bd41~~·5091·~~0029~~·c~~71a~~·~~1dba~~·~~3d80~~··...~~x.AP..)~~....=.		000007f0:·5b43·f42d·5e6f·1054·2440·cab1·4687·6e0f··[C.-^o.T$@..F.n.
00000800:·~~a872~~·~~0dd2~~·~~d1a3~~·3d04·~~76d6~~·~~1cf~~7·6755·eb1e··.r....=.v...gU..		00000800:·20aa·5c83·74f4·680f·819d·35c7·fd59·d5ba···.\.t.h...5..Y..
00000810:·a711·~~21ac~~·~~a0a1~~·18aa·~~e9b4~~·~~490d~~·~~6730~~·~~211e~~··..!.~~...~~.~~..I.g0!~~.		00000810:·c769·4408·2b68·2886·6a3a·6d52·c319·4c88··.iD.+h(.j:mR..L.
00000820:·~~51ce~~·~~1766~~·~~d4f0~~·~~372b~~·c~~bac~~·~~b870~~·1cdc·~~ec22~~··Q..f..7+...p..."		00000820:·4794·f385·1935·fccd·ca32·2b2e·1c07·37bb··G....5...2+...7.
00000830:·~~9dd5~~·~~51a6~~·~~f8ef~~·~~a5f~~9·~~9313~~·6759·~~dc2b~~·~~579~~5··~~..Q~~.......gY.~~+W.~~		00000830:·4867·7594·29fe·7b69·fee4·c459·16f7·ca55··Hgu.).{i...Y...U
00000840:·~~9848~~·~~1748~~·~~11e0~~·~~9981~~·0355~~·3d09·~~fea7·6ab6·~~·.H~~.H.....U=...j.		00000840:·2526·d205·5204·7866·e040·554f·82ff·a99a··%&..R.xf.@UO....
00000850:·~~f804~~·~~a414~~·~~8b3f~~·~~f103~~·~~64ed~~·e734·~~7fc6~~·ae69··.....?..d..4...i		00000850:·2d3e·0129·c5e2·4ffc·0059·fb39·cd9f·b16b··->.)..O..Y.9...k
00000860:·~~f048~~·~~0144~~·ca71·~~5fa3~~·~~e69b~~·~~9882~~·6~~1aa~~·~~3610~~··.~~H.D~~.q_.....a.6.		00000860:·1a3c·5200·9172·dcd7·a8f9·26a6·6098·aa0d··.<R..r....&.`...
00000870:·~~2614~~·657b·0eca·~~148c~~·~~2d48~~·~~ac67~~·~~78b8~~·~~c111~~··&.e{....-H.gx...		00000870:·8409·45d9·9e83·3205·630b·12eb·191e·6e70··..E...2.c.....np
00000880:·746a·~~0773~~·~~8234~~·~~4ef~~3·~~5e11~~·~~70c9~~·~~37e8~~·~~ed58~~··tj.s.4N.^.p.7..X		00000880:·049d·dac1·9c20·8dd3·bc57·045c·f20d·7a3b··.....·...W.\..z;
00000890:·~~6353~~·~~4c1b~~·~~6742~~·2904·~~304f~~·~~a712~~·~~8089~~·~~1121~~··~~cSL~~.~~gB)~~.0O...~~..!~~		00000890:·d6d8·14d3·c699·500a·01cc·d3a9·0460·6244··......P......`bD
000008a0:·~~0275~~·~~135c~~·~~2f64~~·~~cc01~~·~~fe14~~·~~a713~~·~~3f66~~·~~4e16~~··.u.~~\/d~~......~~?fN~~.		000008a0:·8840·dd04·d70b·1973·803f·c5e9·c48f·9993··.@.....s.?......
000008b0:·~~4e7b~~·~~aa4c~~·9ee7·~~b8da~~·7~~52b~~·67d3·~~460d~~·~~960~~5··N{.L....~~u+g~~.F...		000008b0:·85d3·9e2a·93e7·39ae·76dd·cad9·b451·8365··...*..9.v....Q.e
000008c0:·~~d03d~~·~~3d39~~·~~191c~~·~~1b07~~·8720·4~~59f~~·~~3040~~·~~5f7b~~··.~~==9.~~....·E.~~0@_{~~		000008c0:·0174·4f4f·4e06·c7c6·c121·48d1·270c·d0d7··.tOON....!H.'...
Max diff block lines reached; -1/542967 bytes (-0.00%) of diff not shown.


Offset 10, 22 lines modified		Offset 10, 22 lines modified
10	-rw-r--r--···0·root·········(0)·root·········(0)·····5971·1991-06-20·13:46:02.000000·./usr/share/doc/hol88-doc/Manual/Covers/LANTERN.ps.gz	10	-rw-r--r--···0·root·········(0)·root·········(0)·····5971·1991-06-20·13:46:02.000000·./usr/share/doc/hol88-doc/Manual/Covers/LANTERN.ps.gz
11	-rw-r--r--···0·root·········(0)·root·········(0)·····2284·1991-09-29·15:35:56.000000·./usr/share/doc/hol88-doc/Manual/Covers/LIBRARIES.ps.gz	11	-rw-r--r--···0·root·········(0)·root·········(0)·····2284·1991-09-29·15:35:56.000000·./usr/share/doc/hol88-doc/Manual/Covers/LIBRARIES.ps.gz
12	-rw-r--r--···0·root·········(0)·root·········(0)·····2284·1991-09-29·12:19:37.000000·./usr/share/doc/hol88-doc/Manual/Covers/REFERENCE.ps.gz	12	-rw-r--r--···0·root·········(0)·root·········(0)·····2284·1991-09-29·12:19:37.000000·./usr/share/doc/hol88-doc/Manual/Covers/REFERENCE.ps.gz
13	-rw-r--r--···0·root·········(0)·root·········(0)·····2284·1991-09-29·12:20:00.000000·./usr/share/doc/hol88-doc/Manual/Covers/TUTORIAL.ps.gz	13	-rw-r--r--···0·root·········(0)·root·········(0)·····2284·1991-09-29·12:20:00.000000·./usr/share/doc/hol88-doc/Manual/Covers/TUTORIAL.ps.gz
14	-rw-r--r--···0·root·········(0)·root·········(0)·····2437·1991-06-20·13:46:07.000000·./usr/share/doc/hol88-doc/Manual/Covers/arms.ps.gz	14	-rw-r--r--···0·root·········(0)·root·········(0)·····2437·1991-06-20·13:46:07.000000·./usr/share/doc/hol88-doc/Manual/Covers/arms.ps.gz
15	-rw-r--r--···0·root·········(0)·root·········(0)·····2259·1991-06-20·13:46:02.000000·./usr/share/doc/hol88-doc/Manual/Covers/dsto.ps.gz	15	-rw-r--r--···0·root·········(0)·root·········(0)·····2259·1991-06-20·13:46:02.000000·./usr/share/doc/hol88-doc/Manual/Covers/dsto.ps.gz
16	-rw-r--r--···0·root·········(0)·root·········(0)·····1864·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.dvi	16	-rw-r--r--···0·root·········(0)·root·········(0)·····1864·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.dvi
17	-rw-r--r--···0·root·········(0)·root·········(0)····63238·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.ps.gz	17	-rw-r--r--···0·root·········(0)·root·········(0)····63240·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.ps.gz
18	-rw-r--r--···0·root·········(0)·root·········(0)······952·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.dvi.gz	18	-rw-r--r--···0·root·········(0)·root·········(0)······952·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.dvi.gz
19	-rw-r--r--···0·root·········(0)·root·········(0)····68594·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.ps.gz	19	-rw-r--r--···0·root·········(0)·root·········(0)····68596·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.ps.gz
20	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Description/	20	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Description/
21	-rw-r--r--···0·root·········(0)·root·········(0)···368~~899~~·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Description/description.dvi.gz	21	-rw-r--r--···0·root·········(0)·root·········(0)···368900·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Description/description.dvi.gz
22	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Guide/	22	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Guide/
23	-rw-r--r--···0·root·········(0)·root·········(0)····73078·1993-09-28·10:51:26.000000·./usr/share/doc/hol88-doc/Manual/Guide/guide.ps.gz	23	-rw-r--r--···0·root·········(0)·root·········(0)····73078·1993-09-28·10:51:26.000000·./usr/share/doc/hol88-doc/Manual/Guide/guide.ps.gz
24	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Libraries/	24	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Libraries/
25	-rw-r--r--···0·root·········(0)·root·········(0)·····2288·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Libraries/libraries.dvi	25	-rw-r--r--···0·root·········(0)·root·········(0)·····2288·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Libraries/libraries.dvi
26	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Reference/	26	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Reference/
27	-rw-r--r--···0·root·········(0)·root·········(0)···345430·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Reference/reference.dvi.gz	27	-rw-r--r--···0·root·········(0)·root·········(0)···345432·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Reference/reference.dvi.gz
28	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Tutorial/	28	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Tutorial/
29	-rw-r--r--···0·root·········(0)·root·········(0)···115435·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Tutorial/tutorial.dvi.gz	29	-rw-r--r--···0·root·········(0)·root·········(0)···115434·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Tutorial/tutorial.dvi.gz
30	-rw-r--r--···0·root·········(0)·root·········(0)······506·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/changelog.Debian.gz	30	-rw-r--r--···0·root·········(0)·root·········(0)······506·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/changelog.Debian.gz
31	-rw-r--r--···0·root·········(0)·root·········(0)·····1124·2010-11-05·16:09:32.000000·./usr/share/doc/hol88-doc/copyright	31	-rw-r--r--···0·root·········(0)·root·········(0)·····1124·2010-11-05·16:09:32.000000·./usr/share/doc/hol88-doc/copyright


Offset 1, 20 lines modified		Offset 1, 20 lines modified
00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·		00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·
00000010:·5465·5820·6f75·7470·7574·2032·3032·342e··TeX·output·2024.		00000010:·5465·5820·6f75·7470·7574·2032·3032·342e··TeX·output·2024.
00000020:·3034·2e31·323a·3132·3434·8b00·0000·0100··04.12:1244......		00000020:·3034·2e31·333a·3135·3534·8b00·0000·0100··04.13:1554......
00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................		00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................
00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................		00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................
00000050:·0000·00ff·ffff·ff8d·ef1a·6865·6164·6572··..........header		00000050:·0000·00ff·ffff·ff8d·ef1a·6865·6164·6572··..........header
00000060:·3d6c·3362·6163·6b65·6e64·2d64·7669·7073··=l3backend-dvips		00000060:·3d6c·3362·6163·6b65·6e64·2d64·7669·7073··=l3backend-dvips
00000070:·2e70·726f·8ea0·02cc·0555·8da0·fd46·d30e··.pro.....U...F..		00000070:·2e70·726f·8ea0·02cc·0555·8da0·fd46·d30e··.pro.....U...F..
00000080:·a002·942f·df8d·a0fd·6cd0·218d·9112·c761··.../....l.!....a		00000080:·a002·942f·df8d·a0fd·6cd0·218d·9112·c761··.../....l.!....a
00000090:·f325·c2d6·4ea0·000c·0000·000c·0000·0006··.%..N...........		00000090:·f325·c2d6·4ea0·000c·0000·000c·0000·0006··.%..N...........
000000a0:·636d·6278·3132·d056·4552·5349·4f4e·9604··cmbx12.VERSION..		000000a0:·636d·6278·3132·d056·4552·5349·4f4e·9604··cmbx12.VERSION..
000000b0:·8000·3293·2866·6f72·9348·4f4c·3838·2e32··..2.(for.HOL88.2		000000b0:·8000·3293·2866·6f72·9348·4f4c·3838·2e32··..2.(for.HOL88.2
000000c0:·2e30·2992·00c6·7e79·4170·7269·6c93·3132··.0)...~yApril.12		000000c0:·2e30·2992·00c6·7e79·4170·7269·6c93·3133··.0)...~yApril.13
000000d0:·2c93·3230·3234·8ea0·00cc·fe89·8d92·008b··,.2024..........		000000d0:·2c93·3230·3234·8ea0·00cc·fe89·8d92·008b··,.2024..........
000000e0:·24ae·f327·c2d6·4ea0·0018·e148·000c·0000··$..'..N....H....		000000e0:·24ae·f327·c2d6·4ea0·0018·e148·000c·0000··$..'..N....H....
000000f0:·0006·636d·6278·3132·d254·6865·9609·547b··..cmbx12.The..T{		000000f0:·0006·636d·6278·3132·d254·6865·9609·547b··..cmbx12.The..T{
00000100:·484f·4c93·5379·7374·656d·8e9f·1f72·d98d··HOL.System...r..		00000100:·484f·4c93·5379·7374·656d·8e9f·1f72·d98d··HOL.System...r..
00000110:·9200·a389·6ff3·29c2·d64e·a000·14bd·7100··....o.)..N....q.		00000110:·9200·a389·6ff3·29c2·d64e·a000·14bd·7100··....o.)..N....q.
00000120:·0c00·0000·0663·6d62·7831·32d4·4445·5343··.....cmbx12.DESC		00000120:·0c00·0000·0663·6d62·7831·32d4·4445·5343··.....cmbx12.DESC
00000130:·5249·5054·494f·4e8e·a001·80a8·d18d·8d8d··RIPTION.........		00000130:·5249·5054·494f·4e8e·a001·80a8·d18d·8d8d··RIPTION.........


Offset 1, 21 lines modified		Offset 1, 21 lines modified
00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·		00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·
00000010:·5465·5820·6f75·7470·7574·2032·3032·342e··TeX·output·2024.		00000010:·5465·5820·6f75·7470·7574·2032·3032·342e··TeX·output·2024.
00000020:·3034·2e31·323a·3132·3437·8b00·0000·0100··04.12:1~~247~~......		00000020:·3034·2e31·333a·3136·3032·8b00·0000·0100··04.13:1602......
00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................		00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................
00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................		00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................
00000050:·0000·00ff·ffff·ff8d·ef1a·6865·6164·6572··..........header		00000050:·0000·00ff·ffff·ff8d·ef1a·6865·6164·6572··..........header
00000060:·3d6c·3362·6163·6b65·6e64·2d64·7669·7073··=l3backend-dvips		00000060:·3d6c·3362·6163·6b65·6e64·2d64·7669·7073··=l3backend-dvips
00000070:·2e70·726f·8ea0·02cc·0555·8da0·fd46·d30e··.pro.....U...F..		00000070:·2e70·726f·8ea0·02cc·0555·8da0·fd46·d30e··.pro.....U...F..
00000080:·a002·942f·df8d·a0fd·6cd0·218d·9112·c761··.../....l.!....a		00000080:·a002·942f·df8d·a0fd·6cd0·218d·9112·c761··.../....l.!....a
00000090:·f325·c2d6·4ea0·000c·0000·000c·0000·0006··.%..N...........		00000090:·f325·c2d6·4ea0·000c·0000·000c·0000·0006··.%..N...........
000000a0:·636d·6278·3132·d056·4552·5349·4f4e·9604··cmbx12.VERSION..		000000a0:·636d·6278·3132·d056·4552·5349·4f4e·9604··cmbx12.VERSION..
000000b0:·8000·3293·2866·6f72·9348·4f4c·3838·2e32··..2.(for.HOL88.2		000000b0:·8000·3293·2866·6f72·9348·4f4c·3838·2e32··..2.(for.HOL88.2
000000c0:·2e30·3229·9200·bfbe·7941·7072·696c·9331··.02)....yApril.1		000000c0:·2e30·3229·9200·bfbe·7941·7072·696c·9331··.02)....yApril.1
000000d0:·322c·9332·3032·348e·a000·ccfe·898d·9200··2,.2024.........		000000d0:·332c·9332·3032·348e·a000·ccfe·898d·9200··3,.2024.........
000000e0:·8b24·aef3·27c2·d64e·a000·18e1·4800·0c00··.$..'..N....H...		000000e0:·8b24·aef3·27c2·d64e·a000·18e1·4800·0c00··.$..'..N....H...
000000f0:·0000·0663·6d62·7831·32d2·5468·6596·0954··...cmbx12.The..T		000000f0:·0000·0663·6d62·7831·32d2·5468·6596·0954··...cmbx12.The..T
00000100:·7b48·4f4c·9353·7973·7465·6d8e·9f1f·72d9··{HOL.System...r.		00000100:·7b48·4f4c·9353·7973·7465·6d8e·9f1f·72d9··{HOL.System...r.
00000110:·8d92·00b6·0e70·f329·c2d6·4ea0·0014·bd71··.....p.)..N....q		00000110:·8d92·00b6·0e70·f329·c2d6·4ea0·0014·bd71··.....p.)..N....q
00000120:·000c·0000·0006·636d·6278·3132·d44c·4942··......cmbx12.LIB		00000120:·000c·0000·0006·636d·6278·3132·d44c·4942··......cmbx12.LIB
00000130:·5241·5249·4553·8ea0·0180·a8d1·8d8d·8d9e··RARIES..........		00000130:·5241·5249·4553·8ea0·0180·a8d1·8d8d·8d9e··RARIES..........
00000140:·e663·8d8d·913a·5b61·f324·58ab·510b·000c··.c...:[a.$X.Q...		00000140:·e663·8d8d·913a·5b61·f324·58ab·510b·000c··.c...:[a.$X.Q...


Offset 1, 19 lines modified		Offset 1, 19 lines modified
00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·		00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·
00000010:·5465·5820·6f75·7470·7574·2032·3032·342e··TeX·output·2024.		00000010:·5465·5820·6f75·7470·7574·2032·3032·342e··TeX·output·2024.
00000020:·3034·2e31·323a·3132·3434·8b00·0000·0100··04.12:1~~244~~......		00000020:·3034·2e31·333a·3135·3533·8b00·0000·0100··04.13:1553......
00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................		00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................
00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................		00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................
00000050:·0000·00ff·ffff·ff8d·ef1a·6865·6164·6572··..........header		00000050:·0000·00ff·ffff·ff8d·ef1a·6865·6164·6572··..........header
00000060:·3d6c·3362·6163·6b65·6e64·2d64·7669·7073··=l3backend-dvips		00000060:·3d6c·3362·6163·6b65·6e64·2d64·7669·7073··=l3backend-dvips
00000070:·2e70·726f·8ea0·02cc·0555·8da0·fd46·d30e··.pro.....U...F..		00000070:·2e70·726f·8ea0·02cc·0555·8da0·fd46·d30e··.pro.....U...F..
00000080:·a002·942f·df8d·a0fd·6cd0·218d·9112·c761··.../....l.!....a		00000080:·a002·942f·df8d·a0fd·6cd0·218d·9112·c761··.../....l.!....a
00000090:·f325·c2d6·4ea0·000c·0000·000c·0000·0006··.%..N...........		00000090:·f325·c2d6·4ea0·000c·0000·000c·0000·0006··.%..N...........
000000a0:·636d·6278·3132·d056·4552·5349·4f4e·9604··cmbx12.VERSION..		000000a0:·636d·6278·3132·d056·4552·5349·4f4e·9604··cmbx12.VERSION..
000000b0:·8000·3292·0129·b041·4170·7269·6c93·3132··..2..).AApril.12		000000b0:·8000·3292·0129·b041·4170·7269·6c93·3133··..2..).AApril.13
000000c0:·2c93·3230·3234·8ea0·00cc·53dd·8d92·008b··,.2024....S.....		000000c0:·2c93·3230·3234·8ea0·00cc·53dd·8d92·008b··,.2024....S.....
000000d0:·24ae·f327·c2d6·4ea0·0018·e148·000c·0000··$..'..N....H....		000000d0:·24ae·f327·c2d6·4ea0·0018·e148·000c·0000··$..'..N....H....
000000e0:·0006·636d·6278·3132·d254·6865·9609·547b··..cmbx12.The..T{		000000e0:·0006·636d·6278·3132·d254·6865·9609·547b··..cmbx12.The..T{
000000f0:·484f·4c93·5379·7374·656d·8e9f·1f72·d98d··HOL.System...r..		000000f0:·484f·4c93·5379·7374·656d·8e9f·1f72·d98d··HOL.System...r..
00000100:·9200·b794·abf3·29c2·d64e·a000·14bd·7100··......)..N....q.		00000100:·9200·b794·abf3·29c2·d64e·a000·14bd·7100··......)..N....q.
00000110:·0c00·0000·0663·6d62·7831·32d4·5455·544f··.....cmbx12.TUTO		00000110:·0c00·0000·0663·6d62·7831·32d4·5455·544f··.....cmbx12.TUTO
00000120:·5249·414c·8ea0·0180·a8d1·8d8d·8d9e·e663··RIAL...........c		00000120:·5249·414c·8ea0·0180·a8d1·8d8d·8d9e·e663··RIAL...........c


Offset 1, 13 lines modified		Offset 1, 13 lines modified
1	Package:·hol88-library	1	Package:·hol88-library
2	Source:·hol88	2	Source:·hol88
3	Version:·2.02.19940316dfsg-5	3	Version:·2.02.19940316dfsg-5
4	Architecture:·armhf	4	Architecture:·armhf
5	Maintainer:·Camm·Maguire·<camm@debian.org>	5	Maintainer:·Camm·Maguire·<camm@debian.org>
6	Installed-Size:·19327	6	Installed-Size:·19329
7	Section:·math	7	Section:·math
8	Priority:·optional	8	Priority:·optional
9	Description:·Higher·Order·Logic,·binary·library·modules	9	Description:·Higher·Order·Logic,·binary·library·modules
10	·The·HOL·System·is·an·environment·for·interactive·theorem·proving·in·a	10	·The·HOL·System·is·an·environment·for·interactive·theorem·proving·in·a
11	·higher-order·logic.·Its·most·outstanding·feature·is·its·high·degree	11	·higher-order·logic.·Its·most·outstanding·feature·is·its·high·degree
12	·of·programmability·through·the·meta-language·ML.·The·system·has·a	12	·of·programmability·through·the·meta-language·ML.·The·system·has·a
13	·wide·variety·of·uses·from·formalizing·pure·mathematics·to	13	·wide·variety·of·uses·from·formalizing·pure·mathematics·to


Offset 238, 39 lines modified		Offset 238, 39 lines modified
238	COMMON-LISPPROGN»	238	COMMON-LISPPROGN»
239	SYSTEMSETVV	239	SYSTEMSETVV
240	MK-NULLTYP»	240	MK-NULLTYP»
241	MK-APPN»	241	MK-APPN»
242	PNEWLINE	242	PNEWLINE
243	MK-NULLTYP»	243	MK-NULLTYP»
244	loading·abs_theory»	244	loading·abs_theory»
245	FUN%2353%79	245	FUN%381%107
246	MK-NULLTYP»	246	MK-NULLTYP»
247	Extending·help·search·path»	247	Extending·help·search·path»
248	TTY-WRITE-AND-DRAIN»	248	TTY-WRITE-AND-DRAIN»
249	ML-LIBRARY_PATHNAME»	249	ML-LIBRARY_PATHNAME»
250	/abs_theory/help/entries/»	250	/abs_theory/help/entries/»
251	FUN%2353%72»	251	FUN%381%100»
252	ML-HELP_SEARCH_PATH»	252	ML-HELP_SEARCH_PATH»
253	FUN%7474%102»	253	FUN%3465%93»
254	ML-SET_HELP_SEARCH_PATH	254	ML-SET_HELP_SEARCH_PATH
255	MK-BEGIN	255	MK-BEGIN
256	abs_theory	256	abs_theory
257	ML-MK_CONST»	257	ML-MK_CONST»
258	FUN%6571%541
259	FUN%6571%541
260	FUN%6571%542
261	FUN%~~6571~~%~~542~~	258	FUN%8668%677
		259	FUN%8668%677
		260	FUN%8668%678
		261	FUN%8668%678
262	ML-INT_OF_STRING»	262	ML-INT_OF_STRING»
263	FUN%6571%543
264	FUN%6571%543
265	FUN%6571%544
266	FUN%~~6571~~%~~544~~	263	FUN%8668%679
		264	FUN%8668%679
		265	FUN%8668%680
		266	FUN%8668%680
267	ML-DEST_CONST»	267	ML-DEST_CONST»
268	FUN%6571%545
269	FUN%~~6571~~%~~545~~	268	FUN%8668%681
		269	FUN%8668%681
270	MK-PRODTYP»	270	MK-PRODTYP»
271	» MK-FUNTYP	271	» MK-FUNTYP
272	» MK-INTTYP	272	» MK-INTTYP
273	MK-TERMTYP»	273	MK-TERMTYP»
274	» MK-FUNTYP	274	» MK-FUNTYP
275	MK-TERMTYP	275	MK-TERMTYP
276	» MK-INTTYP»	276	» MK-INTTYP»


Offset 197, 35 lines modified		Offset 197, 35 lines modified
197	.comment	197	.comment
198	.note.GNU-stack	198	.note.GNU-stack
199	.rel.debug_frame	199	.rel.debug_frame
200	.ARM.attributes	200	.ARM.attributes
201	COMMON-LISP-USER	201	COMMON-LISP-USER
202	SYSTEMSPUTPROP	202	SYSTEMSPUTPROP
203	COMMON-LISPQUOTE	203	COMMON-LISPQUOTE
204	FUN%~~1393~~%~~562~~	204	FUN%6047%655
205	» CURRYBIND	205	» CURRYBIND
206	,SPUTPROP	206	,SPUTPROP
207	FUN%~~1393~~%563	207	FUN%6047%656
208	» CURRYBIND	208	» CURRYBIND
209	,SPUTPROP	209	,SPUTPROP
210	FUN%~~1393~~%~~564~~	210	FUN%6047%657
211	» CURRYBIND	211	» CURRYBIND
212	FUN%~~1393~~%563	212	FUN%6047%656
213	EVALUATION»	213	EVALUATION»
214	ML-MK_CONST»	214	ML-MK_CONST»
215	ML-MK_COMB»	215	ML-MK_COMB»
216	FUN%1393%562
217	FUN%~~1393~~%~~562~~	216	FUN%6047%655
		217	FUN%6047%655
218	» Q-MK_TYPE»	218	» Q-MK_TYPE»
219	FUN%1393%562»
220	FUN%1393%563
221	FUN%1393%563
222	FUN%1393%563»
223	FUN%1393%564
224	FUN%~~1393~~%564	219	FUN%6047%655»
		220	FUN%6047%656
		221	FUN%6047%656
		222	FUN%6047%656»
		223	FUN%6047%657
		224	FUN%6047%657
225	» MK-FUNTYP	225	» MK-FUNTYP
226	» MK-TOKTYP»	226	» MK-TOKTYP»
227	» MK-FUNTYP	227	» MK-FUNTYP
228	» MK-TOKTYP»	228	» MK-TOKTYP»
229	» MK-FUNTYP»	229	» MK-FUNTYP»
230	MK-PRODTYP	230	MK-PRODTYP
231	MK-TERMTYP	231	MK-TERMTYP


Offset 164, 561 lines modified		Offset 164, 561 lines modified
164	COMMON-LISPPROGN»	164	COMMON-LISPPROGN»
165	SYSTEMSETVV	165	SYSTEMSETVV
166	» MK-THMTYP»	166	» MK-THMTYP»
167	» MK-LETREF	167	» MK-LETREF
168	ONE_PLUS	168	ONE_PLUS
169	» MK-THMTYP»	169	» MK-THMTYP»
170	» MK-LETREF»	170	» MK-LETREF»
171	MK-LETREF%ONE_PLUS%~~521~~»	171	MK-LETREF%ONE_PLUS%665»
172	ONE_PLUS»	172	ONE_PLUS»
173	MK-LET%TRUTH%90	173	MK-LET%TRUTH%160
174	» MK-THMTYP»	174	» MK-THMTYP»
175	» MK-LETREF	175	» MK-LETREF
176	» ZERO_PLUS	176	» ZERO_PLUS
177	» MK-THMTYP»	177	» MK-THMTYP»
178	MK-LETREF%ZERO_PLUS%~~522~~»	178	MK-LETREF%ZERO_PLUS%666»
179	» ZERO_PLUS	179	» ZERO_PLUS
180	» MK-THMTYP»	180	» MK-THMTYP»
181	» MK-LETREF	181	» MK-LETREF
182	» PLUS_ZERO	182	» PLUS_ZERO
183	» MK-THMTYP»	183	» MK-THMTYP»
184	MK-LETREF%PLUS_ZERO%~~523~~»	184	MK-LETREF%PLUS_ZERO%667»
185	» PLUS_ZERO	185	» PLUS_ZERO
186	» MK-THMTYP»	186	» MK-THMTYP»
187	» MK-LETREF	187	» MK-LETREF
188	SUC_ADD1	188	SUC_ADD1
189	» MK-THMTYP»	189	» MK-THMTYP»
190	MK-LETREF%SUC_ADD1%~~524~~»	190	MK-LETREF%SUC_ADD1%668»
191	SUC_ADD1	191	SUC_ADD1
192	» MK-THMTYP»	192	» MK-THMTYP»
193	» MK-LETREF	193	» MK-LETREF
194	SUC_ADD2	194	SUC_ADD2
195	» MK-THMTYP»	195	» MK-THMTYP»
196	MK-LETREF%SUC_ADD2%~~525~~»	196	MK-LETREF%SUC_ADD2%669»
197	SUC_ADD2	197	SUC_ADD2
198	» MK-THMTYP»	198	» MK-THMTYP»
199	» MK-LETREF	199	» MK-LETREF
200	» ZERO_MULT	200	» ZERO_MULT
201	» MK-THMTYP»	201	» MK-THMTYP»
202	MK-LETREF%ZERO_MULT%~~526~~»	202	MK-LETREF%ZERO_MULT%670»
203	» ZERO_MULT	203	» ZERO_MULT
204	» MK-THMTYP»	204	» MK-THMTYP»
205	» MK-LETREF	205	» MK-LETREF
206	ONE_MULT	206	ONE_MULT
207	» MK-THMTYP»	207	» MK-THMTYP»
208	MK-LETREF%ONE_MULT%~~527~~»	208	MK-LETREF%ONE_MULT%671»
209	ONE_MULT	209	ONE_MULT
210	» MK-THMTYP»	210	» MK-THMTYP»
211	» MK-LETREF	211	» MK-LETREF
212	» MULT_ZERO	212	» MULT_ZERO
213	» MK-THMTYP»	213	» MK-THMTYP»
214	MK-LETREF%MULT_ZERO%~~528~~»	214	MK-LETREF%MULT_ZERO%672»
215	» MULT_ZERO	215	» MULT_ZERO
216	» MK-THMTYP»	216	» MK-THMTYP»
217	» MK-LETREF	217	» MK-LETREF
218	MULT_ONE	218	MULT_ONE
219	» MK-THMTYP»	219	» MK-THMTYP»
220	MK-LETREF%MULT_ONE%~~529~~»	220	MK-LETREF%MULT_ONE%673»
221	MULT_ONE	221	MULT_ONE
222	» MK-THMTYP»	222	» MK-THMTYP»
223	» MK-LETREF	223	» MK-LETREF
224	MULT_SUC	224	MULT_SUC
225	» MK-THMTYP»	225	» MK-THMTYP»
226	MK-LETREF%MULT_SUC%~~530~~»	226	MK-LETREF%MULT_SUC%674»
227	MULT_SUC	227	MULT_SUC
228	» MK-THMTYP»	228	» MK-THMTYP»
229	» MK-LETREF	229	» MK-LETREF
230	» MULT_COMM	230	» MULT_COMM
231	» MK-THMTYP»	231	» MK-THMTYP»
232	MK-LETREF%MULT_COMM%~~531~~»	232	MK-LETREF%MULT_COMM%675»
233	» MULT_COMM	233	» MULT_COMM
234	» MK-THMTYP»	234	» MK-THMTYP»
235	» MK-LETREF	235	» MK-LETREF
236	SUC_ADD_LESS_EQ_F	236	SUC_ADD_LESS_EQ_F
237	» MK-THMTYP»	237	» MK-THMTYP»
238	MK-LETREF%SUC_ADD_LESS_EQ_F%~~532~~»	238	MK-LETREF%SUC_ADD_LESS_EQ_F%676»
239	SUC_ADD_LESS_EQ_F	239	SUC_ADD_LESS_EQ_F
240	» MK-THMTYP»	240	» MK-THMTYP»
241	» MK-LETREF	241	» MK-LETREF
242	MULT_LEQ_SUC	242	MULT_LEQ_SUC
243	» MK-THMTYP»	243	» MK-THMTYP»
244	MK-LETREF%MULT_LEQ_SUC%~~533~~»	244	MK-LETREF%MULT_LEQ_SUC%677»
245	MULT_LEQ_SUC	245	MULT_LEQ_SUC
246	» MK-THMTYP»	246	» MK-THMTYP»
247	» MK-LETREF	247	» MK-LETREF
248	ZERO_LESS_EQ_T	248	ZERO_LESS_EQ_T
249	» MK-THMTYP»	249	» MK-THMTYP»
250	MK-LETREF%ZERO_LESS_EQ_T%~~534~~»	250	MK-LETREF%ZERO_LESS_EQ_T%678»
251	ZERO_LESS_EQ_T	251	ZERO_LESS_EQ_T
252	» MK-THMTYP»	252	» MK-THMTYP»
253	» MK-LETREF	253	» MK-LETREF
254	SUC_LESS_EQ_ZERO_F	254	SUC_LESS_EQ_ZERO_F
255	» MK-THMTYP»	255	» MK-THMTYP»
256	·MK-LETREF%SUC_LESS_EQ_ZERO_F%~~535~~»	256	·MK-LETREF%SUC_LESS_EQ_ZERO_F%679»
257	SUC_LESS_EQ_ZERO_F	257	SUC_LESS_EQ_ZERO_F
258	» MK-THMTYP»	258	» MK-THMTYP»
259	» MK-LETREF	259	» MK-LETREF
260	ZERO_LESS_EQ_ONE_TIMES	260	ZERO_LESS_EQ_ONE_TIMES
261	» MK-THMTYP»	261	» MK-THMTYP»
262	$MK-LETREF%ZERO_LESS_EQ_ONE_TIMES%~~536~~»	262	$MK-LETREF%ZERO_LESS_EQ_ONE_TIMES%680»
263	ZERO_LESS_EQ_ONE_TIMES	263	ZERO_LESS_EQ_ONE_TIMES
264	» MK-THMTYP»	264	» MK-THMTYP»
265	» MK-LETREF	265	» MK-LETREF
266	LESS_EQ_PLUS	266	LESS_EQ_PLUS
267	» MK-THMTYP»	267	» MK-THMTYP»
268	MK-LETREF%LESS_EQ_PLUS%~~537~~»	268	MK-LETREF%LESS_EQ_PLUS%681»
269	LESS_EQ_PLUS	269	LESS_EQ_PLUS
270	» MK-THMTYP»	270	» MK-THMTYP»
271	» MK-LETREF	271	» MK-LETREF
272	LESS_EQ_TRANSIT	272	LESS_EQ_TRANSIT
273	» MK-THMTYP»	273	» MK-THMTYP»
274	MK-LETREF%LESS_EQ_TRANSIT%~~538~~»	274	MK-LETREF%LESS_EQ_TRANSIT%682»
275	LESS_EQ_TRANSIT	275	LESS_EQ_TRANSIT
276	» MK-THMTYP»	276	» MK-THMTYP»
277	» MK-LETREF	277	» MK-LETREF
278	» MK-THMTYP»	278	» MK-THMTYP»
279	MK-LETREF%NOT_T_F%~~539~~»	279	MK-LETREF%NOT_T_F%683»
280	» MK-THMTYP»	280	» MK-THMTYP»
281	» MK-LETREF	281	» MK-LETREF
282	» MK-THMTYP»	282	» MK-THMTYP»
283	MK-LETREF%NOT_F_T%~~540~~»	283	MK-LETREF%NOT_F_T%684»
284	» MK-FUNTYP	284	» MK-FUNTYP
285	MK-TERMTYP	285	MK-TERMTYP
286	» MK-THMTYP»	286	» MK-THMTYP»
287	» MK-LETREF	287	» MK-LETREF
288	CONJ_ASSOC_NORM_CONV	288	CONJ_ASSOC_NORM_CONV
289	» MK-FUNTYP	289	» MK-FUNTYP
290	MK-TERMTYP	290	MK-TERMTYP
Max diff block lines reached; 8300/10879 bytes (76.29%) of diff not shown.


Offset 195, 114 lines modified		Offset 195, 114 lines modified
195	.comment	195	.comment
196	.note.GNU-stack	196	.note.GNU-stack
197	.rel.debug_frame	197	.rel.debug_frame
198	.ARM.attributes	198	.ARM.attributes
199	COMMON-LISP-USER	199	COMMON-LISP-USER
200	SYSTEMSPUTPROP	200	SYSTEMSPUTPROP
201	COMMON-LISPQUOTE	201	COMMON-LISPQUOTE
202	FUN%7~~354~~%~~641~~	202	FUN%7901%727
203	» CURRYBIND	203	» CURRYBIND
204	MK-LET%is_suc%~~611~~»	204	MK-LET%is_suc%704»
205	FUN%2353%126»	205	FUN%381%154»
206	MK-LET%SUC_CONV%624»	206	MK-LET%SUC_CONV%689»
207	FUN%9353%549»
208	FUN%9353%~~531~~»	207	FUN%1377%712»
		208	FUN%1377%694»
209	MK-LET%is_plus%577»	209	MK-LET%is_plus%670»
210	MK-LET%ADD_CONV%~~652~~»	210	MK-LET%ADD_CONV%717»
211	FUN%9353%~~558~~»	211	FUN%1377%721»
212	MK-LET%is_mult%579»	212	MK-LET%is_mult%672»
213	MK-LET%MUL_CONV%~~663~~»	213	MK-LET%MUL_CONV%728»
214	FUN%9353%529»
215	FUN%7354%641
216	FUN%7354%641	214	FUN%1377%692»
		215	FUN%7901%727
		216	FUN%7901%727
217	» MK-FUNTYP	217	» MK-FUNTYP
218	MK-TERMTYP	218	MK-TERMTYP
219	» MK-THMTYP»	219	» MK-THMTYP»
220	NUM_REDUCE_QCONV	220	NUM_REDUCE_QCONV
221	» MK-FUNTYP	221	» MK-FUNTYP
222	MK-TERMTYP	222	MK-TERMTYP
223	» MK-THMTYP»	223	» MK-THMTYP»
224	» MK-LETREC»	224	» MK-LETREC»
225	MK-LETREC%NUM_REDUCE_QCONV%~~640~~»	225	MK-LETREC%NUM_REDUCE_QCONV%726»
226	FUN%7~~354~~%~~641~~»	226	FUN%7901%727»
227	NUM_REDUCE_QCONV	227	NUM_REDUCE_QCONV
228	,SPUTPROP	228	,SPUTPROP
229	FUN%7~~354~~%~~643~~	229	FUN%7901%729
230	» CURRYBIND	230	» CURRYBIND
231	MK-LET%is_eq%~~186~~»	231	MK-LET%is_eq%249»
232	MK-LET%NEQ_CONV%~~568~~»	232	MK-LET%NEQ_CONV%633»
233	MK-LET%is_leq%601»	233	MK-LET%is_leq%694»
234	MK-LET%LE_CONV%~~597~~»	234	MK-LET%LE_CONV%662»
235	MK-LET%is_less%600»	235	MK-LET%is_less%693»
236	MK-LET%LT_CONV%~~576~~»	236	MK-LET%LT_CONV%641»
237	MK-LET%is_geq%603»	237	MK-LET%is_geq%696»
238	MK-LET%GE_CONV%604»	238	MK-LET%GE_CONV%669»
239	MK-LET%is_great%602»	239	MK-LET%is_great%695»
240	MK-LET%GT_CONV%~~583~~»	240	MK-LET%GT_CONV%648»
241	FUN%7354%643
242	FUN%7~~354~~%~~643~~	241	FUN%7901%729
		242	FUN%7901%729
243	» MK-FUNTYP	243	» MK-FUNTYP
244	MK-TERMTYP	244	MK-TERMTYP
245	» MK-THMTYP»	245	» MK-THMTYP»
246	INEQ_REDUCE_QCONV	246	INEQ_REDUCE_QCONV
247	» MK-FUNTYP	247	» MK-FUNTYP
248	MK-TERMTYP	248	MK-TERMTYP
249	» MK-THMTYP»	249	» MK-THMTYP»
250	MK-LET%INEQ_REDUCE_QCONV%~~642~~»	250	MK-LET%INEQ_REDUCE_QCONV%728»
251	INEQ_REDUCE_QCONV»	251	INEQ_REDUCE_QCONV»
252	FUN%7~~354~~%~~643~~	252	FUN%7901%729
253	,SPUTPROP	253	,SPUTPROP
254	FUN%7~~354~~%~~645~~	254	FUN%7901%731
255	» CURRYBIND	255	» CURRYBIND
256	MK-LET%is_num_reln%604»	256	MK-LET%is_num_reln%697»
257	FUN%~~1393~~%605»	257	FUN%6047%698»
258	MK-LET%is_neg%~~188~~»	258	MK-LET%is_neg%251»
259	MK-LET%NOT_CONV%~~545~~»	259	MK-LET%NOT_CONV%653»
260	MK-LET%is_conj%~~183~~»	260	MK-LET%is_conj%246»
261	MK-LET%AND_CONV%~~548~~»	261	MK-LET%AND_CONV%656»
262	MK-LET%is_disj%~~184~~»	262	MK-LET%is_disj%247»
263	MK-LET%OR_CONV%~~555~~»	263	MK-LET%OR_CONV%663»
264	MK-LET%is_imp%~~185~~»	264	MK-LET%is_imp%248»
265	MK-LET%IMP_CONV%~~562~~»	265	MK-LET%IMP_CONV%670»
266	MK-LET%BEQ_CONV%~~569~~»	266	MK-LET%BEQ_CONV%677»
267	FUN%7354%645
268	FUN%7~~354~~%~~645~~	267	FUN%7901%731
		268	FUN%7901%731
269	» MK-FUNTYP	269	» MK-FUNTYP
270	MK-TERMTYP	270	MK-TERMTYP
271	» MK-THMTYP»	271	» MK-THMTYP»
272	BOOL_REDUCE_QCONV	272	BOOL_REDUCE_QCONV
273	» MK-FUNTYP	273	» MK-FUNTYP
274	MK-TERMTYP	274	MK-TERMTYP
275	» MK-THMTYP»	275	» MK-THMTYP»
276	MK-LETREC%BOOL_REDUCE_QCONV%~~644~~»	276	MK-LETREC%BOOL_REDUCE_QCONV%730»
277	FUN%7~~354~~%~~645~~»	277	FUN%7901%731»
278	BOOL_REDUCE_QCONV	278	BOOL_REDUCE_QCONV
279	,SPUTPROP	279	,SPUTPROP
280	FUN%7~~354~~%~~648~~	280	FUN%7901%734
281	» CURRYBIND	281	» CURRYBIND
282	,SPUTPROP	282	,SPUTPROP
283	FUN%7~~354~~%~~647~~	283	FUN%7901%733
284	» CURRYBIND	284	» CURRYBIND
285	FUN%7~~354~~%~~648~~	285	FUN%7901%734
286	EVALUATION»	286	EVALUATION»
287	MK-LET%dest_exists%136»	287	MK-LET%dest_exists%199»
288	FUN%~~2783~~%~~138~~»	288	FUN%9154%201»
289	ML-DEST_VAR»	289	ML-DEST_VAR»
290	FUN%7474%87»	290	FUN%3465%78»
291	MK-LET%term_of_int%618»	291	MK-LET%term_of_int%711»
		292	FUN%6047%712»
292	FUN%1393%619»
293	FUN%2783%197»
294	FUN%7354%648»
295	FUN%4864%117»
296	FUN%9353%526»	293	FUN%9154%260»
297	FUN%4864%92»
298	FUN%7354%648
299	FUN%7354%648
300	FUN%7354%647
301	FUN%7~~354~~%647	294	FUN%7901%734»
		295	FUN%6642%187»
		296	FUN%1377%689»
		297	FUN%6642%162»
		298	FUN%7901%734
		299	FUN%7901%734
		300	FUN%7901%733
		301	FUN%7901%733
302	» MK-FUNTYP	302	» MK-FUNTYP
303	» MK-LISTYP»	303	» MK-LISTYP»
304	MK-PRODTYP	304	MK-PRODTYP
305	» MK-TOKTYP	305	» MK-TOKTYP
306	» MK-INTTYP»	306	» MK-INTTYP»
307	» MK-FUNTYP	307	» MK-FUNTYP
308	MK-TERMTYP	308	MK-TERMTYP
Max diff block lines reached; 1646/4723 bytes (34.85%) of diff not shown.


Offset 221, 161 lines modified		Offset 221, 161 lines modified
221	.comment	221	.comment
222	.note.GNU-stack	222	.note.GNU-stack
223	.rel.debug_frame	223	.rel.debug_frame
224	.ARM.attributes	224	.ARM.attributes
225	COMMON-LISP-USER	225	COMMON-LISP-USER
226	SYSTEMSPUTPROP	226	SYSTEMSPUTPROP
227	COMMON-LISPQUOTE	227	COMMON-LISPQUOTE
228	FUN%~~3274~~%661	228	FUN%4385%811
229	» CURRYBIND	229	» CURRYBIND
230	,SPUTPROP	230	,SPUTPROP
231	FUN%~~3274~~%662	231	FUN%4385%812
232	» CURRYBIND	232	» CURRYBIND
233	» ML-IS_VAR»	233	» ML-IS_VAR»
234	ML-IS_CONST»	234	ML-IS_CONST»
235	FUN%~~1393~~%~~615~~»	235	FUN%6047%708»
236	EVALUATION»	236	EVALUATION»
237	FUN%~~1393~~%~~613~~»	237	FUN%6047%706»
238	MK-LET%is_suc%~~611~~»	238	MK-LET%is_suc%704»
239	FUN%2353%126»
240	FUN%2783%327»
241	FUN%3274%~~661~~»	239	FUN%381%154»
		240	FUN%9154%390»
		241	FUN%4385%811»
242	MK-LET%is_plus%577»	242	MK-LET%is_plus%670»
243	MK-LET%arg1%~~622~~»	243	MK-LET%arg1%715»
244	FUN%2353%81»	244	FUN%381%109»
245	MK-LET%is_mult%579»	245	MK-LET%is_mult%672»
246	FUN%3274%661
247	FUN%3274%661
248	FUN%3274%662
249	FUN%~~3274~~%~~662~~	246	FUN%4385%811
		247	FUN%4385%811
		248	FUN%4385%812
		249	FUN%4385%812
250	» MK-FUNTYP	250	» MK-FUNTYP
251	MK-TERMTYP	251	MK-TERMTYP
252	MK-BOOLTYP»	252	MK-BOOLTYP»
253	contains_var	253	contains_var
254	» MK-FUNTYP	254	» MK-FUNTYP
255	MK-TERMTYP	255	MK-TERMTYP
256	MK-BOOLTYP»	256	MK-BOOLTYP»
257	MK-LET%contains_var%660»	257	MK-LET%contains_var%810»
258	contains_var»	258	contains_var»
259	FUN%~~3274~~%662	259	FUN%4385%812
260	,SPUTPROP	260	,SPUTPROP
261	FUN%~~3274~~%664	261	FUN%4385%814
262	» CURRYBIND	262	» CURRYBIND
263	MK-LET%dest_mult%~~576~~»	263	MK-LET%dest_mult%669»
264	FUN%~~1393~~%~~570~~»	264	FUN%6047%663»
265	is_linear_mult»	265	is_linear_mult»
266	FUN%3274%664
267	FUN%~~3274~~%664	266	FUN%4385%814
		267	FUN%4385%814
268	» MK-FUNTYP	268	» MK-FUNTYP
269	MK-TERMTYP	269	MK-TERMTYP
270	MK-BOOLTYP»	270	MK-BOOLTYP»
271	is_linear_mult	271	is_linear_mult
272	» MK-FUNTYP	272	» MK-FUNTYP
273	MK-TERMTYP	273	MK-TERMTYP
274	MK-BOOLTYP»	274	MK-BOOLTYP»
275	MK-LET%is_linear_mult%663»	275	MK-LET%is_linear_mult%813»
276	FUN%~~3274~~%664	276	FUN%4385%814
277	,SPUTPROP	277	,SPUTPROP
278	FUN%~~3274~~%666	278	FUN%4385%816
279	» CURRYBIND	279	» CURRYBIND
280	MK-LET%dest_forall%133»	280	MK-LET%dest_forall%196»
281	FUN%2783%135»
282	FUN%~~327~~4%~~666~~»	281	FUN%9154%198»
		282	FUN%4385%816»
283	MK-LET%dest_exists%136»	283	MK-LET%dest_exists%199»
284	FUN%2783%138»
285	FUN%~~2783~~%~~162~~»	284	FUN%9154%201»
		285	FUN%9154%225»
286	MK-LET%dest_suc%608»	286	MK-LET%dest_suc%701»
287	FUN%~~1393~~%~~610~~»	287	FUN%6047%703»
288	MK-LET%is_conj%~~183~~»	288	MK-LET%is_conj%246»
289	MK-LET%is_disj%~~184~~»	289	MK-LET%is_disj%247»
290	MK-LET%is_imp%~~185~~»	290	MK-LET%is_imp%248»
291	MK-LET%is_eq%~~186~~»	291	MK-LET%is_eq%249»
292	MK-LET%is_less%600»	292	MK-LET%is_less%693»
293	MK-LET%is_leq%601»	293	MK-LET%is_leq%694»
294	MK-LET%is_great%602»	294	MK-LET%is_great%695»
295	MK-LET%is_geq%603»	295	MK-LET%is_geq%696»
296	MK-LET%is_minus%578»	296	MK-LET%is_minus%671»
297	FUN%7474%102»
298	FUN%3274%666
299	FUN%3~~274~~%~~666~~	297	FUN%3465%93»
		298	FUN%4385%816
		299	FUN%4385%816
300	» MK-FUNTYP	300	» MK-FUNTYP
301	MK-TERMTYP	301	MK-TERMTYP
302	» MK-LISTYP	302	» MK-LISTYP
303	MK-TERMTYP»	303	MK-TERMTYP»
304	non_presburger_subterms	304	non_presburger_subterms
305	» MK-FUNTYP	305	» MK-FUNTYP
306	MK-TERMTYP	306	MK-TERMTYP
307	» MK-LISTYP	307	» MK-LISTYP
308	MK-TERMTYP»	308	MK-TERMTYP»
309	» MK-LETREC»	309	» MK-LETREC»
310	%MK-LETREC%non_presburger_subterms%665»	310	%MK-LETREC%non_presburger_subterms%815»
311	non_presburger_subterms	311	non_presburger_subterms
312	FUN%3274%668
313	FUN%~~3274~~%668	312	FUN%4385%818
		313	FUN%4385%818
314	» MK-FUNTYP	314	» MK-FUNTYP
315	MK-TERMTYP	315	MK-TERMTYP
316	MK-BOOLTYP»	316	MK-BOOLTYP»
317	is_presburger	317	is_presburger
318	» MK-FUNTYP	318	» MK-FUNTYP
319	MK-TERMTYP	319	MK-TERMTYP
320	MK-BOOLTYP»	320	MK-BOOLTYP»
321	MK-LET%is_presburger%667»	321	MK-LET%is_presburger%817»
322	FUN%3274%668
323	FUN%6925%37»
324	FUN%2353%82»	322	FUN%4385%818
		323	FUN%5223%35»
		324	FUN%381%110»
325	is_presburger	325	is_presburger
326	,SPUTPROP	326	,SPUTPROP
327	FUN%~~3274~~%670	327	FUN%4385%820
328	» CURRYBIND	328	» CURRYBIND
329	,SPUTPROP	329	,SPUTPROP
330	FUN%~~3274~~%671	330	FUN%4385%821
331	» CURRYBIND	331	» CURRYBIND
332	,SPUTPROP	332	,SPUTPROP
333	FUN%~~3274~~%672	333	FUN%4385%822
334	» CURRYBIND	334	» CURRYBIND
Max diff block lines reached; 1460/4242 bytes (34.42%) of diff not shown.


Offset 16, 4273 lines modified		Offset 16, 4273 lines modified
000000f0:·3498·cf44·52de·a449·0914·ae6e·ef3f·e097··4..DR..I...n.?..		000000f0:·3498·cf44·52de·a449·0914·ae6e·ef3f·e097··4..DR..I...n.?..
00000100:·e75a·6577·7e26·f261·f42b·36e1·1f41·c1a7··.Zew~&.a.+6..A..		00000100:·e75a·6577·7e26·f261·f42b·36e1·1f41·c1a7··.Zew~&.a.+6..A..
00000110:·24bc·4a67·5854·b077·d7df·3edf·0d7f·1223··$.JgXT.w..>....#		00000110:·24bc·4a67·5854·b077·d7df·3edf·0d7f·1223··$.JgXT.w..>....#
00000120:·6cf8·9cef·bdbc·bcf4·72d5·4db1·12bd·209d··l.......r.M...·.		00000120:·6cf8·9cef·bdbc·bcf4·72d5·4db1·12bd·209d··l.......r.M...·.
00000130:·ed6b·1cac·e227·e197·2811·5a72·568f·35ce··.k...'..(.ZrV.5.		00000130:·ed6b·1cac·e227·e197·2811·5a72·568f·35ce··.k...'..(.ZrV.5.
00000140:·9d9f·fb33·518a·1c9a·0ab3·e83f·4e5c·5797··...3Q......?N\W.		00000140:·9d9f·fb33·518a·1c9a·0ab3·e83f·4e5c·5797··...3Q......?N\W.
Diff chunk too large, falling back to line-by-line diff (4266 lines added, 4266 lines removed)
00000150:·0cd3·791e·4045·8e22·4ee7·6536·2799·1ef5··..y.@E."N.e6'...		00000150:·0cd3·791e·4045·8e22·4ee7·6536·2799·1ef5··..y.@E."N.e6'...
00000160:·dca3·9e07·e2e8·~~1f61~~·~~ef2f~~·~~c524~~·~~4aee~~·f234··.......a.~~/.$J~~..4		00000160:·dca3·9e77·78ee·9db8·d89d·4b31·8992·bb3c··...wx.....K1...<
00000170:·188a·1204·~~2a96~~·bd2c·~~4fb1~~·~~cbec~~·~~dd7~~7·~~cc81~~··....*..,O....w..		00000170:·0d86·a204·818a·652f·cb53·ec32·7bf7·1d73··......e/.S.2{..s
00000180:·aad7·5150·~~f243~~·d7e5·~~21de~~·~~8462~~·~~cc0d~~·~~7084~~··..QP.C..!..b..p.		00000180:·a0ea·7514·94fc·d075·7988·37a1·1873·031c··..u....uy.7..s..
00000190:·~~559d~~·~~8104~~·~~d81a~~·~~fe9c~~·~~4b39~~·8a92·~~1051~~·~~d603~~··U.......K9...Q..		00000190:·6155·6720·01b6·863f·e752·8ea2·2444·94f5··aUg·...?.R..$D..
000001a0:·~~6728~~·~~c532~~·~~98c2~~·~~cd8~~3·~~1cb2~~·~~c1fa~~·~~d2b9~~·90e1··g(.2............		000001a0:·c019·4ab1·0ca6·70f3·2087·6cb0·be74·2e64··..J...p.·.l..t.d
000001b0:·3~~c83~~·e~~bd7~~·7b59·e67e·~~52c~~4·3~~044~~·501c·~~1571~~··<...{Y.~R.~~0DP~~..q		000001b0:·38cf·e0fa·f55e·96b9·9f14·310c·1114·4745··8....^....1...GE
000001c0:·~~c1c7~~·~~7e5c~~·~~083e~~·~~7016~~·05c8·~~8c7b~~·1e3f·edf3··..~\.>p....{.?..		000001c0:·5cf0·b11f·1782·0f9c·4501·32e3·9ec7·4ffb··\.......E.2...O.
000001d0:·d93c·~~06c8~~·9420·~~1f7a~~·~~c700~~·~~620a~~·~~1483~~·~~48b~~2··.<...·.z..b...H.		000001d0:·7c36·8f01·3225·c887·de31·8098·02c5·2092··\|6..2%...1....·.
000001e0:·~~785~~e·~~9cb9~~·92ea·51db·1f41·~~67a2~~·~~4422~~·~~35f9~~··x^....Q..Ag.~~D"5.~~		000001e0:·2c9e·1767·aea4·7ad4·f647·d099·2891·484d··,..g..z..G..(.HM
000001f0:·e872·~~0bc7~~·~~e30~~7·~~de5a~~·1e78·d~~c5b~~·4763·~~81ed~~··.r.....Z.x.~~[Gc..~~		000001f0:·3eba·dcc2·f1f8·81b7·9607·1ef7·d6d1·5860··>.............X`
00000200:·~~b80c~~·~~baf7~~·~~14a4~~·49e0·~~9700~~·c~~3c6~~·~~ee45~~·91c6··......I......E..		00000200:·3b2e·83ee·3d05·6912·f825·c0b0·b17b·51a4··;...=.i..%...{Q.
00000210:·~~73d~~4·1ce8·e602·~~21df~~·~~5aa0~~·~~444c~~·7881·43c4··s.....!.Z.~~DLx.C~~.		00000210:·f11c·3507·bab9·40c8·b716·2811·135e·e010··..5...@...(..^..
00000220:·~~a90d~~·~~66b5~~·~~60a3~~·~~424d~~·~~c456~~·1d41·7e5d·~~4e72~~··~~..f.`~~.BM.~~V.A~]Nr~~		00000220:·716a·8359·2dd8·a850·13b1·5547·905f·9793··qj.Y-..P..UG._..
00000230:·9016·ce81·~~46a2~~·~~be5~~1·a~~75c~~·~~c3da~~·d77b·6~~4c8~~··....F..Q.\...{d.		00000230:·1ca4·8573·a091·a86f·d429·d7b0·f6f5·1e19··...s...o.)......
00000240:·c2b5·6~~92b~~·a2a6·~~b6c7~~·fd30·~~a426~~·~~bede~~·~~3fb2~~··.~~.i+~~.....0.&..?.		00000240:·b270·6dda·8aa8·a9ed·713f·0ca9·89af·f78f··.pm.....q?......
00000250:·~~995f~~·~~e6d1~~·~~9207~~·f33c·~~0725~~·~~534f~~·~~f282~~·~~5ff0~~··._.....<.~~%SO~~.._.		00000250:·6ce6·9779·b4e4·c13c·cf41·c9d4·93bc·e017··l..y...<.A......
00000260:·1c35·~~9917~~·~~f311~~·~~f747~~·~~0577~~·~~7b2~~e·~~7c3c~~·~~1e9~~7··.5.....G.w{.\|<..		00000260:·3c47·4de6·c57c·c4fd·51c1·dd9e·0b1f·8fc7··<GM..\|..Q.......
00000270:·~~920a~~·~~a0b5~~·f538·~~cdfd~~·3~~856~~·~~880c~~·~~99d5~~·75f0··...~~..8..8V~~.~~...~~u.		00000270:·a5a4·0268·6d3d·4e73·3f8e·1522·4366·751d··...hm=Ns?.."Cfu.
00000280:·~~f6a9~~·~~109a~~·180c·~~d547~~·~~ec33~~·c820·~~1352~~·~~0d5b~~··.......G.3.·.R.[		00000280:·bc7d·2a84·2606·43f5·11fb·0c32·c884·54c3··.}*.&.C....2..T.
00000290:·~~99cf~~·~~61d4~~·~~604c~~·3f82·~~9ace~~·~~fd78~~·~~2c44~~·~~2859~~··..a.~~`L?~~...~~.x,D(Y~~		00000290:·56e6·7318·3518·d38f·a0a6·733f·1e0b·114a··V.s.5.....s?...J
000002a0:·5~~1fa~~·~~e5bc~~·~~406d~~·~~716a~~·b0c2·0515·~~44ec~~·~~20cd~~··Q.~~..@mqj~~..~~..D~~.·.		000002a0:·5694·7e39·2f50·5b9c·1aac·7041·0511·3b48··V.~9/P[...pA..;H
000002b0:·~~2251~~·~~48e7~~·~~dfd4~~·~~0d7f~~·~~00e~~0·~~cdad~~·~~5f3e~~·~~7a34~~··"QH.......~~.._>z4~~		000002b0:·b348·14d2·f937·75c3·1f00·7873·eb97·8f1e··.H...7u...xs....
000002c0:·~~d70e~~·~~e8f2~~·~~c406~~·~~cecd~~·~~e5e5~~·~~a34b~~·~~30f7~~·~~69e0~~··.......~~...~~.K0.i.		000002c0:·cdb5·03ba·3cb1·8173·7379·f9e8·12cc·7d1a··....<..ssy....}.
000002d0:·~~240~~9·~~dc0c~~·~~9ccf~~·~~9fd4~~·3528·~~73ba~~·86e3·~~83d2~~··$......~~.5(s~~.....		000002d0:·3849·0237·03e7·f327·750d·ca9c·aee1·f8a0··8I.7...'u.......
000002e0:·~~8f62~~·~~89e5~~·1f94·~~960e~~·~~38dc~~·937a·~~3207~~·~~e7e~~9··.b......8..z2...		000002e0:·f4a3·5862·f907·a5a5·030e·f7a4·9ecc·c179··..Xb...........y
000002f0:·~~d75~~5·~~26f8~~·21e0·~~e2c3~~·~~ad12~~·d538·~~29f3~~·~~a506~~··.U&.!.....~~.8)~~...		000002f0:·fa75·9509·7e08·b8f8·70ab·4435·4eca·7ca9··.u..~...p.D5N.\|.
00000300:·~~5dc2~~·3~~ce7~~·~~d018~~·~~542c~~·~~a030~~·~~9938~~·~~231f~~·~~46e3~~··].<.~~..T,~~.~~0.8#~~.F.		00000300:·4197·30cf·3934·0615·0b28·4c26·cec8·87d1··A.0.94...(L&....
00000310:·~~81fb~~·79ee·~~af98~~·~~7319~~·4~~12d~~·~~987d~~·0fce·e53c··..y..~~.s.A-~~.}...<		00000310:·78e0·7e9e·fb2b·e65c·4650·0b66·df83·7339··x.~..+.\FP.f..s9
00000320:·8~~ac3~~·~~aba9~~·~~9f4b~~·~~fca2~~·~~2791~~·~~836c~~·~~3e25~~·4~~18a~~··.....K..'..~~l>%A~~.		00000320:·8fe2·f06a·eae7·12bf·e849·e420·9b4f·4990··...j.....I.·.OI.
00000330:·~~0683~~·~~2377~~·~~030e~~·~~5684~~·~~5f48~~·~~679c~~·a~~61c~~·~~2438~~··..#w..V.~~_Hg~~..~~.$8~~		00000330:·a2c1·e0c8·dd80·8315·e117·d219·a729·0709··.............)..


Offset 1, 149 lines modified		Offset 1, 149 lines modified
1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./	1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./
2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/	2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/
3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/	3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/
4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/	4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/
5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/	5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/
6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/abs_theory/	6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/abs_theory/
7	-rw-r--r--···0·root·········(0)·root·········(0)···287917·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/abs_theory/abs_theory_ml.o	7	-rw-r--r--···0·root·········(0)·root·········(0)···287929·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/abs_theory/abs_theory_ml.o
8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/	8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/
9	-rw-r--r--···0·root·········(0)·root·········(0)···123284·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/arith_cons_ml.o	9	-rw-r--r--···0·root·········(0)·root·········(0)···123283·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/arith_cons_ml.o
10	-rw-r--r--···0·root·········(0)·root·········(0)···124441·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/decls_ml.o	10	-rw-r--r--···0·root·········(0)·root·········(0)···124443·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/decls_ml.o
11	-rw-r--r--···0·root·········(0)·root·········(0)····65827·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/exists_arith_ml.o	11	-rw-r--r--···0·root·········(0)·root·········(0)····65827·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/exists_arith_ml.o
12	-rw-r--r--···0·root·········(0)·root·········(0)····81385·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/gen_arith_ml.o	12	-rw-r--r--···0·root·········(0)·root·········(0)····81390·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/gen_arith_ml.o
13	-rw-r--r--···0·root·········(0)·root·········(0)····28181·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/instance_ml.o	13	-rw-r--r--···0·root·········(0)·root·········(0)····28183·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/instance_ml.o
14	-rw-r--r--···0·root·········(0)·root·········(0)····46984·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/int_extra_ml.o	14	-rw-r--r--···0·root·········(0)·root·········(0)····46984·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/int_extra_ml.o
15	-rw-r--r--···0·root·········(0)·root·········(0)···192736·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_arith_ml.o	15	-rw-r--r--···0·root·········(0)·root·········(0)···192739·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_arith_ml.o
16	-rw-r--r--···0·root·········(0)·root·········(0)····60745·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_bool_ml.o	16	-rw-r--r--···0·root·········(0)·root·········(0)····60744·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_bool_ml.o
17	-rw-r--r--···0·root·········(0)·root·········(0)····65~~899~~·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_ineqs_ml.o	17	-rw-r--r--···0·root·········(0)·root·········(0)····65900·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_ineqs_ml.o
18	-rw-r--r--···0·root·········(0)·root·········(0)····48832·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/prenex_ml.o	18	-rw-r--r--···0·root·········(0)·root·········(0)····48835·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/prenex_ml.o
19	-rw-r--r--···0·root·········(0)·root·········(0)···108140·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/qconv_ml.o	19	-rw-r--r--···0·root·········(0)·root·········(0)···108145·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/qconv_ml.o
20	-rw-r--r--···0·root·········(0)·root·········(0)···104972·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/rationals_ml.o	20	-rw-r--r--···0·root·········(0)·root·········(0)···104972·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/rationals_ml.o
21	-rw-r--r--···0·root·········(0)·root·········(0)···125344·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sol_ranges_ml.o	21	-rw-r--r--···0·root·········(0)·root·········(0)···125342·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sol_ranges_ml.o
22	-rw-r--r--···0·root·········(0)·root·········(0)···187662·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/solve_ineqs_ml.o	22	-rw-r--r--···0·root·········(0)·root·········(0)···187670·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/solve_ineqs_ml.o
23	-rw-r--r--···0·root·········(0)·root·········(0)····91912·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/solve_ml.o	23	-rw-r--r--···0·root·········(0)·root·········(0)····91917·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/solve_ml.o
24	-rw-r--r--···0·root·········(0)·root·········(0)····65097·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/streams_ml.o	24	-rw-r--r--···0·root·········(0)·root·········(0)····65014·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/streams_ml.o
25	-rw-r--r--···0·root·········(0)·root·········(0)····24640·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/string_extra_ml.o	25	-rw-r--r--···0·root·········(0)·root·········(0)····24640·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/string_extra_ml.o
26	-rw-r--r--···0·root·········(0)·root·········(0)····59000·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sub_and_cond_ml.o	26	-rw-r--r--···0·root·········(0)·root·········(0)····59005·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sub_and_cond_ml.o
27	-rw-r--r--···0·root·········(0)·root·········(0)···240783·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sup-inf_ml.o	27	-rw-r--r--···0·root·········(0)·root·········(0)···240782·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sup-inf_ml.o
28	-rw-r--r--···0·root·········(0)·root·········(0)···116507·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/term_coeffs_ml.o	28	-rw-r--r--···0·root·········(0)·root·········(0)···116507·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/term_coeffs_ml.o
29	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/	29	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/
30	-rw-r--r--···0·root·········(0)·root·········(0)···20~~7073~~·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/fset_conv_ml.o	30	-rw-r--r--···0·root·········(0)·root·········(0)···206892·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/fset_conv_ml.o
31	-rw-r--r--···0·root·········(0)·root·········(0)····58103·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/set_ind_ml.o	31	-rw-r--r--···0·root·········(0)·root·········(0)····58115·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/set_ind_ml.o
32	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/	32	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/
33	-rw-r--r--···0·root·········(0)·root·········(0)···668270·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/ind-defs_ml.o	33	-rw-r--r--···0·root·········(0)·root·········(0)···668295·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/ind-defs_ml.o
34	-rw-r--r--···0·root·········(0)·root·········(0)····18621·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/ind_defs_ml.o	34	-rw-r--r--···0·root·········(0)·root·········(0)····18621·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/ind_defs_ml.o
35	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/	35	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/
36	-rw-r--r--···0·root·········(0)·root·········(0)····60~~351~~·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/filters_ml.o	36	-rw-r--r--···0·root·········(0)·root·········(0)····60409·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/filters_ml.o
37	-rw-r--r--···0·root·········(0)·root·········(0)···153885·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/formaters_ml.o	37	-rw-r--r--···0·root·········(0)·root·········(0)···153893·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/formaters_ml.o
38	-rw-r--r--···0·root·········(0)·root·········(0)····75213·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/hol_trees_ml.o	38	-rw-r--r--···0·root·········(0)·root·········(0)····75213·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/hol_trees_ml.o


Offset 161, 56 lines modified		Offset 161, 56 lines modified
161	.comment	161	.comment
162	.note.GNU-stack	162	.note.GNU-stack
163	.rel.debug_frame	163	.rel.debug_frame
164	.ARM.attributes	164	.ARM.attributes
165	COMMON-LISP-USER	165	COMMON-LISP-USER
166	SYSTEMSPUTPROP	166	SYSTEMSPUTPROP
167	COMMON-LISPQUOTE	167	COMMON-LISPQUOTE
168	FUN%~~8155~~%~~524~~	168	FUN%3070%678
169	» CURRYBIND	169	» CURRYBIND
170	,SPUTPROP	170	,SPUTPROP
171	FUN%~~8155~~%~~525~~	171	FUN%3070%679
172	» CURRYBIND	172	» CURRYBIND
173	FUN%~~8155~~%~~524~~	173	FUN%3070%678
174	,SPUTPROP	174	,SPUTPROP
175	FUN%~~8155~~%~~526~~	175	FUN%3070%680
176	» CURRYBIND	176	» CURRYBIND
177	FUN%~~8155~~%~~525~~	177	FUN%3070%679
178	MK-LETREC%strip_forall%~~273~~»	178	MK-LETREC%strip_forall%336»
179	FUN%2783%274»
180	FUN%7474%107»
181	FUN%8155%527
182	FUN%8155%~~528~~	179	FUN%9154%337»
		180	FUN%3465%98»
		181	FUN%3070%681
		182	FUN%3070%682
183	type_of»	183	type_of»
		184	FUN%381%110»
184	FUN%~~235~~3%82»	185	FUN%5223%28»
185	FUN%6925%30»
186	MK-LETREC%combine%110»	186	MK-LETREC%combine%101»
187	FUN%7474%111»
188	FUN%2783%197»
189	FUN%2783%256»
190	FUN%4864%92»
191	FUN%4864%97»	187	FUN%3465%102»
		188	FUN%9154%260»
		189	FUN%9154%319»
		190	FUN%6642%162»
		191	FUN%6642%167»
192	MK-LET%GENL%104»	192	MK-LET%GENL%174»
193	FUN%7474%79»	193	FUN%3465%70»
194	MK-LET%EQT_INTRO%99»	194	MK-LET%EQT_INTRO%169»
195	FUN%4864%100»	195	FUN%6642%170»
196	FUN%8155%524
197	FUN%8155%524
198	FUN%8155%524»
199	FUN%8155%525
200	FUN%8155%525
201	FUN%8155%525»
202	FUN%8155%526
203	FUN%~~8155~~%~~526~~	196	FUN%3070%678
		197	FUN%3070%678
		198	FUN%3070%678»
		199	FUN%3070%679
		200	FUN%3070%679
		201	FUN%3070%679»
		202	FUN%3070%680
		203	FUN%3070%680
204	» ML-GENVAR»	204	» ML-GENVAR»
205	FUN%8155%527
206	FUN%~~8155~~%~~527~~	205	FUN%3070%681
		206	FUN%3070%681
207	ML-TYPE_OF»	207	ML-TYPE_OF»
208	FUN%8155%528
209	FUN%~~8155~~%~~528~~	208	FUN%3070%682
		209	FUN%3070%682
210	» MK-FUNTYP»	210	» MK-FUNTYP»
211	» MK-FUNTYP	211	» MK-FUNTYP
212	MK-TERMTYP	212	MK-TERMTYP
213	» MK-LISTYP	213	» MK-LISTYP
214	MK-TERMTYP»	214	MK-TERMTYP»
215	» MK-FUNTYP»	215	» MK-FUNTYP»
216	» MK-FUNTYP	216	» MK-FUNTYP


Offset 216, 87 lines modified		Offset 216, 87 lines modified
216	.comment	216	.comment
217	.note.GNU-stack	217	.note.GNU-stack
218	.rel.debug_frame	218	.rel.debug_frame
219	.ARM.attributes	219	.ARM.attributes
220	COMMON-LISP-USER	220	COMMON-LISP-USER
221	SYSTEMSPUTPROP	221	SYSTEMSPUTPROP
222	COMMON-LISPQUOTE	222	COMMON-LISPQUOTE
223	FUN%~~3062~~%~~531~~	223	FUN%5534%642
224	» CURRYBIND	224	» CURRYBIND
225	FUN%3062%531
226	FUN%~~3062~~%~~531~~	225	FUN%5534%642
		226	FUN%5534%642
227	» MK-FUNTYP	227	» MK-FUNTYP
228	» MK-INTTYP	228	» MK-INTTYP
229	» MK-INTTYP»	229	» MK-INTTYP»
230	» MK-FUNTYP	230	» MK-FUNTYP
231	» MK-INTTYP	231	» MK-INTTYP
232	» MK-INTTYP»	232	» MK-INTTYP»
233	MK-LET%abs%~~530~~»	233	MK-LET%abs%641»
234	FUN%~~3062~~%~~531~~	234	FUN%5534%642
235	MK-NULLTYP»	235	MK-NULLTYP»
236	MK-APPN»	236	MK-APPN»
237	ML-ML_CURRIED_INFIX	237	ML-ML_CURRIED_INFIX
238	,SPUTPROP	238	,SPUTPROP
239	FUN%~~3062~~%~~533~~	239	FUN%5534%644
240	» CURRYBIND	240	» CURRYBIND
241	,SPUTPROP	241	,SPUTPROP
242	FUN%~~3062~~%~~534~~	242	FUN%5534%645
243	» CURRYBIND	243	» CURRYBIND
244	FUN%3062%533
245	FUN%3062%533
246	FUN%3062%533
247	FUN%3062%533»
248	FUN%3062%534
249	FUN%~~3062~~%534	244	FUN%5534%644
		245	FUN%5534%644
		246	FUN%5534%644
		247	FUN%5534%644»
		248	FUN%5534%645
		249	FUN%5534%645
250	» MK-FUNTYP	250	» MK-FUNTYP
251	» MK-INTTYP»	251	» MK-INTTYP»
252	» MK-FUNTYP	252	» MK-FUNTYP
253	» MK-INTTYP	253	» MK-INTTYP
254	» MK-INTTYP»	254	» MK-INTTYP»
255	» MK-FUNTYP	255	» MK-FUNTYP
256	» MK-INTTYP»	256	» MK-INTTYP»
257	» MK-FUNTYP	257	» MK-FUNTYP
258	» MK-INTTYP	258	» MK-INTTYP
259	» MK-INTTYP»	259	» MK-INTTYP»
260	MK-LET%mod%~~532~~»	260	MK-LET%mod%643»
261	FUN%~~3062~~%~~534~~	261	FUN%5534%645
262	,SPUTPROP	262	,SPUTPROP
263	FUN%~~3062~~%~~536~~	263	FUN%5534%647
264	» CURRYBIND	264	» CURRYBIND
265	,SPUTPROP	265	,SPUTPROP
266	FUN%~~3062~~%~~537~~	266	FUN%5534%648
267	» CURRYBIND	267	» CURRYBIND
268	FUN%3062%536
269	FUN%3062%536
270	FUN%~~3062~~%5~~36»~~	268	FUN%5534%647
		269	FUN%5534%647
		270	FUN%5534%647»
271	EVALUATION»	271	EVALUATION»
272	FUN%3062%537
273	FUN%~~3062~~%~~537~~	272	FUN%5534%648
		273	FUN%5534%648
274	» MK-FUNTYP»	274	» MK-FUNTYP»
275	MK-PRODTYP	275	MK-PRODTYP
276	» MK-INTTYP	276	» MK-INTTYP
277	» MK-INTTYP	277	» MK-INTTYP
278	» MK-INTTYP»	278	» MK-INTTYP»
279	» MK-FUNTYP»	279	» MK-FUNTYP»
280	MK-PRODTYP	280	MK-PRODTYP
281	» MK-INTTYP	281	» MK-INTTYP
282	» MK-INTTYP	282	» MK-INTTYP
283	» MK-INTTYP»	283	» MK-INTTYP»
284	MK-LET%gcd%~~535~~»	284	MK-LET%gcd%646»
285	FUN%~~3062~~%~~537~~	285	FUN%5534%648
286	,SPUTPROP	286	,SPUTPROP
287	FUN%~~3062~~%~~539~~	287	FUN%5534%650
288	» CURRYBIND	288	» CURRYBIND
289	FUN%3062%539
290	FUN%~~3062~~%~~539~~	289	FUN%5534%650
		290	FUN%5534%650
291	» MK-FUNTYP»	291	» MK-FUNTYP»
292	MK-PRODTYP	292	MK-PRODTYP
293	» MK-INTTYP	293	» MK-INTTYP
294	» MK-INTTYP	294	» MK-INTTYP
295	» MK-INTTYP»	295	» MK-INTTYP»
296	» MK-FUNTYP»	296	» MK-FUNTYP»
297	MK-PRODTYP	297	MK-PRODTYP
298	» MK-INTTYP	298	» MK-INTTYP
299	» MK-INTTYP	299	» MK-INTTYP
300	» MK-INTTYP»	300	» MK-INTTYP»
301	MK-LET%lcm%~~538~~»	301	MK-LET%lcm%649»
302	FUN%~~3062~~%~~539~~	302	FUN%5534%650


Offset 244, 83 lines modified		Offset 244, 83 lines modified
244	.comment	244	.comment
245	.note.GNU-stack	245	.note.GNU-stack
246	.rel.debug_frame	246	.rel.debug_frame
247	.ARM.attributes	247	.ARM.attributes
248	COMMON-LISP-USER	248	COMMON-LISP-USER
249	SYSTEMSPUTPROP	249	SYSTEMSPUTPROP
250	COMMON-LISPQUOTE	250	COMMON-LISPQUOTE
251	FUN%~~7233~~%~~502~~	251	FUN%9625%633
252	» CURRYBIND	252	» CURRYBIND
253	EVALUATION»	253	EVALUATION»
254	MK-LET%is_plus%577»	254	MK-LET%is_plus%670»
255	FUN%2353%126»	255	FUN%381%154»
256	MK-LET%arg1%~~622~~»	256	MK-LET%arg1%715»
257	FUN%2353%81»	257	FUN%381%109»
258	ML-IS_CONST»	258	ML-IS_CONST»
259	FUN%~~2783~~%327»	259	FUN%9154%390»
260	MK-LET%ADD_CONV%402»	260	MK-LET%ADD_CONV%495»
261	FUN%5334%247»
262	FUN%~~5334~~%250»	261	FUN%4615%320»
		262	FUN%4615%323»
263	MK-LETREF%ADD_ASSOC_CONV%~~553~~»	263	MK-LETREF%ADD_ASSOC_CONV%697»
264	FUN%5334%71»
265	FUN%6153%~~411~~»	264	FUN%4615%144»
		265	FUN%352%504»
266	COLLECT_NUM_CONSTS_CONV»	266	COLLECT_NUM_CONSTS_CONV»
267	FUN%7233%502
268	FUN%~~7233~~%~~502~~	267	FUN%9625%633
		268	FUN%9625%633
269	» MK-FUNTYP	269	» MK-FUNTYP
270	MK-TERMTYP	270	MK-TERMTYP
271	» MK-THMTYP»	271	» MK-THMTYP»
272	COLLECT_NUM_CONSTS_CONV	272	COLLECT_NUM_CONSTS_CONV
273	» MK-FUNTYP	273	» MK-FUNTYP
274	MK-TERMTYP	274	MK-TERMTYP
275	» MK-THMTYP»	275	» MK-THMTYP»
276	"MK-LET%COLLECT_NUM_CONSTS_CONV%~~501~~»	276	"MK-LET%COLLECT_NUM_CONSTS_CONV%632»
277	FUN%~~7233~~%~~502~~	277	FUN%9625%633
278	,SPUTPROP	278	,SPUTPROP
279	FUN%~~7233~~%~~504~~	279	FUN%9625%635
280	» CURRYBIND	280	» CURRYBIND
281	,SPUTPROP	281	,SPUTPROP
282	FUN%~~7233~~%~~505~~	282	FUN%9625%636
283	» CURRYBIND	283	» CURRYBIND
284	FUN%~~7233~~%~~504~~	284	FUN%9625%635
285	,SPUTPROP	285	,SPUTPROP
286	FUN%~~7233~~%~~506~~	286	FUN%9625%637
287	» CURRYBIND	287	» CURRYBIND
288	FUN%~~7233~~%~~505~~	288	FUN%9625%636
289	MK-LET%is_neg%~~188~~»	289	MK-LET%is_neg%251»
290	MK-LET%is_eq%~~186~~»	290	MK-LET%is_eq%249»
291	FUN%9353%545»
292	FUN%9353%549»
293	FUN%9353%552»
294	FUN%9353%532»
295	FUN%9353%558»	291	FUN%1377%708»
		292	FUN%1377%712»
		293	FUN%1377%715»
		294	FUN%1377%695»
		295	FUN%1377%721»
296	"MK-LETREF%NOT_NUM_EQ_NORM_CONV%~~569~~»	296	"MK-LETREF%NOT_NUM_EQ_NORM_CONV%713»
297	MK-LET%is_leq%601»	297	MK-LET%is_leq%694»
298	MK-LETREF%NOT_LEQ_NORM_CONV%~~567~~»	298	MK-LETREF%NOT_LEQ_NORM_CONV%711»
299	MK-LET%is_less%600»	299	MK-LET%is_less%693»
300	·MK-LETREF%NOT_LESS_NORM_CONV%~~568~~»	300	·MK-LETREF%NOT_LESS_NORM_CONV%712»
301	MK-LET%is_great%602»	301	MK-LET%is_great%695»
302	!MK-LETREF%NOT_GREAT_NORM_CONV%~~566~~»	302	!MK-LETREF%NOT_GREAT_NORM_CONV%710»
303	MK-LET%is_geq%603»	303	MK-LET%is_geq%696»
304	MK-LETREF%NOT_GEQ_NORM_CONV%~~565~~»	304	MK-LETREF%NOT_GEQ_NORM_CONV%709»
305	FUN%9353%~~531~~»	305	FUN%1377%694»
306	MK-LETREF%NUM_EQ_NORM_CONV%~~570~~»	306	MK-LETREF%NUM_EQ_NORM_CONV%714»
307	MK-LETREF%LESS_NORM_CONV%~~562~~»	307	MK-LETREF%LESS_NORM_CONV%706»
308	MK-LETREF%GREAT_NORM_CONV%~~560~~»	308	MK-LETREF%GREAT_NORM_CONV%704»
309	MK-LETREF%GEQ_NORM_CONV%~~559~~»	309	MK-LETREF%GEQ_NORM_CONV%703»
310	NUM_RELN_NORM_QCONV»	310	NUM_RELN_NORM_QCONV»
311	FUN%9353%523»
312	FUN%7233%504
313	FUN%7233%504
314	FUN%7233%504»
315	FUN%7233%505
316	FUN%7233%505
317	FUN%7233%505»
318	FUN%7233%506
319	FUN%~~7233~~%506	311	FUN%1377%686»
		312	FUN%9625%635
		313	FUN%9625%635
		314	FUN%9625%635»
		315	FUN%9625%636
		316	FUN%9625%636
		317	FUN%9625%636»
		318	FUN%9625%637
		319	FUN%9625%637
320	» MK-FUNTYP»	320	» MK-FUNTYP»
321	» MK-FUNTYP	321	» MK-FUNTYP
322	MK-TERMTYP	322	MK-TERMTYP
323	» MK-THMTYP»	323	» MK-THMTYP»
324	» MK-FUNTYP»	324	» MK-FUNTYP»
325	» MK-FUNTYP	325	» MK-FUNTYP
326	MK-TERMTYP	326	MK-TERMTYP


Offset 197, 40 lines modified		Offset 197, 40 lines modified
197	.comment	197	.comment
198	.note.GNU-stack	198	.note.GNU-stack
199	.rel.debug_frame	199	.rel.debug_frame
200	.ARM.attributes	200	.ARM.attributes
201	COMMON-LISP-USER	201	COMMON-LISP-USER
202	SYSTEMSPUTPROP	202	SYSTEMSPUTPROP
203	COMMON-LISPQUOTE	203	COMMON-LISPQUOTE
204	FUN%~~714~~%~~484~~	204	FUN%587%696
205	» CURRYBIND	205	» CURRYBIND
206	,SPUTPROP	206	,SPUTPROP
207	FUN%~~714~~%~~483~~	207	FUN%587%695
208	» CURRYBIND	208	» CURRYBIND
209	FUN%~~714~~%~~484~~	209	FUN%587%696
210	EVALUATION»	210	EVALUATION»
211	FUN%9353%~~529~~»	211	FUN%1377%692»
212	MK-LET%is_neg%~~188~~»	212	MK-LET%is_neg%251»
213	FUN%2353%126»
214	FUN%714%483»
215	FUN%9353%548»	213	FUN%381%154»
		214	FUN%587%695»
		215	FUN%1377%711»
216	MK-LET%is_eq%~~186~~»	216	MK-LET%is_eq%249»
217	MK-LETREF%EQ_EXPAND_CONV%~~543~~»	217	MK-LETREF%EQ_EXPAND_CONV%687»
218	FUN%9353%558»
219	FUN%9353%531»	218	FUN%1377%721»
		219	FUN%1377%694»
220	MK-LET%is_imp%~~185~~»	220	MK-LET%is_imp%248»
221	MK-LETREF%IMP_EXPAND_CONV%~~544~~»	221	MK-LETREF%IMP_EXPAND_CONV%688»
222	FUN%9353%~~557~~»	222	FUN%1377%720»
223	EQ_IMP_ELIM_QCONV»	223	EQ_IMP_ELIM_QCONV»
224	FUN%9353%523»
225	FUN%714%484
226	FUN%714%484
227	FUN%714%484»
228	FUN%714%483
229	FUN%~~714~~%483	224	FUN%1377%686»
		225	FUN%587%696
		226	FUN%587%696
		227	FUN%587%696»
		228	FUN%587%695
		229	FUN%587%695
230	» MK-FUNTYP»	230	» MK-FUNTYP»
231	» MK-FUNTYP	231	» MK-FUNTYP
232	MK-TERMTYP	232	MK-TERMTYP
233	MK-BOOLTYP»	233	MK-BOOLTYP»
234	» MK-FUNTYP	234	» MK-FUNTYP
235	MK-TERMTYP	235	MK-TERMTYP
236	» MK-THMTYP»	236	» MK-THMTYP»


Offset 203, 75 lines modified		Offset 203, 75 lines modified
203	.comment	203	.comment
204	.note.GNU-stack	204	.note.GNU-stack
205	.rel.debug_frame	205	.rel.debug_frame
206	.ARM.attributes	206	.ARM.attributes
207	COMMON-LISP-USER	207	COMMON-LISP-USER
208	SYSTEMSPUTPROP	208	SYSTEMSPUTPROP
209	COMMON-LISPQUOTE	209	COMMON-LISPQUOTE
210	FUN%~~194~~%~~563~~	210	FUN%732%640
211	» CURRYBIND	211	» CURRYBIND
212	,SPUTPROP	212	,SPUTPROP
213	FUN%~~194~~%564	213	FUN%732%641
214	» CURRYBIND	214	» CURRYBIND
215	FUN%~~194~~%~~563~~	215	FUN%732%640
216	EVALUATION»	216	EVALUATION»
217	MK-LET%dest_leq%597»	217	MK-LET%dest_leq%690»
218	FUN%~~1393~~%~~592~~»	218	FUN%6047%685»
219	MK-LET%mk_plus%565»	219	MK-LET%mk_plus%658»
220	FUN%~~1393~~%~~562~~»	220	FUN%6047%655»
221	MK-LET%mk_leq%587»	221	MK-LET%mk_leq%680»
222	FUN%~~1393~~%~~583~~»	222	FUN%6047%676»
223	MK-LETREF%LEQ_PLUS_CONV%~~577~~»	223	MK-LETREF%LEQ_PLUS_CONV%721»
224	FUN%4864%72»	224	FUN%6642%142»
225	ADD_TERM_TO_LEQ_CONV»	225	ADD_TERM_TO_LEQ_CONV»
226	FUN%194%563
227	FUN%194%563
228	FUN%194%563»
229	FUN%194%564
230	FUN%~~194~~%564	226	FUN%732%640
		227	FUN%732%640
		228	FUN%732%640»
		229	FUN%732%641
		230	FUN%732%641
231	» MK-FUNTYP	231	» MK-FUNTYP
232	MK-TERMTYP»	232	MK-TERMTYP»
233	» MK-FUNTYP	233	» MK-FUNTYP
234	MK-TERMTYP	234	MK-TERMTYP
235	» MK-THMTYP»	235	» MK-THMTYP»
236	ADD_TERM_TO_LEQ_CONV	236	ADD_TERM_TO_LEQ_CONV
237	» MK-FUNTYP	237	» MK-FUNTYP
238	MK-TERMTYP»	238	MK-TERMTYP»
239	» MK-FUNTYP	239	» MK-FUNTYP
240	MK-TERMTYP	240	MK-TERMTYP
241	» MK-THMTYP»	241	» MK-THMTYP»
242	MK-LET%ADD_TERM_TO_LEQ_CONV%~~562~~»	242	MK-LET%ADD_TERM_TO_LEQ_CONV%639»
243	FUN%~~194~~%564	243	FUN%732%641
244	,SPUTPROP	244	,SPUTPROP
245	FUN%~~194~~%~~566~~	245	FUN%732%643
246	» CURRYBIND	246	» CURRYBIND
247	,SPUTPROP	247	,SPUTPROP
248	FUN%~~194~~%~~567~~	248	FUN%732%644
249	» CURRYBIND	249	» CURRYBIND
250	,SPUTPROP	250	,SPUTPROP
251	FUN%~~194~~%~~568~~	251	FUN%732%645
252	» CURRYBIND	252	» CURRYBIND
253	MK-LET%ALL_QCONV%~~528~~»	253	MK-LET%ALL_QCONV%691»
254	MK-LET%term_of_int%618»	254	MK-LET%term_of_int%711»
255	FUN%~~1393~~%619»	255	FUN%6047%712»
256	MK-LET%mk_num_var%~~620~~»	256	MK-LET%mk_num_var%713»
257	FUN%~~1393~~%~~621~~»	257	FUN%6047%714»
258	MK-LET%mk_mult%567»	258	MK-LET%mk_mult%660»
259	FUN%194%566»
260	FUN%9353%532»
261	FUN%194%566
262	FUN%194%566
263	FUN%9353%~~531~~»	259	FUN%732%643»
		260	FUN%1377%695»
		261	FUN%732%643
		262	FUN%732%643
		263	FUN%1377%694»
264	ADD_COEFFS_TO_LEQ_QCONV»	264	ADD_COEFFS_TO_LEQ_QCONV»
265	FUN%9353%523»
266	FUN%194%567
267	FUN%194%567
268	FUN%194%567»
269	FUN%194%568
270	FUN%194%568	265	FUN%1377%686»
		266	FUN%732%644
		267	FUN%732%644
		268	FUN%732%644»
		269	FUN%732%645
		270	FUN%732%645
271	» MK-FUNTYP»	271	» MK-FUNTYP»
272	MK-PRODTYP	272	MK-PRODTYP
273	» MK-INTTYP	273	» MK-INTTYP
274	» MK-LISTYP»	274	» MK-LISTYP»
275	MK-PRODTYP	275	MK-PRODTYP
276	» MK-TOKTYP	276	» MK-TOKTYP
277	» MK-INTTYP»	277	» MK-INTTYP»


Offset 195, 105 lines modified		Offset 195, 105 lines modified
195	.comment	195	.comment
196	.note.GNU-stack	196	.note.GNU-stack
197	.rel.debug_frame	197	.rel.debug_frame
198	.ARM.attributes	198	.ARM.attributes
199	COMMON-LISP-USER	199	COMMON-LISP-USER
200	SYSTEMSPUTPROP	200	SYSTEMSPUTPROP
201	COMMON-LISPQUOTE	201	COMMON-LISPQUOTE
202	FUN%7~~194~~%~~563~~	202	FUN%7551%659
203	» CURRYBIND	203	» CURRYBIND
204	EVALUATION»	204	EVALUATION»
205	MK-LET%dest_eq%~~150~~»	205	MK-LET%dest_eq%213»
206	FUN%~~2783~~%152»	206	FUN%9154%215»
207	MK-LET%is_forall%~~180~~»	207	MK-LET%is_forall%243»
208	FUN%2353%126»	208	FUN%381%154»
209	MK-LET%is_exists%~~181~~»	209	MK-LET%is_exists%244»
210	MK-LET%EQ_IMP_THM%176»	210	MK-LET%EQ_IMP_THM%274»
211	FUN%4864%97»	211	FUN%6642%167»
212	QUANT_EQ_IMP_CONV»	212	QUANT_EQ_IMP_CONV»
213	FUN%7194%563
214	FUN%7~~194~~%~~563~~	213	FUN%7551%659
		214	FUN%7551%659
215	» MK-FUNTYP	215	» MK-FUNTYP
216	MK-TERMTYP	216	MK-TERMTYP
217	» MK-THMTYP»	217	» MK-THMTYP»
218	QUANT_EQ_IMP_CONV	218	QUANT_EQ_IMP_CONV
219	» MK-FUNTYP	219	» MK-FUNTYP
220	MK-TERMTYP	220	MK-TERMTYP
221	» MK-THMTYP»	221	» MK-THMTYP»
222	MK-LET%QUANT_EQ_IMP_CONV%~~562~~»	222	MK-LET%QUANT_EQ_IMP_CONV%658»
223	FUN%7~~194~~%~~563~~	223	FUN%7551%659
224	,SPUTPROP	224	,SPUTPROP
225	FUN%7~~194~~%566	225	FUN%7551%662
226	» CURRYBIND	226	» CURRYBIND
227	,SPUTPROP	227	,SPUTPROP
228	FUN%7~~194~~%565	228	FUN%7551%661
229	» CURRYBIND	229	» CURRYBIND
230	ML-DEST_COMB»	230	ML-DEST_COMB»
231	FUN%7~~194~~%566»	231	FUN%7551%662»
232	FUN%~~2783~~%331»	232	FUN%9154%394»
233	FUN%7~~194~~%566	233	FUN%7551%662
234	FUN%7~~194~~%566	234	FUN%7551%662
235	MK-LET%dest_forall%133»	235	MK-LET%dest_forall%196»
236	FUN%2783%135»
237	FUN%7194%~~565~~»	236	FUN%9154%198»
		237	FUN%7551%661»
238	MK-LET%dest_exists%136»	238	MK-LET%dest_exists%199»
239	FUN%2783%138»
240	FUN%7194%565
241	FUN%7194%~~565~~	239	FUN%9154%201»
		240	FUN%7551%661
		241	FUN%7551%661
242	» MK-FUNTYP	242	» MK-FUNTYP
243	MK-TERMTYP	243	MK-TERMTYP
244	MK-BOOLTYP»	244	MK-BOOLTYP»
245	» is_prenex	245	» is_prenex
246	» MK-FUNTYP	246	» MK-FUNTYP
247	MK-TERMTYP	247	MK-TERMTYP
248	MK-BOOLTYP»	248	MK-BOOLTYP»
249	» MK-LETREC»	249	» MK-LETREC»
250	MK-LETREC%is_prenex%564»	250	MK-LETREC%is_prenex%660»
251	» is_prenex	251	» is_prenex
252	,SPUTPROP	252	,SPUTPROP
253	FUN%7~~194~~%568	253	FUN%7551%664
254	» CURRYBIND	254	» CURRYBIND
255	,SPUTPROP	255	,SPUTPROP
256	FUN%7~~194~~%569	256	FUN%7551%665
257	» CURRYBIND	257	» CURRYBIND
258	MK-LET%is_neg%~~188~~»	258	MK-LET%is_neg%251»
259	MK-LET%NOT_EXISTS_CONV%~~169~~»	259	MK-LET%NOT_EXISTS_CONV%242»
260	MK-LET%NOT_FORALL_CONV%~~167~~»	260	MK-LET%NOT_FORALL_CONV%240»
261	FUN%~~5334~~%75»	261	FUN%4615%148»
262	MK-LET%is_conj%~~183~~»	262	MK-LET%is_conj%246»
263	·MK-LET%RIGHT_AND_EXISTS_CONV%~~197~~»	263	·MK-LET%RIGHT_AND_EXISTS_CONV%270»
264	MK-LET%LEFT_AND_EXISTS_CONV%~~195~~»	264	MK-LET%LEFT_AND_EXISTS_CONV%268»
265	MK-LET%AND_EXISTS_CONV%~~193~~»	265	MK-LET%AND_EXISTS_CONV%266»
266	·MK-LET%RIGHT_AND_FORALL_CONV%~~183~~»	266	·MK-LET%RIGHT_AND_FORALL_CONV%256»
267	MK-LET%LEFT_AND_FORALL_CONV%~~181~~»	267	MK-LET%LEFT_AND_FORALL_CONV%254»
268	MK-LET%AND_FORALL_CONV%~~179~~»	268	MK-LET%AND_FORALL_CONV%252»
269	FUN%~~5334~~%76»	269	FUN%4615%149»
270	MK-LET%is_disj%~~184~~»	270	MK-LET%is_disj%247»
271	MK-LET%RIGHT_OR_EXISTS_CONV%~~189~~»	271	MK-LET%RIGHT_OR_EXISTS_CONV%262»
272	MK-LET%LEFT_OR_EXISTS_CONV%~~187~~»	272	MK-LET%LEFT_OR_EXISTS_CONV%260»
273	MK-LET%OR_EXISTS_CONV%~~185~~»	273	MK-LET%OR_EXISTS_CONV%258»
274	MK-LET%RIGHT_OR_FORALL_CONV%205»	274	MK-LET%RIGHT_OR_FORALL_CONV%278»
275	MK-LET%LEFT_OR_FORALL_CONV%203»	275	MK-LET%LEFT_OR_FORALL_CONV%276»
276	MK-LET%OR_FORALL_CONV%201»	276	MK-LET%OR_FORALL_CONV%274»
277	MK-LET%is_imp%~~185~~»	277	MK-LET%is_imp%248»
278	·MK-LET%RIGHT_IMP_EXISTS_CONV%217»	278	·MK-LET%RIGHT_IMP_EXISTS_CONV%290»
279	MK-LET%LEFT_IMP_EXISTS_CONV%209»	279	MK-LET%LEFT_IMP_EXISTS_CONV%282»
280	·MK-LET%RIGHT_IMP_FORALL_CONV%211»	280	·MK-LET%RIGHT_IMP_FORALL_CONV%284»
281	MK-LET%LEFT_IMP_FORALL_CONV%215»	281	MK-LET%LEFT_IMP_FORALL_CONV%288»
282	MK-LET%is_eq%~~186~~»	282	MK-LET%is_eq%249»
283	FUN%7194%568
284	FUN%7194%568
285	FUN%3358%86»
286	FUN%7194%568»
287	FUN%5334%140»
288	FUN%7194%569
289	FUN%7~~194~~%569	283	FUN%7551%664
		284	FUN%7551%664
		285	FUN%8817%137»
		286	FUN%7551%664»
		287	FUN%4615%213»
		288	FUN%7551%665
		289	FUN%7551%665
290	» MK-FUNTYP	290	» MK-FUNTYP
291	MK-TERMTYP	291	MK-TERMTYP
292	» MK-THMTYP»	292	» MK-THMTYP»
293	PRENEX_CONV	293	PRENEX_CONV
294	» MK-FUNTYP	294	» MK-FUNTYP
295	MK-TERMTYP	295	MK-TERMTYP
296	» MK-THMTYP»	296	» MK-THMTYP»
297	MK-LET%PRENEX_CONV%567»	297	MK-LET%PRENEX_CONV%663»
298	PRENEX_CONV»	298	PRENEX_CONV»
299	FUN%7~~194~~%569	299	FUN%7551%665


Offset 218, 108 lines modified		Offset 218, 108 lines modified
218	.rel.debug_frame	218	.rel.debug_frame
219	.ARM.attributes	219	.ARM.attributes
220	COMMON-LISP-USER	220	COMMON-LISP-USER
221	COMMON-LISPPROGN»	221	COMMON-LISPPROGN»
222	SYSTEMSETVV	222	SYSTEMSETVV
223	» MK-TOKTYP»	223	» MK-TOKTYP»
224	» MK-TOKTYP»	224	» MK-TOKTYP»
225	MK-LET%qconv%~~521~~»	225	MK-LET%qconv%684»
226	-SPUTPROP	226	-SPUTPROP
227	FUN%9353%~~523~~	227	FUN%1377%686
228	» CURRYBIND	228	» CURRYBIND
229	-SPUTPROP	229	-SPUTPROP
230	FUN%9353%~~524~~	230	FUN%1377%687
231	» CURRYBIND	231	» CURRYBIND
232	FUN%9353%~~523~~	232	FUN%1377%686
233	EVALUATION»	233	EVALUATION»
234	FUN%9353%523
235	FUN%9353%523
236	FUN%9353%523»
237	FUN%9353%524
238	FUN%9353%~~524~~	234	FUN%1377%686
		235	FUN%1377%686
		236	FUN%1377%686»
		237	FUN%1377%687
		238	FUN%1377%687
239	» MK-FUNTYP	239	» MK-FUNTYP
240	» MK-TOKTYP»	240	» MK-TOKTYP»
241	» MK-FUNTYP	241	» MK-FUNTYP
242	» MK-TOKTYP	242	» MK-TOKTYP
243	» qfailwith	243	» qfailwith
244	» MK-FUNTYP	244	» MK-FUNTYP
245	» MK-TOKTYP»	245	» MK-TOKTYP»
246	» MK-FUNTYP	246	» MK-FUNTYP
247	» MK-TOKTYP	247	» MK-TOKTYP
248	MK-LET%qfailwith%~~522~~»	248	MK-LET%qfailwith%685»
249	» qfailwith»	249	» qfailwith»
250	FUN%9353%~~524~~	250	FUN%1377%687
251	-SPUTPROP	251	-SPUTPROP
252	FUN%9353%~~526~~	252	FUN%1377%689
253	» CURRYBIND	253	» CURRYBIND
254	-SPUTPROP	254	-SPUTPROP
255	FUN%9353%~~527~~	255	FUN%1377%690
256	» CURRYBIND	256	» CURRYBIND
257	FUN%9353%526
258	FUN%3358%86»
259	FUN%9353%526
260	FUN%9353%526
261	FUN%9353%526»
262	FUN%9353%527
263	FUN%9353%~~527~~	257	FUN%1377%689
		258	FUN%8817%137»
		259	FUN%1377%689
		260	FUN%1377%689
		261	FUN%1377%689»
		262	FUN%1377%690
		263	FUN%1377%690
264	» MK-FUNTYP»	264	» MK-FUNTYP»
265	» MK-FUNTYP	265	» MK-FUNTYP
266	MK-TERMTYP	266	MK-TERMTYP
267	» MK-THMTYP»	267	» MK-THMTYP»
268	» MK-FUNTYP	268	» MK-FUNTYP
269	MK-TERMTYP	269	MK-TERMTYP
270	» MK-THMTYP»	270	» MK-THMTYP»
271	» MK-FUNTYP»	271	» MK-FUNTYP»
272	» MK-FUNTYP	272	» MK-FUNTYP
273	MK-TERMTYP	273	MK-TERMTYP
274	» MK-THMTYP»	274	» MK-THMTYP»
275	» MK-FUNTYP	275	» MK-FUNTYP
276	MK-TERMTYP	276	MK-TERMTYP
277	» MK-THMTYP»	277	» MK-THMTYP»
278	MK-LET%QCONV%~~525~~»	278	MK-LET%QCONV%688»
279	FUN%9353%~~527~~	279	FUN%1377%690
280	-SPUTPROP	280	-SPUTPROP
281	FUN%9353%~~529~~	281	FUN%1377%692
282	» CURRYBIND	282	» CURRYBIND
283	FUN%9353%~~529~~	283	FUN%1377%692
284	» MK-FUNTYP	284	» MK-FUNTYP
285	MK-TERMTYP	285	MK-TERMTYP
286	» MK-THMTYP»	286	» MK-THMTYP»
287	» ALL_QCONV	287	» ALL_QCONV
288	» MK-FUNTYP	288	» MK-FUNTYP
289	MK-TERMTYP	289	MK-TERMTYP
290	» MK-THMTYP»	290	» MK-THMTYP»
291	MK-LET%ALL_QCONV%~~528~~»	291	MK-LET%ALL_QCONV%691»
292	» ALL_QCONV»	292	» ALL_QCONV»
293	FUN%9353%~~529~~	293	FUN%1377%692
294	MK-NULLTYP»	294	MK-NULLTYP»
295	MK-APPN»	295	MK-APPN»
296	ML-ML_CURRIED_INFIX	296	ML-ML_CURRIED_INFIX
297	-SPUTPROP	297	-SPUTPROP
298	FUN%9353%~~531~~	298	FUN%1377%694
299	» CURRYBIND	299	» CURRYBIND
300	-SPUTPROP	300	-SPUTPROP
301	FUN%9353%~~532~~	301	FUN%1377%695
302	» CURRYBIND	302	» CURRYBIND
303	FUN%9353%~~531~~	303	FUN%1377%694
304	-SPUTPROP	304	-SPUTPROP
305	FUN%9353%~~533~~	305	FUN%1377%696
306	» CURRYBIND	306	» CURRYBIND
307	FUN%9353%532
308	FUN%2783%177»
309	FUN%2783%320»
310	FUN%4864%74»
311	FUN%9353%531
312	FUN%9353%531
313	FUN%9353%531»
314	FUN%9353%532
315	FUN%9353%532
316	FUN%9353%532»
317	FUN%9353%533
318	FUN%9353%~~533~~	307	FUN%1377%695
		308	FUN%9154%240»
		309	FUN%9154%383»
		310	FUN%6642%144»
		311	FUN%1377%694
		312	FUN%1377%694
		313	FUN%1377%694»
		314	FUN%1377%695
		315	FUN%1377%695
		316	FUN%1377%695»
		317	FUN%1377%696
		318	FUN%1377%696
319	» MK-FUNTYP»	319	» MK-FUNTYP»
320	» MK-FUNTYP	320	» MK-FUNTYP
321	MK-TERMTYP	321	MK-TERMTYP
322	» MK-THMTYP»	322	» MK-THMTYP»
323	» MK-FUNTYP»	323	» MK-FUNTYP»
Max diff block lines reached; 5238/7331 bytes (71.45%) of diff not shown.


Offset 220, 300 lines modified		Offset 220, 300 lines modified
220	.comment	220	.comment
221	.note.GNU-stack	221	.note.GNU-stack
222	.rel.debug_frame	222	.rel.debug_frame
223	.ARM.attributes	223	.ARM.attributes
224	COMMON-LISP-USER	224	COMMON-LISP-USER
225	COMMON-LISPPROGN	225	COMMON-LISPPROGN
226	SYSTEMSPUTPROP	226	SYSTEMSPUTPROP
227	ABS%rat%~~522~~	227	ABS%rat%635
228	-SPUTPROP	228	-SPUTPROP
229	ABS%rat%~~522~~	229	ABS%rat%635
230	» ABSTYNAME	230	» ABSTYNAME
231	-SPUTPROP	231	-SPUTPROP
232	FUN%~~2554~~%~~532~~	232	FUN%6028%645
233	» CURRYBIND	233	» CURRYBIND
234	-SPUTPROP	234	-SPUTPROP
235	FUN%~~2554~~%~~533~~	235	FUN%6028%646
236	» CURRYBIND	236	» CURRYBIND
237	-SPUTPROP	237	-SPUTPROP
238	FUN%~~2554~~%~~534~~	238	FUN%6028%647
239	» CURRYBIND	239	» CURRYBIND
240	-SPUTPROP	240	-SPUTPROP
241	FUN%~~2554~~%~~535~~	241	FUN%6028%648
242	» CURRYBIND	242	» CURRYBIND
243	-SPUTPROP	243	-SPUTPROP
244	FUN%~~2554~~%~~536~~	244	FUN%6028%649
245	» CURRYBIND	245	» CURRYBIND
246	-SPUTPROP	246	-SPUTPROP
247	FUN%~~2554~~%~~537~~	247	FUN%6028%650
248	» CURRYBIND	248	» CURRYBIND
249	FUN%~~2554~~%~~536~~	249	FUN%6028%649
250	-SPUTPROP	250	-SPUTPROP
251	FUN%~~2554~~%~~538~~	251	FUN%6028%651
252	» CURRYBIND	252	» CURRYBIND
253	-SPUTPROP	253	-SPUTPROP
254	FUN%~~2554~~%~~539~~	254	FUN%6028%652
255	» CURRYBIND	255	» CURRYBIND
256	FUN%~~2554~~%~~538~~	256	FUN%6028%651
257	-SPUTPROP	257	-SPUTPROP
258	FUN%~~2554~~%~~540~~	258	FUN%6028%653
259	» CURRYBIND	259	» CURRYBIND
260	-SPUTPROP	260	-SPUTPROP
261	FUN%~~2554~~%541	261	FUN%6028%654
262	» CURRYBIND	262	» CURRYBIND
263	FUN%~~2554~~%~~540~~	263	FUN%6028%653
264	-SPUTPROP	264	-SPUTPROP
265	FUN%~~2554~~%~~542~~	265	FUN%6028%655
266	» CURRYBIND	266	» CURRYBIND
267	-SPUTPROP	267	-SPUTPROP
268	FUN%~~2554~~%~~543~~	268	FUN%6028%656
269	» CURRYBIND	269	» CURRYBIND
270	FUN%~~2554~~%~~542~~	270	FUN%6028%655
271	-SPUTPROP	271	-SPUTPROP
272	FUN%~~2554~~%~~544~~	272	FUN%6028%657
273	» CURRYBIND	273	» CURRYBIND
274	EVALUATION»	274	EVALUATION»
275	FUN%3062%531»
276	FUN%3062%537»
277	FUN%2554%532
278	FUN%2554%532
279	FUN%2554%533
280	FUN%2554%533
281	FUN%2554%534
282	FUN%2554%~~534~~	275	FUN%5534%642»
		276	FUN%5534%648»
		277	FUN%6028%645
		278	FUN%6028%645
		279	FUN%6028%646
		280	FUN%6028%646
		281	FUN%6028%647
		282	FUN%6028%647
283	rat_inv»	283	rat_inv»
284	FUN%2554%535
285	FUN%2554%535
286	FUN%2554%536
287	FUN%2554%536
288	FUN%2554%536»
289	FUN%2554%537
290	FUN%2554%537
291	FUN%2554%538
292	FUN%2554%538
293	FUN%2554%538»
294	FUN%2554%539
295	FUN%2554%539
296	FUN%2554%540
297	FUN%2554%540
298	FUN%2554%540»
299	FUN%2554%541
300	FUN%~~2554~~%541	284	FUN%6028%648
		285	FUN%6028%648
		286	FUN%6028%649
		287	FUN%6028%649
		288	FUN%6028%649»
		289	FUN%6028%650
		290	FUN%6028%650
		291	FUN%6028%651
		292	FUN%6028%651
		293	FUN%6028%651»
		294	FUN%6028%652
		295	FUN%6028%652
		296	FUN%6028%653
		297	FUN%6028%653
		298	FUN%6028%653»
		299	FUN%6028%654
		300	FUN%6028%654
301	rat_div»	301	rat_div»
302	FUN%2554%542
303	FUN%2554%542
304	FUN%2554%542»
305	FUN%2554%543
306	FUN%~~2554~~%~~543~~	302	FUN%6028%655
		303	FUN%6028%655
		304	FUN%6028%655»
		305	FUN%6028%656
		306	FUN%6028%656
307	ML-PRINT_INT»	307	ML-PRINT_INT»
308	PSTRING»	308	PSTRING»
309	FUN%2554%544
310	FUN%~~2554~~%~~544~~	309	FUN%6028%657
		310	FUN%6028%657
311	MK-PRODTYP»	311	MK-PRODTYP»
312	» MK-FUNTYP»	312	» MK-FUNTYP»
313	MK-PRODTYP	313	MK-PRODTYP
314	» MK-INTTYP	314	» MK-INTTYP
315	» MK-INTTYP	315	» MK-INTTYP
316	ABS%rat%~~522~~»	316	ABS%rat%635»
317	MK-PRODTYP»	317	MK-PRODTYP»
318	» MK-FUNTYP	318	» MK-FUNTYP
Max diff block lines reached; 4493/6601 bytes (68.07%) of diff not shown.


Offset 235, 164 lines modified		Offset 235, 164 lines modified
235	.comment	235	.comment
236	.note.GNU-stack	236	.note.GNU-stack
237	.rel.debug_frame	237	.rel.debug_frame
238	.ARM.attributes	238	.ARM.attributes
239	COMMON-LISP-USER	239	COMMON-LISP-USER
240	SYSTEMSPUTPROP	240	SYSTEMSPUTPROP
241	COMMON-LISPQUOTE	241	COMMON-LISPQUOTE
242	FUN%2916%~~485~~	242	FUN%9944%652
243	» CURRYBIND	243	» CURRYBIND
244	,SPUTPROP	244	,SPUTPROP
245	FUN%2916%~~486~~	245	FUN%9944%653
246	» CURRYBIND	246	» CURRYBIND
247	FUN%2916%~~485~~	247	FUN%9944%652
248	EVALUATION»	248	EVALUATION»
249	Neg_inf»	249	Neg_inf»
250	Pos_inf»	250	Pos_inf»
251	FUN%~~2554~~%~~555~~»	251	FUN%6028%668»
252	pattern»	252	pattern»
253	less_bound»	253	less_bound»
254	FUN%2916%485
255	FUN%2916%485
256	FUN%2916%485»
257	FUN%2916%486
258	FUN%2916%~~486~~	254	FUN%9944%652
		255	FUN%9944%652
		256	FUN%9944%652»
		257	FUN%9944%653
		258	FUN%9944%653
259	» MK-FUNTYP	259	» MK-FUNTYP
260	CONC%bound%~~562~~»	260	CONC%bound%630»
261	» MK-FUNTYP	261	» MK-FUNTYP
262	CONC%bound%~~562~~	262	CONC%bound%630
263	MK-BOOLTYP»	263	MK-BOOLTYP»
264	less_bound	264	less_bound
265	» MK-FUNTYP	265	» MK-FUNTYP
266	CONC%bound%~~562~~»	266	CONC%bound%630»
267	» MK-FUNTYP	267	» MK-FUNTYP
268	CONC%bound%~~562~~	268	CONC%bound%630
269	MK-BOOLTYP»	269	MK-BOOLTYP»
270	MK-LET%less_bound%~~484~~»	270	MK-LET%less_bound%651»
271	FUN%2916%~~486~~	271	FUN%9944%653
272	,SPUTPROP	272	,SPUTPROP
273	FUN%2916%~~488~~	273	FUN%9944%655
274	» CURRYBIND	274	» CURRYBIND
275	MK-LET%rat_zero%~~552~~»	275	MK-LET%rat_zero%665»
276	is_neg_bound»	276	is_neg_bound»
277	FUN%2916%488
278	FUN%2916%~~488~~	277	FUN%9944%655
		278	FUN%9944%655
279	» MK-FUNTYP	279	» MK-FUNTYP
280	CONC%bound%~~562~~	280	CONC%bound%630
281	MK-BOOLTYP»	281	MK-BOOLTYP»
282	is_neg_bound	282	is_neg_bound
283	» MK-FUNTYP	283	» MK-FUNTYP
284	CONC%bound%~~562~~	284	CONC%bound%630
285	MK-BOOLTYP»	285	MK-BOOLTYP»
286	MK-LET%is_neg_bound%~~487~~»	286	MK-LET%is_neg_bound%654»
287	FUN%2916%~~488~~	287	FUN%9944%655
288	,SPUTPROP	288	,SPUTPROP
289	FUN%2916%~~490~~	289	FUN%9944%657
290	» CURRYBIND	290	» CURRYBIND
291	is_finite_bound»	291	is_finite_bound»
292	FUN%2916%490
293	FUN%2916%~~490~~	292	FUN%9944%657
		293	FUN%9944%657
294	» MK-FUNTYP	294	» MK-FUNTYP
295	CONC%bound%~~562~~	295	CONC%bound%630
296	MK-BOOLTYP»	296	MK-BOOLTYP»
297	is_finite_bound	297	is_finite_bound
298	» MK-FUNTYP	298	» MK-FUNTYP
299	CONC%bound%~~562~~	299	CONC%bound%630
300	MK-BOOLTYP»	300	MK-BOOLTYP»
301	MK-LET%is_finite_bound%~~489~~»	301	MK-LET%is_finite_bound%656»
302	FUN%2916%~~490~~	302	FUN%9944%657
303	,SPUTPROP	303	,SPUTPROP
304	FUN%2916%~~492~~	304	FUN%9944%659
305	» CURRYBIND	305	» CURRYBIND
306	rat_of_bound»	306	rat_of_bound»
307	FUN%2916%492
308	FUN%2916%~~492~~	307	FUN%9944%659
		308	FUN%9944%659
309	» MK-FUNTYP	309	» MK-FUNTYP
310	CONC%bound%~~562~~	310	CONC%bound%630
311	ABS%rat%~~522~~»	311	ABS%rat%635»
312	rat_of_bound	312	rat_of_bound
313	» MK-FUNTYP	313	» MK-FUNTYP
314	CONC%bound%~~562~~	314	CONC%bound%630
315	ABS%rat%~~522~~»	315	ABS%rat%635»
316	MK-LET%rat_of_bound%~~491~~»	316	MK-LET%rat_of_bound%658»
317	FUN%2916%~~492~~	317	FUN%9944%659
318	,SPUTPROP	318	,SPUTPROP
319	FUN%2916%~~494~~	319	FUN%9944%661
320	» CURRYBIND	320	» CURRYBIND
321	,SPUTPROP	321	,SPUTPROP
322	FUN%2916%~~495~~	322	FUN%9944%662
323	» CURRYBIND	323	» CURRYBIND
324	FUN%2916%494
325	FUN%2554%551»
326	FUN%2554%549»
327	FUN%2916%494
328	FUN%2916%494
329	FUN%2916%494»
330	FUN%2916%495
331	FUN%2916%~~495~~	324	FUN%9944%661
		325	FUN%6028%664»
		326	FUN%6028%662»
		327	FUN%9944%661
		328	FUN%9944%661
		329	FUN%9944%661»
		330	FUN%9944%662
		331	FUN%9944%662
332	» MK-FUNTYP	332	» MK-FUNTYP
333	ABS%rat%~~522~~»	333	ABS%rat%635»
334	» MK-FUNTYP	334	» MK-FUNTYP
335	ABS%rat%~~522~~	335	ABS%rat%635
336	MK-BOOLTYP»	336	MK-BOOLTYP»
337	is_int_range	337	is_int_range
338	» MK-FUNTYP	338	» MK-FUNTYP
339	ABS%rat%~~522~~»	339	ABS%rat%635»
340	» MK-FUNTYP	340	» MK-FUNTYP
341	ABS%rat%~~522~~	341	ABS%rat%635
342	MK-BOOLTYP»	342	MK-BOOLTYP»
343	MK-LET%is_int_range%~~493~~»	343	MK-LET%is_int_range%660»
344	is_int_range»	344	is_int_range»
345	FUN%2916%~~495~~	345	FUN%9944%662
346	,SPUTPROP	346	,SPUTPROP
347	FUN%2916%~~497~~	347	FUN%9944%664
Max diff block lines reached; 3673/6202 bytes (59.22%) of diff not shown.


Offset 223, 215 lines modified		Offset 223, 215 lines modified
223	.comment	223	.comment
224	.note.GNU-stack	224	.note.GNU-stack
225	.rel.debug_frame	225	.rel.debug_frame
226	.ARM.attributes	226	.ARM.attributes
227	COMMON-LISP-USER	227	COMMON-LISP-USER
228	SYSTEMSPUTPROP	228	SYSTEMSPUTPROP
229	COMMON-LISPQUOTE	229	COMMON-LISPQUOTE
230	FUN%~~4960~~%~~529~~	230	FUN%5832%640
231	» CURRYBIND	231	» CURRYBIND
232	,SPUTPROP	232	,SPUTPROP
233	FUN%~~4960~~%~~530~~	233	FUN%5832%641
234	» CURRYBIND	234	» CURRYBIND
235	FUN%~~2783~~%327»	235	FUN%9154%390»
236	MK-LET%is_mult%579»	236	MK-LET%is_mult%672»
237	FUN%2353%126»	237	FUN%381%154»
238	MK-LETREC%FAST_MULT_CONV%~~513~~»	238	MK-LETREC%FAST_MULT_CONV%644»
239	FUN%9353%549»
240	FUN%9353%552»	239	FUN%1377%712»
		240	FUN%1377%715»
241	MK-LETREF%MULT_ASSOC_CONV%~~563~~»	241	MK-LETREF%MULT_ASSOC_CONV%707»
242	FUN%9353%531»
243	FUN%9353%~~532~~»	242	FUN%1377%694»
		243	FUN%1377%695»
244	#MK-LETREF%LEFT_ADD_DISTRIB_CONV%~~561~~»	244	#MK-LETREF%LEFT_ADD_DISTRIB_CONV%705»
245	FUN%4960%529
246	FUN%~~4960~~%~~529~~	245	FUN%5832%640
		246	FUN%5832%640
247	EVALUATION»	247	EVALUATION»
248	FUN%~~4960~~%~~529~~»	248	FUN%5832%640»
249	ML-IS_CONST»	249	ML-IS_CONST»
250	FUN%~~7233~~%~~514~~»	250	FUN%9625%645»
251	MK-LET%arg1%~~622~~»	251	MK-LET%arg1%715»
252	FUN%2353%81»	252	FUN%381%109»
253	CONST_TIMES_ARITH_QCONV»	253	CONST_TIMES_ARITH_QCONV»
254	FUN%9353%523»
255	FUN%4960%530
256	FUN%~~4960~~%~~530~~	254	FUN%1377%686»
		255	FUN%5832%641
		256	FUN%5832%641
257	» MK-FUNTYP	257	» MK-FUNTYP
258	MK-TERMTYP	258	MK-TERMTYP
259	» MK-THMTYP»	259	» MK-THMTYP»
260	CONST_TIMES_ARITH_QCONV	260	CONST_TIMES_ARITH_QCONV
261	» MK-FUNTYP	261	» MK-FUNTYP
262	MK-TERMTYP	262	MK-TERMTYP
263	» MK-THMTYP»	263	» MK-THMTYP»
264	"MK-LET%CONST_TIMES_ARITH_QCONV%~~528~~»	264	"MK-LET%CONST_TIMES_ARITH_QCONV%639»
265	FUN%~~4960~~%~~530~~	265	FUN%5832%641
266	,SPUTPROP	266	,SPUTPROP
267	FUN%~~4960~~%~~532~~	267	FUN%5832%643
268	» CURRYBIND	268	» CURRYBIND
269	,SPUTPROP	269	,SPUTPROP
270	FUN%~~4960~~%~~533~~	270	FUN%5832%644
271	» CURRYBIND	271	» CURRYBIND
272	,SPUTPROP	272	,SPUTPROP
273	FUN%~~4960~~%~~534~~	273	FUN%5832%645
274	» CURRYBIND	274	» CURRYBIND
275	,SPUTPROP	275	,SPUTPROP
276	FUN%~~4960~~%~~535~~	276	FUN%5832%646
277	» CURRYBIND	277	» CURRYBIND
278	,SPUTPROP	278	,SPUTPROP
279	FUN%~~4960~~%~~536~~	279	FUN%5832%647
280	» CURRYBIND	280	» CURRYBIND
281	FUN%4960%535»
282	FUN%4960%532
283	FUN%4960%532
284	FUN%4960%533
285	FUN%4960%533
286	FUN%4864%74»
287	FUN%4960%534
288	FUN%~~4960~~%~~534~~	281	FUN%5832%646»
		282	FUN%5832%643
		283	FUN%5832%643
		284	FUN%5832%644
		285	FUN%5832%644
		286	FUN%6642%144»
		287	FUN%5832%645
		288	FUN%5832%645
289	MK-LET%dest_leq%597»	289	MK-LET%dest_leq%690»
		290	FUN%6047%685»
		291	FUN%6047%710»
290	FUN%1393%592»	292	FUN%1377%692»
291	FUN%1393%617»
292	FUN%9353%529»
293	MK-LET%term_of_int%618»	293	MK-LET%term_of_int%711»
294	FUN%~~1393~~%619»	294	FUN%6047%712»
295	MK-LET%num_CONV%391»	295	MK-LET%num_CONV%521»
296	FUN%7853%392»
297	FUN%48~~64%7~~2»	296	FUN%8289%522»
		297	FUN%6642%142»
298	MK-LETREF%MULT_LEQ_SUC%~~533~~»	298	MK-LETREF%MULT_LEQ_SUC%677»
		299	FUN%6642%164»
299	FUN%4864%94»
300	FUN%2783%177»
301	FUN%2783%320»
302	FUN%4960%533»
303	FUN%~~533~~4%247»	300	FUN%9154%240»
304	FUN%~~533~~4%~~250~~»	301	FUN%9154%383»
		302	FUN%5832%644»
305	FUN%496~~0%5~~32»	303	FUN%4615%320»
306	FUN%5334%71»
307	FUN%9353%558»
308	FUN%4~~960~~%~~534~~»	304	FUN%4615%323»
		305	FUN%5832%643»
		306	FUN%4615%144»
		307	FUN%1377%721»
		308	FUN%5832%645»
309	MULT_LEQ_BY_CONST_QCONV»	309	MULT_LEQ_BY_CONST_QCONV»
310	FUN%4960%535
311	FUN%4960%535
312	FUN%4960%535»
313	FUN%4960%536
314	FUN%~~4960~~%536	310	FUN%5832%646
		311	FUN%5832%646
		312	FUN%5832%646»
		313	FUN%5832%647
		314	FUN%5832%647
315	» MK-FUNTYP	315	» MK-FUNTYP
316	MK-TERMTYP»	316	MK-TERMTYP»
317	» MK-FUNTYP	317	» MK-FUNTYP
318	MK-TERMTYP	318	MK-TERMTYP
319	» MK-THMTYP»	319	» MK-THMTYP»
320	MULT_LEQ_BY_CONST_QCONV	320	MULT_LEQ_BY_CONST_QCONV
321	» MK-FUNTYP	321	» MK-FUNTYP
322	MK-TERMTYP»	322	MK-TERMTYP»
323	» MK-FUNTYP	323	» MK-FUNTYP
324	MK-TERMTYP	324	MK-TERMTYP
Max diff block lines reached; 9616/12322 bytes (78.04%) of diff not shown.


Offset 205, 192 lines modified		Offset 205, 192 lines modified
205	.comment	205	.comment
206	.note.GNU-stack	206	.note.GNU-stack
207	.rel.debug_frame	207	.rel.debug_frame
208	.ARM.attributes	208	.ARM.attributes
209	COMMON-LISP-USER	209	COMMON-LISP-USER
210	SYSTEMSPUTPROP	210	SYSTEMSPUTPROP
211	COMMON-LISPQUOTE	211	COMMON-LISPQUOTE
212	FUN%8517%486	212	FUN%7718%626
213	» CURRYBIND	213	» CURRYBIND
214	,SPUTPROP	214	,SPUTPROP
215	FUN%8517%487	215	FUN%7718%627
216	» CURRYBIND	216	» CURRYBIND
217	,SPUTPROP	217	,SPUTPROP
218	FUN%8517%488	218	FUN%7718%628
219	» CURRYBIND	219	» CURRYBIND
220	,SPUTPROP	220	,SPUTPROP
221	FUN%8517%489	221	FUN%7718%629
222	» CURRYBIND	222	» CURRYBIND
223	,SPUTPROP	223	,SPUTPROP
224	FUN%8517%490	224	FUN%7718%630
225	» CURRYBIND	225	» CURRYBIND
226	FUN%8517%489	226	FUN%7718%629
227	,SPUTPROP	227	,SPUTPROP
228	FUN%8517%491	228	FUN%7718%631
229	» CURRYBIND	229	» CURRYBIND
230	FUN%8517%486
231	FUN%8517%486
232	FUN%8517%487
233	FUN%8517%~~487~~	230	FUN%7718%626
		231	FUN%7718%626
		232	FUN%7718%627
		233	FUN%7718%627
234	$MK-LETREF%ZERO_LESS_EQ_ONE_TIMES%~~536~~»	234	$MK-LETREF%ZERO_LESS_EQ_ONE_TIMES%680»
235	MK-LET%mk_num_var%~~620~~»	235	MK-LET%mk_num_var%713»
236	FUN%1393%621»
237	FUN%4864%94»
238	FUN%8517%488
239	FUN%8517%488
240	FUN%~~3358~~%~~100~~»	236	FUN%6047%714»
		237	FUN%6642%164»
		238	FUN%7718%628
		239	FUN%7718%628
		240	FUN%8817%151»
241	#MK-LETREF%IMP_IMP_CONJ_IMP_CONV%~~546~~»	241	#MK-LETREF%IMP_IMP_CONJ_IMP_CONV%690»
242	FUN%5334%158»
243	FUN%8517%489
244	FUN%8517%489
245	FUN%8517%489»
246	FUN%8517%490
247	FUN%8517%~~490~~	242	FUN%4615%231»
		243	FUN%7718%629
		244	FUN%7718%629
		245	FUN%7718%629»
		246	FUN%7718%630
		247	FUN%7718%630
248	EVALUATION»	248	EVALUATION»
249	MK-LETREC%conjuncts%~~267~~»	249	MK-LETREC%conjuncts%330»
250	FUN%~~2783~~%~~268~~»	250	FUN%9154%331»
251	MK-LET%coeffs_of_leq%~~568~~»	251	MK-LET%coeffs_of_leq%702»
252	FUN%6925%30»
253	FUN%8517%486»
254	FUN%6925%45»
255	FUN%~~8517~~%~~492~~	252	FUN%5223%28»
		253	FUN%7718%626»
		254	FUN%5223%43»
		255	FUN%7718%632
256	ML-FLAT»	256	ML-FLAT»
257	FUN%8517%493
258	FUN%7474%107»
259	FUN%8517%4~~87»~~	257	FUN%7718%633
		258	FUN%3465%98»
		259	FUN%7718%627»
260	MK-LETREC%VAR_ELIM%~~557~~»	260	MK-LETREC%VAR_ELIM%668»
261	FUN%4960%558»
262	FUN%~~8517~~%~~488~~»	261	FUN%5832%669»
		262	FUN%7718%628»
263	MK-LET%PROVE_HYP%103»	263	MK-LET%PROVE_HYP%201»
264	FUN%7474%79»
265	FUN%4274%576»
266	FUN%3~~358~~%84»	264	FUN%3465%70»
		265	FUN%9469%710»
		266	FUN%8817%135»
267	MK-LET%LEQ_CONV%~~537~~»	267	MK-LET%LEQ_CONV%648»
268	MK-LETREC%last%118»	268	MK-LETREC%last%109»
269	FUN%7474%119»
270	FUN%~~8517~~%490»	269	FUN%3465%110»
		270	FUN%7718%630»
271	MK-LETREC%butlast%120»	271	MK-LETREC%butlast%111»
272	FUN%7474%121»	272	FUN%3465%112»
273	MK-LETREF%IMP_F_EQ_F_CONV%~~545~~»	273	MK-LETREF%IMP_F_EQ_F_CONV%689»
274	INEQS_FALSE_CONV»	274	INEQS_FALSE_CONV»
275	FUN%8517%491
276	FUN%8517%491
277	FUN%8517%492
278	FUN%8517%492
279	FUN%8517%493
280	FUN%8517%~~493~~	275	FUN%7718%631
		276	FUN%7718%631
		277	FUN%7718%632
		278	FUN%7718%632
		279	FUN%7718%633
		280	FUN%7718%633
281	» MK-FUNTYP	281	» MK-FUNTYP
282	MK-TERMTYP	282	MK-TERMTYP
283	» MK-THMTYP»	283	» MK-THMTYP»
284	INEQS_FALSE_CONV	284	INEQS_FALSE_CONV
285	» MK-FUNTYP	285	» MK-FUNTYP
286	MK-TERMTYP	286	MK-TERMTYP
287	» MK-THMTYP»	287	» MK-THMTYP»
288	MK-LET%INEQS_FALSE_CONV%485»	288	MK-LET%INEQS_FALSE_CONV%625»
289	FUN%8517%491	289	FUN%7718%631
290	,SPUTPROP	290	,SPUTPROP
291	FUN%8517%495	291	FUN%7718%635
292	» CURRYBIND	292	» CURRYBIND
293	MK-LET%is_disj%~~184~~»	293	MK-LET%is_disj%247»
294	FUN%2353%126»	294	FUN%381%154»
295	MK-LETREF%OR_F_CONV%~~551~~»	295	MK-LETREF%OR_F_CONV%695»
296	FUN%9353%549»
297	FUN%9353%552»
298	FUN%9353%532»
299	FUN%9353%~~531~~»	296	FUN%1377%712»
		297	FUN%1377%715»
		298	FUN%1377%695»
		299	FUN%1377%694»
300	DISJ_INEQS_FALSE_QCONV»	300	DISJ_INEQS_FALSE_QCONV»
301	FUN%9353%523»
302	FUN%8517%495
Max diff block lines reached; 3865/6636 bytes (58.24%) of diff not shown.


Offset 227, 237 lines modified		Offset 227, 237 lines modified
227	.comment	227	.comment
228	.note.GNU-stack	228	.note.GNU-stack
229	.rel.debug_frame	229	.rel.debug_frame
230	.ARM.attributes	230	.ARM.attributes
231	COMMON-LISP-USER	231	COMMON-LISP-USER
232	COMMON-LISPPROGN	232	COMMON-LISPPROGN
233	SYSTEMSPUTPROP	233	SYSTEMSPUTPROP
234	CONC%stream%~~542~~	234	CONC%stream%674
235	-SPUTPROP	235	-SPUTPROP
236	CONC%stream%~~542~~	236	CONC%stream%674
237	» MK-FUNTYP»	237	» MK-FUNTYP»
238	MK-PRODTYP	238	MK-PRODTYP
239	» MK-FUNTYP	239	» MK-FUNTYP
240	MK-NULLTYP	240	MK-NULLTYP
241	CONC%stream%~~542~~	241	CONC%stream%674
242	CONC%stream%~~542~~	242	CONC%stream%674
243	CONSTRUCTORS	243	CONSTRUCTORS
244	» MK-FUNTYP»	244	» MK-FUNTYP»
245	MK-PRODTYP	245	MK-PRODTYP
246	» MK-FUNTYP	246	» MK-FUNTYP
247	MK-NULLTYP	247	MK-NULLTYP
248	CONC%stream%~~542~~	248	CONC%stream%674
249	CONC%stream%~~542~~	249	CONC%stream%674
250	CONC%stream%~~542~~»	250	CONC%stream%674»
251	MK-RECTYPE»	251	MK-RECTYPE»
252	-SPUTPROP	252	-SPUTPROP
253	FUN%8674%~~545~~	253	FUN%467%677
254	» CURRYBIND	254	» CURRYBIND
255	-SPUTPROP	255	-SPUTPROP
256	FUN%8674%~~546~~	256	FUN%467%678
257	» CURRYBIND	257	» CURRYBIND
258	FUN%8674%~~545~~	258	FUN%467%677
259	-SPUTPROP	259	-SPUTPROP
260	FUN%8674%~~544~~	260	FUN%467%676
261	» CURRYBIND	261	» CURRYBIND
262	FUN%8674%546
263	FUN%8674%5~~46»~~	262	FUN%467%678
		263	FUN%467%678»
264	EVALUATION»	264	EVALUATION»
265	pattern»	265	pattern»
266	FUN%8674%545
267	FUN%8674%545
268	FUN%8674%545»
269	FUN%8674%546
270	FUN%8674%546
271	FUN%8674%544
272	FUN%8674%~~544~~	266	FUN%467%677
		267	FUN%467%677
		268	FUN%467%677»
		269	FUN%467%678
		270	FUN%467%678
		271	FUN%467%676
		272	FUN%467%676
273	» MK-FUNTYP»	273	» MK-FUNTYP»
274	» MK-FUNTYP	274	» MK-FUNTYP
275	» MK-FUNTYP»	275	» MK-FUNTYP»
276	» MK-FUNTYP	276	» MK-FUNTYP
277	MK-NULLTYP	277	MK-NULLTYP
278	CONC%stream%~~542~~	278	CONC%stream%674
279	» MK-FUNTYP	279	» MK-FUNTYP
280	MK-NULLTYP	280	MK-NULLTYP
281	CONC%stream%~~542~~	281	CONC%stream%674
282	stream_map	282	stream_map
283	» MK-FUNTYP»	283	» MK-FUNTYP»
284	» MK-FUNTYP	284	» MK-FUNTYP
285	» MK-FUNTYP»	285	» MK-FUNTYP»
286	» MK-FUNTYP	286	» MK-FUNTYP
287	MK-NULLTYP	287	MK-NULLTYP
288	CONC%stream%~~542~~	288	CONC%stream%674
289	» MK-FUNTYP	289	» MK-FUNTYP
290	MK-NULLTYP	290	MK-NULLTYP
291	CONC%stream%~~542~~	291	CONC%stream%674
292	» MK-LETREC»	292	» MK-LETREC»
293	MK-LETREC%stream_map%~~543~~»	293	MK-LETREC%stream_map%675»
294	FUN%8674%~~544~~»	294	FUN%467%676»
295	stream_map	295	stream_map
296	-SPUTPROP	296	-SPUTPROP
297	FUN%8674%~~549~~	297	FUN%467%681
298	» CURRYBIND	298	» CURRYBIND
299	-SPUTPROP	299	-SPUTPROP
300	FUN%8674%~~550~~	300	FUN%467%682
301	» CURRYBIND	301	» CURRYBIND
302	FUN%8674%~~549~~	302	FUN%467%681
303	-SPUTPROP	303	-SPUTPROP
304	FUN%8674%~~548~~	304	FUN%467%680
305	» CURRYBIND	305	» CURRYBIND
306	FUN%8674%550
307	FUN%8674%550»
308	FUN%8674%549
309	FUN%8674%549
310	FUN%8674%549»
311	FUN%8674%550
312	FUN%8674%550
313	FUN%8674%548
314	FUN%8674%~~548~~	306	FUN%467%682
		307	FUN%467%682»
		308	FUN%467%681
		309	FUN%467%681
		310	FUN%467%681»
		311	FUN%467%682
		312	FUN%467%682
		313	FUN%467%680
		314	FUN%467%680
315	» MK-FUNTYP»	315	» MK-FUNTYP»
316	» MK-FUNTYP	316	» MK-FUNTYP
317	MK-NULLTYP	317	MK-NULLTYP
318	CONC%stream%~~542~~	318	CONC%stream%674
319	» MK-FUNTYP»	319	» MK-FUNTYP»
320	» MK-FUNTYP	320	» MK-FUNTYP
321	MK-NULLTYP	321	MK-NULLTYP
322	CONC%stream%~~542~~	322	CONC%stream%674
323	» MK-FUNTYP	323	» MK-FUNTYP
324	MK-NULLTYP	324	MK-NULLTYP
325	CONC%stream%~~542~~	325	CONC%stream%674
326	stream_append	326	stream_append
327	» MK-FUNTYP»	327	» MK-FUNTYP»
328	» MK-FUNTYP	328	» MK-FUNTYP
329	MK-NULLTYP	329	MK-NULLTYP
330	CONC%stream%~~542~~	330	CONC%stream%674
331	» MK-FUNTYP»	331	» MK-FUNTYP»
332	» MK-FUNTYP	332	» MK-FUNTYP
333	MK-NULLTYP	333	MK-NULLTYP
334	CONC%stream%~~542~~	334	CONC%stream%674
335	» MK-FUNTYP	335	» MK-FUNTYP
336	MK-NULLTYP	336	MK-NULLTYP
337	CONC%stream%~~542~~	337	CONC%stream%674
338	MK-LETREC%stream_append%~~547~~»	338	MK-LETREC%stream_append%679»
Max diff block lines reached; 2641/4973 bytes (53.11%) of diff not shown.


Offset 166, 47 lines modified		Offset 166, 47 lines modified
166	.comment	166	.comment
167	.note.GNU-stack	167	.note.GNU-stack
168	.rel.debug_frame	168	.rel.debug_frame
169	.ARM.attributes	169	.ARM.attributes
170	COMMON-LISP-USER	170	COMMON-LISP-USER
171	SYSTEMSPUTPROP	171	SYSTEMSPUTPROP
172	COMMON-LISPQUOTE	172	COMMON-LISPQUOTE
173	FUN%9395%565	173	FUN%9455%664
174	» CURRYBIND	174	» CURRYBIND
175	,SPUTPROP	175	,SPUTPROP
176	FUN%9395%564	176	FUN%9455%663
177	» CURRYBIND	177	» CURRYBIND
178	FUN%9395%565	178	FUN%9455%664
179	,SPUTPROP	179	,SPUTPROP
180	FUN%9395%566	180	FUN%9455%665
181	» CURRYBIND	181	» CURRYBIND
182	,SPUTPROP	182	,SPUTPROP
183	FUN%9395%567	183	FUN%9455%666
184	» CURRYBIND	184	» CURRYBIND
185	FUN%9395%566	185	FUN%9455%665
186	ML-ASCII_CODE»	186	ML-ASCII_CODE»
187	FUN%9395%565
188	FUN%9395%565
189	FUN%9395%565»
190	FUN%9395%564	187	FUN%9455%664
191	FUN%9395%564	188	FUN%9455%664
192	FUN%9395%564»	189	FUN%9455%664»
		190	FUN%9455%663
		191	FUN%9455%663
		192	FUN%9455%663»
193	ML-EXPLODE»	193	ML-EXPLODE»
194	FUN%9395%566	194	FUN%9455%665
195	FUN%9395%566	195	FUN%9455%665
196	FUN%9395%566»	196	FUN%9455%665»
197	FUN%9395%567
198	FUN%9395%567	197	FUN%9455%666
		198	FUN%9455%666
199	» MK-FUNTYP	199	» MK-FUNTYP
200	» MK-TOKTYP»	200	» MK-TOKTYP»
201	» MK-FUNTYP	201	» MK-FUNTYP
202	» MK-TOKTYP	202	» MK-TOKTYP
203	MK-BOOLTYP»	203	MK-BOOLTYP»
204	string_less	204	string_less
205	» MK-FUNTYP	205	» MK-FUNTYP
206	» MK-TOKTYP»	206	» MK-TOKTYP»
207	» MK-FUNTYP	207	» MK-FUNTYP
208	» MK-TOKTYP	208	» MK-TOKTYP
209	MK-BOOLTYP»	209	MK-BOOLTYP»
210	MK-LET%string_less%563»	210	MK-LET%string_less%662»
211	string_less»	211	string_less»
212	FUN%9395%567	212	FUN%9455%666


Offset 197, 113 lines modified		Offset 197, 113 lines modified
197	.comment	197	.comment
198	.note.GNU-stack	198	.note.GNU-stack
199	.rel.debug_frame	199	.rel.debug_frame
200	.ARM.attributes	200	.ARM.attributes
201	COMMON-LISP-USER	201	COMMON-LISP-USER
202	SYSTEMSPUTPROP	202	SYSTEMSPUTPROP
203	COMMON-LISPQUOTE	203	COMMON-LISPQUOTE
204	FUN%~~3914~~%483	204	FUN%5895%703
205	» CURRYBIND	205	» CURRYBIND
206	EVALUATION»	206	EVALUATION»
207	ML-DEST_ABS»	207	ML-DEST_ABS»
		208	FUN%9154%347»
208	FUN%2783%284»
209	FUN%6925%28»
210	FUN%3914%484
211	FUN%~~235~~3%82»	209	FUN%5223%26»
212	FUN%3914%485
213	FUN%~~2353~~%130»	210	FUN%5895%704
		211	FUN%381%110»
		212	FUN%5895%705
		213	FUN%381%158»
214	MK-LET%I%93»	214	MK-LET%I%121»
215	FUN%2353%88»	215	FUN%381%116»
216	» ML-MK_ABS»	216	» ML-MK_ABS»
217	MK-LET%COND_ABS%~~180~~»	217	MK-LET%COND_ABS%278»
218	ML-TYPE_OF»	218	ML-TYPE_OF»
219	Q-MK_VARTYPE»	219	Q-MK_VARTYPE»
220	FUN%3358%97»
221	FUN%4864%97»
222	FUN%~~318~~7%148»	220	FUN%8817%148»
		221	FUN%6642%167»
		222	FUN%3193%246»
223	MK-LET%BETA_CONV%91»	223	MK-LET%BETA_CONV%142»
224	FUN%5334%247»
225	FUN%5334%250»
226	FUN%5334%72»
227	FUN%5334%253»
228	FUN%~~5334~~%~~158~~»	224	FUN%4615%320»
		225	FUN%4615%323»
		226	FUN%4615%145»
		227	FUN%4615%326»
		228	FUN%4615%231»
229	COND_ABS_CONV»	229	COND_ABS_CONV»
230	FUN%3914%483
231	FUN%3914%483
232	FUN%3914%484
233	FUN%~~3914~~%~~484~~	230	FUN%5895%703
		231	FUN%5895%703
		232	FUN%5895%704
		233	FUN%5895%704
234	FREEVARS»	234	FREEVARS»
235	FUN%3914%485
236	FUN%~~3914~~%485	235	FUN%5895%705
		236	FUN%5895%705
237	» MK-FUNTYP	237	» MK-FUNTYP
238	MK-TERMTYP	238	MK-TERMTYP
239	» MK-THMTYP»	239	» MK-THMTYP»
240	COND_ABS_CONV	240	COND_ABS_CONV
241	» MK-FUNTYP	241	» MK-FUNTYP
242	MK-TERMTYP	242	MK-TERMTYP
243	» MK-THMTYP»	243	» MK-THMTYP»
244	MK-LET%COND_ABS_CONV%482»	244	MK-LET%COND_ABS_CONV%702»
245	FUN%~~3914~~%483	245	FUN%5895%703
246	,SPUTPROP	246	,SPUTPROP
247	FUN%~~3914~~%487	247	FUN%5895%707
248	» CURRYBIND	248	» CURRYBIND
249	,SPUTPROP	249	,SPUTPROP
250	FUN%~~3914~~%488	250	FUN%5895%708
251	» CURRYBIND	251	» CURRYBIND
252	,SPUTPROP	252	,SPUTPROP
253	FUN%~~3914~~%489	253	FUN%5895%709
254	» CURRYBIND	254	» CURRYBIND
255	FUN%2783%326»
256	FUN%3914%487»	255	FUN%9154%389»
257	FUN%3914%487
258	FUN%~~3914~~%487	256	FUN%5895%707»
		257	FUN%5895%707
		258	FUN%5895%707
259	ML-DEST_CONST»	259	ML-DEST_CONST»
260	·MK-LETREF%NUM_COND_RAND_CONV%~~580~~»	260	·MK-LETREF%NUM_COND_RAND_CONV%724»
261	FUN%3914%488
262	FUN%3914%488
263	FUN%~~3914~~%488»	261	FUN%5895%708
		262	FUN%5895%708
		263	FUN%5895%708»
264	!MK-LETREF%NUM_COND_RATOR_CONV%~~579~~»	264	!MK-LETREF%NUM_COND_RATOR_CONV%723»
265	MK-LETREF%COND_EXPAND_CONV%~~584~~»	265	MK-LETREF%COND_EXPAND_CONV%728»
266	MK-LETREF%SUB_NORM_CONV%~~581~~»	266	MK-LETREF%SUB_NORM_CONV%725»
267	FUN%5334%76»
268	FUN%5334%140»
269	FUN%3914%489
270	FUN%3914%489	267	FUN%4615%149»
		268	FUN%4615%213»
		269	FUN%5895%709
		270	FUN%5895%709
271	» MK-FUNTYP	271	» MK-FUNTYP
272	MK-TERMTYP	272	MK-TERMTYP
273	» MK-THMTYP»	273	» MK-THMTYP»
274	SUB_AND_COND_ELIM_CONV	274	SUB_AND_COND_ELIM_CONV
275	» MK-FUNTYP	275	» MK-FUNTYP
276	MK-TERMTYP	276	MK-TERMTYP
277	» MK-THMTYP»	277	» MK-THMTYP»
278	!MK-LET%SUB_AND_COND_ELIM_CONV%486»	278	!MK-LET%SUB_AND_COND_ELIM_CONV%706»
279	FUN%~~3914~~%489»	279	FUN%5895%709»
280	SUB_AND_COND_ELIM_CONV	280	SUB_AND_COND_ELIM_CONV
281	,SPUTPROP	281	,SPUTPROP
282	FUN%~~3914~~%491	282	FUN%5895%711
283	» CURRYBIND	283	» CURRYBIND
284	,SPUTPROP	284	,SPUTPROP
285	FUN%~~3914~~%492	285	FUN%5895%712
286	» CURRYBIND	286	» CURRYBIND
287	,SPUTPROP	287	,SPUTPROP
288	FUN%~~3914~~%493	288	FUN%5895%713
289	» CURRYBIND	289	» CURRYBIND
290	FUN%3914%491»
291	FUN%3914%491
292	FUN%~~3914~~%491	290	FUN%5895%711»
		291	FUN%5895%711
		292	FUN%5895%711
293	MK-LETREF%COND_RAND_CONV%~~583~~»	293	MK-LETREF%COND_RAND_CONV%727»
294	FUN%3914%492
295	FUN%3914%492
296	FUN%~~3914~~%492»	294	FUN%5895%712
		295	FUN%5895%712
		296	FUN%5895%712»
297	MK-LETREF%COND_RATOR_CONV%~~582~~»	297	MK-LETREF%COND_RATOR_CONV%726»
298	FUN%3914%493
Max diff block lines reached; 180/2849 bytes (6.32%) of diff not shown.


Offset 234, 812 lines modified		Offset 234, 812 lines modified
234	.comment	234	.comment
235	.note.GNU-stack	235	.note.GNU-stack
236	.rel.debug_frame	236	.rel.debug_frame
237	.ARM.attributes	237	.ARM.attributes
238	COMMON-LISP-USER	238	COMMON-LISP-USER
239	COMMON-LISPPROGN	239	COMMON-LISPPROGN
240	SYSTEMSPUTPROP	240	SYSTEMSPUTPROP
241	CONC%bound%~~562~~	241	CONC%bound%630
242	-SPUTPROP	242	-SPUTPROP
243	CONC%bound%~~562~~	243	CONC%bound%630
244	MK-PRODTYP»	244	MK-PRODTYP»
245	» MK-FUNTYP»	245	» MK-FUNTYP»
246	MK-PRODTYP	246	MK-PRODTYP
247	ABS%rat%~~522~~	247	ABS%rat%635
248	» MK-LISTYP»	248	» MK-LISTYP»
249	MK-PRODTYP	249	MK-PRODTYP
250	» MK-TOKTYP	250	» MK-TOKTYP
251	ABS%rat%~~522~~	251	ABS%rat%635
252	CONC%bound%~~562~~»	252	CONC%bound%630»
253	MK-PRODTYP»	253	MK-PRODTYP»
254	» MK-FUNTYP	254	» MK-FUNTYP
255	» MK-LISTYP	255	» MK-LISTYP
256	CONC%bound%~~562~~	256	CONC%bound%630
257	CONC%bound%~~562~~»	257	CONC%bound%630»
258	MK-PRODTYP»	258	MK-PRODTYP»
259	» MK-FUNTYP	259	» MK-FUNTYP
260	» MK-LISTYP	260	» MK-LISTYP
261	CONC%bound%~~562~~	261	CONC%bound%630
262	CONC%bound%~~562~~»	262	CONC%bound%630»
263	MK-PRODTYP	263	MK-PRODTYP
264	CONC%bound%~~562~~	264	CONC%bound%630
265	CONC%bound%~~562~~»	265	CONC%bound%630»
266	CONSTRUCTORS	266	CONSTRUCTORS
267	» MK-FUNTYP»	267	» MK-FUNTYP»
268	MK-PRODTYP	268	MK-PRODTYP
269	ABS%rat%~~522~~	269	ABS%rat%635
270	» MK-LISTYP»	270	» MK-LISTYP»
271	MK-PRODTYP	271	MK-PRODTYP
272	» MK-TOKTYP	272	» MK-TOKTYP
273	ABS%rat%~~522~~	273	ABS%rat%635
274	CONC%bound%~~562~~	274	CONC%bound%630
275	» Max_bound	275	» Max_bound
276	» MK-FUNTYP	276	» MK-FUNTYP
277	» MK-LISTYP	277	» MK-LISTYP
278	CONC%bound%~~562~~	278	CONC%bound%630
279	CONC%bound%~~562~~	279	CONC%bound%630
280	» Min_bound	280	» Min_bound
281	» MK-FUNTYP	281	» MK-FUNTYP
282	» MK-LISTYP	282	» MK-LISTYP
283	CONC%bound%~~562~~	283	CONC%bound%630
284	CONC%bound%~~562~~	284	CONC%bound%630
285	CONC%bound%~~562~~	285	CONC%bound%630
286	CONC%bound%~~562~~	286	CONC%bound%630
287	CONC%bound%~~562~~»	287	CONC%bound%630»
288	MK-RECTYPE»	288	MK-RECTYPE»
289	-SPUTPROP	289	-SPUTPROP
290	CONC%internal_bound%563	290	CONC%internal_bound%631
291	-SPUTPROP	291	-SPUTPROP
292	CONC%internal_bound%563	292	CONC%internal_bound%631
293	internal_bound	293	internal_bound
294	MK-PRODTYP»	294	MK-PRODTYP»
295	» MK-FUNTYP	295	» MK-FUNTYP
296	CONC%bound%~~562~~	296	CONC%bound%630
297	CONC%internal_bound%563»	297	CONC%internal_bound%631»
298	MK-PRODTYP»	298	MK-PRODTYP»
299	» MK-FUNTYP»	299	» MK-FUNTYP»
300	MK-PRODTYP	300	MK-PRODTYP
301	ABS%rat%~~522~~	301	ABS%rat%635
302	CONC%internal_bound%563	302	CONC%internal_bound%631
303	CONC%internal_bound%563»	303	CONC%internal_bound%631»
304	MK-PRODTYP»	304	MK-PRODTYP»
305	» MK-FUNTYP»	305	» MK-FUNTYP»
306	MK-PRODTYP	306	MK-PRODTYP
307	CONC%internal_bound%563	307	CONC%internal_bound%631
308	CONC%internal_bound%563	308	CONC%internal_bound%631
309	CONC%internal_bound%563»	309	CONC%internal_bound%631»
310	MK-PRODTYP»	310	MK-PRODTYP»
311	» MK-FUNTYP	311	» MK-FUNTYP
312	» MK-LISTYP	312	» MK-LISTYP
313	CONC%internal_bound%563	313	CONC%internal_bound%631
314	CONC%internal_bound%563»	314	CONC%internal_bound%631»
315	» MK-FUNTYP	315	» MK-FUNTYP
316	» MK-LISTYP	316	» MK-LISTYP
317	CONC%internal_bound%563	317	CONC%internal_bound%631
318	CONC%internal_bound%563»	318	CONC%internal_bound%631»
319	CONSTRUCTORS	319	CONSTRUCTORS
320	» MK-FUNTYP	320	» MK-FUNTYP
321	CONC%bound%~~562~~	321	CONC%bound%630
322	CONC%internal_bound%563	322	CONC%internal_bound%631
323	Mult_ibound	323	Mult_ibound
324	» MK-FUNTYP»	324	» MK-FUNTYP»
325	MK-PRODTYP	325	MK-PRODTYP
326	ABS%rat%~~522~~	326	ABS%rat%635
327	CONC%internal_bound%563	327	CONC%internal_bound%631
328	CONC%internal_bound%563	328	CONC%internal_bound%631
329	Plus_ibound	329	Plus_ibound
330	» MK-FUNTYP»	330	» MK-FUNTYP»
331	MK-PRODTYP	331	MK-PRODTYP
332	CONC%internal_bound%563	332	CONC%internal_bound%631
333	CONC%internal_bound%563	333	CONC%internal_bound%631
334	CONC%internal_bound%563	334	CONC%internal_bound%631
335	Max_ibound	335	Max_ibound
336	» MK-FUNTYP	336	» MK-FUNTYP
337	» MK-LISTYP	337	» MK-LISTYP
338	CONC%internal_bound%563	338	CONC%internal_bound%631
339	CONC%internal_bound%563	339	CONC%internal_bound%631
340	Min_ibound	340	Min_ibound
341	» MK-FUNTYP	341	» MK-FUNTYP
342	» MK-LISTYP	342	» MK-LISTYP
343	CONC%internal_bound%563	343	CONC%internal_bound%631
344	CONC%internal_bound%563	344	CONC%internal_bound%631
345	internal_bound	345	internal_bound
346	CONC%internal_bound%563»	346	CONC%internal_bound%631»
347	-SPUTPROP	347	-SPUTPROP
348	FUN%~~4794~~%~~566~~	348	FUN%5623%634
349	» CURRYBIND	349	» CURRYBIND
350	-SPUTPROP	350	-SPUTPROP
351	FUN%~~4794~~%~~567~~	351	FUN%5623%635
352	» CURRYBIND	352	» CURRYBIND
353	-SPUTPROP	353	-SPUTPROP
354	FUN%~~4794~~%~~568~~	354	FUN%5623%636
355	» CURRYBIND	355	» CURRYBIND
356	-SPUTPROP	356	-SPUTPROP
357	FUN%~~4794~~%~~565~~	357	FUN%5623%633
358	» CURRYBIND	358	» CURRYBIND
359	FUN%~~4794~~%~~568~~	359	FUN%5623%636
360	MK-ABSTYPE%Rat%~~523~~»	360	MK-ABSTYPE%Rat%636»
Max diff block lines reached; 14674/17930 bytes (81.84%) of diff not shown.


Offset 214, 23 lines modified		Offset 214, 23 lines modified
214	.comment	214	.comment
215	.note.GNU-stack	215	.note.GNU-stack
216	.rel.debug_frame	216	.rel.debug_frame
217	.ARM.attributes	217	.ARM.attributes
218	COMMON-LISP-USER	218	COMMON-LISP-USER
219	SYSTEMSPUTPROP	219	SYSTEMSPUTPROP
220	COMMON-LISPQUOTE	220	COMMON-LISPQUOTE
221	FUN%~~4274~~%~~543~~	221	FUN%9469%677
222	» CURRYBIND	222	» CURRYBIND
223	,SPUTPROP	223	,SPUTPROP
224	FUN%~~4274~~%~~544~~	224	FUN%9469%678
225	» CURRYBIND	225	» CURRYBIND
226	FUN%4274%543
227	FUN%4274%543
228	FUN%4274%544
229	FUN%~~4274~~%~~544~~	226	FUN%9469%677
		227	FUN%9469%677
		228	FUN%9469%678
		229	FUN%9469%678
230	» MK-FUNTYP»	230	» MK-FUNTYP»
231	MK-PRODTYP	231	MK-PRODTYP
232	» MK-INTTYP	232	» MK-INTTYP
233	» MK-LISTYP»	233	» MK-LISTYP»
234	MK-PRODTYP	234	MK-PRODTYP
235	» MK-INTTYP»	235	» MK-INTTYP»
236	MK-PRODTYP	236	MK-PRODTYP


Offset 213, 184 lines modified		Offset 213, 184 lines modified
213	.comment	213	.comment
214	.note.GNU-stack	214	.note.GNU-stack
215	.rel.debug_frame	215	.rel.debug_frame
216	.ARM.attributes	216	.ARM.attributes
217	COMMON-LISP-USER	217	COMMON-LISP-USER
218	SYSTEMSPUTPROP	218	SYSTEMSPUTPROP
219	COMMON-LISPQUOTE	219	COMMON-LISPQUOTE
220	FUN%7~~635~~%~~504~~	220	FUN%184%692
221	» CURRYBIND	221	» CURRYBIND
222	,SPUTPROP	222	,SPUTPROP
223	FUN%7~~635~~%~~505~~	223	FUN%184%693
224	» CURRYBIND	224	» CURRYBIND
225	,SPUTPROP	225	,SPUTPROP
226	FUN%7~~635~~%~~507~~	226	FUN%184%695
227	» CURRYBIND	227	» CURRYBIND
228	,SPUTPROP	228	,SPUTPROP
229	FUN%7~~635~~%~~508~~	229	FUN%184%696
230	» CURRYBIND	230	» CURRYBIND
231	FUN%7~~635~~%~~507~~	231	FUN%184%695
232	,SPUTPROP	232	,SPUTPROP
233	FUN%7~~635~~%~~509~~	233	FUN%184%697
234	» CURRYBIND	234	» CURRYBIND
235	FUN%7~~635~~%~~508~~	235	FUN%184%696
236	,SPUTPROP	236	,SPUTPROP
237	FUN%7~~635~~%~~506~~	237	FUN%184%694
238	» CURRYBIND	238	» CURRYBIND
239	FUN%7~~635~~%~~509~~	239	FUN%184%697
240	,SPUTPROP	240	,SPUTPROP
241	FUN%7~~635~~%~~510~~	241	FUN%184%698
242	» CURRYBIND	242	» CURRYBIND
243	,SPUTPROP	243	,SPUTPROP
244	FUN%7~~635~~%~~511~~	244	FUN%184%699
245	» CURRYBIND	245	» CURRYBIND
246	FUN%7~~635~~%~~510~~	246	FUN%184%698
247	ML-DEST_CONST»	247	ML-DEST_CONST»
248	FUN%7635%504
249	FUN%7635%504
250	FUN%7635%504»
251	FUN%2353%130»
252	FUN%7635%505
253	FUN%7~~635~~%~~505~~	248	FUN%184%692
		249	FUN%184%692
		250	FUN%184%692»
		251	FUN%381%158»
		252	FUN%184%693
		253	FUN%184%693
254	EVALUATION»	254	EVALUATION»
255	FUN%~~2783~~%~~266~~»	255	FUN%9154%329»
256	MK-LET%I%93»	256	MK-LET%I%121»
257	FUN%2353%88»	257	FUN%381%116»
258	pattern»	258	pattern»
259	FUN%4864%94»
260	FUN%2783%177»
261	FUN%2783%327»
262	FUN%2783%195»
263	FUN%3187%150»
264	FUN%4864%199»
265	FUN%4864%72»
266	FUN%4864%86»	259	FUN%6642%164»
		260	FUN%9154%240»
		261	FUN%9154%390»
		262	FUN%9154%258»
		263	FUN%3193%248»
		264	FUN%6642%269»
		265	FUN%6642%142»
		266	FUN%6642%156»
267	MK-LET%EQT_INTRO%99»	267	MK-LET%EQT_INTRO%169»
268	FUN%4864%100»	268	FUN%6642%170»
269	FUN%~~2783~~%128»	269	FUN%9154%191»
		270	FUN%6642%162»
270	FUN%4864%92»	271	FUN%184%695»
271	FUN%7635%507»
272	FUN%3187%141»
273	FUN%~~4864~~%247»	272	FUN%3193%239»
		273	FUN%6642%317»
		274	FUN%6642%144»
		275	FUN%8817%137»
		276	FUN%184%695
		277	FUN%184%695
		278	FUN%184%696
		279	FUN%184%696
		280	FUN%184%696»
		281	FUN%184%697
		282	FUN%184%697
274	FUN%4864%74»	283	FUN%184%697»
		284	FUN%184%694
		285	FUN%184%694
275	FUN%3358%86»
276	FUN%7635%507
277	FUN%7635%507
278	FUN%7635%508
279	FUN%7635%508
280	FUN%7635%508»
281	FUN%7635%509
282	FUN%7635%509
283	FUN%7635%509»
284	FUN%7635%506
285	FUN%7635%506
286	FUN%4864%259»	286	FUN%6642%329»
287	IN_CONV»	287	IN_CONV»
288	FUN%7635%510
289	FUN%7635%510
290	FUN%7635%510»
291	FUN%7635%511
292	FUN%7~~635~~%~~511~~	288	FUN%184%698
		289	FUN%184%698
		290	FUN%184%698»
		291	FUN%184%699
		292	FUN%184%699
293	» MK-FUNTYP»	293	» MK-FUNTYP»
294	» MK-FUNTYP	294	» MK-FUNTYP
295	MK-TERMTYP	295	MK-TERMTYP
296	» MK-THMTYP»	296	» MK-THMTYP»
297	» MK-FUNTYP	297	» MK-FUNTYP
298	MK-TERMTYP	298	MK-TERMTYP
299	» MK-THMTYP»	299	» MK-THMTYP»
300	» MK-FUNTYP»	300	» MK-FUNTYP»
301	» MK-FUNTYP	301	» MK-FUNTYP
302	MK-TERMTYP	302	MK-TERMTYP
303	» MK-THMTYP»	303	» MK-THMTYP»
304	» MK-FUNTYP	304	» MK-FUNTYP
305	MK-TERMTYP	305	MK-TERMTYP
306	» MK-THMTYP»	306	» MK-THMTYP»
307	MK-LET%IN_CONV%~~503~~»	307	MK-LET%IN_CONV%691»
308	FUN%7~~635~~%~~505~~»	308	FUN%184%693»
309	» IN_INSERT»	309	» IN_INSERT»
310	finite_sets»	310	finite_sets»
Max diff block lines reached; 7609/9821 bytes (77.48%) of diff not shown.


Offset 199, 90 lines modified		Offset 199, 90 lines modified
199	.comment	199	.comment
200	.note.GNU-stack	200	.note.GNU-stack
201	.rel.debug_frame	201	.rel.debug_frame
202	.ARM.attributes	202	.ARM.attributes
203	COMMON-LISP-USER	203	COMMON-LISP-USER
204	SYSTEMSPUTPROP	204	SYSTEMSPUTPROP
205	COMMON-LISPQUOTE	205	COMMON-LISPQUOTE
206	FUN%~~4691~~%560	206	FUN%7812%620
207	» CURRYBIND	207	» CURRYBIND
208	,SPUTPROP	208	,SPUTPROP
209	FUN%~~4691~~%561	209	FUN%7812%621
210	» CURRYBIND	210	» CURRYBIND
211	,SPUTPROP	211	,SPUTPROP
212	FUN%~~4691~~%562	212	FUN%7812%622
213	» CURRYBIND	213	» CURRYBIND
214	,SPUTPROP	214	,SPUTPROP
215	FUN%~~4691~~%563	215	FUN%7812%623
216	» CURRYBIND	216	» CURRYBIND
217	FUN%~~4691~~%562	217	FUN%7812%622
218	,SPUTPROP	218	,SPUTPROP
219	FUN%~~4691~~%564	219	FUN%7812%624
220	» CURRYBIND	220	» CURRYBIND
221	,SPUTPROP	221	,SPUTPROP
222	FUN%~~4691~~%565	222	FUN%7812%625
223	» CURRYBIND	223	» CURRYBIND
224	,SPUTPROP	224	,SPUTPROP
225	FUN%~~4691~~%566	225	FUN%7812%626
226	» CURRYBIND	226	» CURRYBIND
227	ML-TYPE_OF»	227	ML-TYPE_OF»
228	ML-DEST_TYPE»	228	ML-DEST_TYPE»
229	FUN%4691%560
230	FUN%~~4691~~%560	229	FUN%7812%620
		230	FUN%7812%620
231	ML-MK_COMB»	231	ML-MK_COMB»
232	FUN%4864%81»
233	FUN%4691%561
234	FUN%4691%561
235	FUN%4864%80»
236	FUN%3187%141»
237	FUN%4691%562
238	FUN%4691%562
239	FUN%4691%562»
240	FUN%4691%563
241	FUN%4691%563	232	FUN%6642%151»
		233	FUN%7812%621
		234	FUN%7812%621
		235	FUN%6642%150»
		236	FUN%3193%239»
		237	FUN%7812%622
		238	FUN%7812%622
		239	FUN%7812%622»
		240	FUN%7812%623
		241	FUN%7812%623
242	MK-LET%I%93»	242	MK-LET%I%121»
243	FUN%2353%89»
244	FUN%2353%88»
245	FUN%3~~358%92~~»	243	FUN%381%117»
		244	FUN%381%116»
		245	FUN%8817%143»
246	MK-LET%FORALL_EQ%134»	246	MK-LET%FORALL_EQ%204»
247	FUN%4864%137»
248	FUN%4691%564
249	FUN%4691%~~564~~	247	FUN%6642%207»
		248	FUN%7812%624
		249	FUN%7812%624
250	MK-LET%dest_conj%~~142~~»	250	MK-LET%dest_conj%205»
251	FUN%2783%144»
252	FUN%4691%565
253	FUN%~~4691~~%~~565~~	251	FUN%9154%207»
		252	FUN%7812%625
		253	FUN%7812%625
254	EVALUATION»	254	EVALUATION»
255	MK-LET%dest_forall%133»	255	MK-LET%dest_forall%196»
256	FUN%2783%135»
257	FUN%2353%130»	256	FUN%9154%198»
		257	FUN%381%158»
258	pattern»	258	pattern»
259	Q-MK_VARTYPE»	259	Q-MK_VARTYPE»
260	FUN%~~3358~~%97»	260	FUN%8817%148»
261	» ML-GENVAR»	261	» ML-GENVAR»
262	FUN%~~2783~~%~~197~~»	262	FUN%9154%260»
263	» ML-MK_ABS»	263	» ML-MK_ABS»
264	FUN%4864%94»	264	FUN%6642%164»
265	FUN%4864%222»	265	FUN%6642%292»
266	MK-LET%BETA_CONV%91»	266	MK-LET%BETA_CONV%142»
267	FUN%~~5334~~%~~158~~»	267	FUN%4615%231»
268	FUN%4864%102»	268	FUN%6642%172»
269	FUN%2783%176»
270	FUN%3358%100»
271	FUN%5334%247»
272	FUN%~~533~~4%250»	269	FUN%9154%239»
		270	FUN%8817%151»
		271	FUN%4615%320»
		272	FUN%4615%323»
273	MK-LET%ALL_TAC%98»	273	MK-LET%ALL_TAC%174»
274	MK-LET%CONJ_TAC%118»	274	MK-LET%CONJ_TAC%138»
275	MK-LET%MATCH_MP_TAC%55»	275	MK-LET%MATCH_MP_TAC%190»
276	FUN%9404%60»
277	FUN%5754%79»	276	FUN%7547%195»
278	FUN%5~~754%84~~»	277	FUN%9538%155»
		278	FUN%9538%160»
279	SET_INDUCT_TAC»	279	SET_INDUCT_TAC»
280	FUN%4691%566
281	FUN%~~4691~~%566	280	FUN%7812%626
		281	FUN%7812%626
282	» MK-FUNTYP»	282	» MK-FUNTYP»
283	MK-PRODTYP	283	MK-PRODTYP
284	» MK-LISTYP	284	» MK-LISTYP
285	MK-TERMTYP	285	MK-TERMTYP
286	MK-TERMTYP»	286	MK-TERMTYP»
287	MK-PRODTYP	287	MK-PRODTYP
288	» MK-LISTYP»	288	» MK-LISTYP»


Offset 216, 97 lines modified		Offset 216, 97 lines modified
216	.rel.debug_frame	216	.rel.debug_frame
217	.ARM.attributes	217	.ARM.attributes
218	COMMON-LISP-USER	218	COMMON-LISP-USER
219	COMMON-LISPQUOTE	219	COMMON-LISPQUOTE
220	MK-BEGIN	220	MK-BEGIN
221	prove_inductive_relation_exists	221	prove_inductive_relation_exists
222	SYSTEMSPUTPROP	222	SYSTEMSPUTPROP
223	FUN%~~1776~~%~~545~~	223	FUN%9968%676
224	» CURRYBIND	224	» CURRYBIND
225	-SPUTPROP	225	-SPUTPROP
226	FUN%~~1776~~%~~546~~	226	FUN%9968%677
227	» CURRYBIND	227	» CURRYBIND
228	FUN%~~1776~~%~~545~~	228	FUN%9968%676
229	-SPUTPROP	229	-SPUTPROP
230	FUN%~~1776~~%~~547~~	230	FUN%9968%678
231	» CURRYBIND	231	» CURRYBIND
232	ML-TYPE_OF»	232	ML-TYPE_OF»
233	» Q-MK_TYPE»	233	» Q-MK_TYPE»
234	FUN%1776%545
235	FUN%1776%545
236	FUN%1776%545»
237	FUN%1776%546
238	FUN%~~1776~~%546	234	FUN%9968%676
		235	FUN%9968%676
		236	FUN%9968%676»
		237	FUN%9968%677
		238	FUN%9968%677
239	EVALUATION»	239	EVALUATION»
240	FUN%7474%79»	240	FUN%3465%70»
241	MK_REALVAR»	241	MK_REALVAR»
242	FUN%1776%547
243	FUN%~~1776~~%~~547~~	242	FUN%9968%678
		243	FUN%9968%678
244	» MK-FUNTYP	244	» MK-FUNTYP
245	» MK-LISTYP	245	» MK-LISTYP
246	MK-TERMTYP	246	MK-TERMTYP
247	MK-TERMTYP»	247	MK-TERMTYP»
248	mk_predv	248	mk_predv
249	» MK-FUNTYP	249	» MK-FUNTYP
250	» MK-LISTYP	250	» MK-LISTYP
251	MK-TERMTYP	251	MK-TERMTYP
252	MK-TERMTYP»	252	MK-TERMTYP»
253	MK-LET%mk_predv%~~544~~»	253	MK-LET%mk_predv%675»
254	FUN%1776%546»
255	FUN%~~1776~~%547»	254	FUN%9968%677»
		255	FUN%9968%678»
256	mk_predv	256	mk_predv
257	-SPUTPROP	257	-SPUTPROP
258	FUN%~~1776~~%~~550~~	258	FUN%9968%681
259	» CURRYBIND	259	» CURRYBIND
260	-SPUTPROP	260	-SPUTPROP
261	FUN%~~1776~~%~~551~~	261	FUN%9968%682
262	» CURRYBIND	262	» CURRYBIND
263	-SPUTPROP	263	-SPUTPROP
264	FUN%~~1776~~%~~552~~	264	FUN%9968%683
265	» CURRYBIND	265	» CURRYBIND
266	-SPUTPROP	266	-SPUTPROP
267	FUN%~~1776~~%~~549~~	267	FUN%9968%680
268	» CURRYBIND	268	» CURRYBIND
269	FUN%~~1776~~%~~552~~	269	FUN%9968%683
270	-SPUTPROP	270	-SPUTPROP
271	FUN%~~1776~~%~~553~~	271	FUN%9968%684
272	» CURRYBIND	272	» CURRYBIND
273	-SPUTPROP	273	-SPUTPROP
274	FUN%~~1776~~%~~554~~	274	FUN%9968%685
275	» CURRYBIND	275	» CURRYBIND
276	-SPUTPROP	276	-SPUTPROP
277	FUN%~~1776~~%~~555~~	277	FUN%9968%686
278	» CURRYBIND	278	» CURRYBIND
279	FUN%~~1776~~%~~554~~	279	FUN%9968%685
280	pattern»	280	pattern»
281	FUN%1776%550
282	FUN%1776%550
283	FUN%1776%551
284	FUN%1776%551
285	FUN%1776%556
286	FUN%2353%130»
287	FUN%1776%552»
288	FUN%6925%27»
289	FUN%1776%550»
290	FUN%1776%551»
291	FUN%1776%552
292	FUN%1776%552
293	FUN%1776%549
294	FUN%~~1776~~%~~549~~	281	FUN%9968%681
		282	FUN%9968%681
		283	FUN%9968%682
		284	FUN%9968%682
		285	FUN%9968%687
		286	FUN%381%158»
		287	FUN%9968%683»
		288	FUN%5223%25»
		289	FUN%9968%681»
		290	FUN%9968%682»
		291	FUN%9968%683
		292	FUN%9968%683
		293	FUN%9968%680
		294	FUN%9968%680
295	ill-formed·membership·assertion»	295	ill-formed·membership·assertion»
296	FUN%1776%553
297	FUN%1776%553
298	FUN%1776%553»
299	FUN%1776%554
300	FUN%1776%554
301	FUN%1776%554»
302	FUN%1776%555
303	FUN%1776%555
304	FUN%1776%556
305	FUN%~~1776~~%~~556~~	296	FUN%9968%684
		297	FUN%9968%684
		298	FUN%9968%684»
		299	FUN%9968%685
		300	FUN%9968%685
		301	FUN%9968%685»
		302	FUN%9968%686
		303	FUN%9968%686
		304	FUN%9968%687
		305	FUN%9968%687
306	» MK-FUNTYP	306	» MK-FUNTYP
307	» MK-LISTYP	307	» MK-LISTYP
308	» MK-FUNTYP	308	» MK-FUNTYP
309	» MK-LISTYP	309	» MK-LISTYP
310	» MK-FUNTYP	310	» MK-FUNTYP
311	» MK-LISTYP	311	» MK-LISTYP
312	» MK-LISTYP	312	» MK-LISTYP


Offset 162, 11 lines modified		Offset 162, 11 lines modified
162	.ARM.attributes	162	.ARM.attributes
163	COMMON-LISP-USER	163	COMMON-LISP-USER
164	COMMON-LISPPROGN»	164	COMMON-LISPPROGN»
165	SYSTEMSETVV	165	SYSTEMSETVV
166	MK-NULLTYP»	166	MK-NULLTYP»
167	ML-LIBRARY_PATHNAME»	167	ML-LIBRARY_PATHNAME»
168	/ind_defs/ind-defs»	168	/ind_defs/ind-defs»
169	FUN%2353%72»	169	FUN%381%100»
170	» print_lib»	170	» print_lib»
171	ML-GET_FLAG_VALUE»	171	ML-GET_FLAG_VALUE»
172	FUN%6925%57	172	FUN%5223%55