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

⊟

31.2 MB

/srv/reproducible-results/rbuild-debian/r-b-build.Q1RRxT31/b1/hol88_2.02.19940316-35.1_armhf.changes vs.

/srv/reproducible-results/rbuild-debian/r-b-build.Q1RRxT31/b2/hol88_2.02.19940316-35.1_armhf.changes ¶

⊟

1.27 KB

Files ¶

⊟

1.09 MB

hol88-doc_2.02.19940316-35.1_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 ¶

⊟

2.62 KB

file list ¶

⊟

881 B

⊟

531 KB

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

⊟

919 B

⊟

805 B

⊟

576 KB

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

⊟

1.72 KB

⊟

1.6 KB

⊟

1.68 KB

⊟

1.71 KB

⊟

1.59 KB

⊟

1.63 KB

⊟

1.52 KB

⊟

1.35 MB

hol88-library_2.02.19940316-35.1_armhf.deb ¶

⊟

367 B

file list ¶

⊟

675 B

control.tar.xz ¶

⊟

647 B

control.tar ¶

⊟

577 B

./control ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.35 MB

data.tar.xz ¶

⊟

1.35 MB

data.tar ¶

⊟

32.7 KB

file list ¶

⊟

26.5 KB

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

⊟

26.4 KB

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

⊟

9.24 KB

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

⊟

9.13 KB

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

⊟

10.8 KB

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

⊟

10.7 KB

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

⊟

4.78 KB

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

⊟

4.66 KB

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

⊟

4.3 KB

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

⊟

4.18 KB

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

⊟

1.68 KB

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

⊟

1.56 KB

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

⊟

1.73 KB

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

⊟

1.62 KB

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

⊟

11.8 KB

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

⊟

11.7 KB

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

⊟

3.61 KB

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

⊟

3.5 KB

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

⊟

3.82 KB

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

⊟

3.7 KB

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

⊟

3.35 KB

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

⊟

3.25 KB

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

⊟

7.31 KB

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

⊟

7.21 KB

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

⊟

6.53 KB

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

⊟

6.42 KB

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

⊟

6.12 KB

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

⊟

6.01 KB

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

⊟

12.2 KB

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

⊟

12.1 KB

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

⊟

6.55 KB

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

⊟

6.45 KB

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

⊟

5.02 KB

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

⊟

4.91 KB

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

⊟

1.09 KB

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

⊟

991 B

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

⊟

2.95 KB

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

⊟

2.83 KB

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

⊟

17.7 KB

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

⊟

17.6 KB

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

⊟

7.37 KB

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

⊟

7.25 KB

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

⊟

9.76 KB

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

⊟

9.63 KB

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

⊟

2.85 KB

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

⊟

2.73 KB

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

⊟

48.6 KB

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

⊟

48.5 KB

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

⊟

404 B

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

⊟

284 B

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

⊟

3.28 KB

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

⊟

3.17 KB

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

⊟

15.6 KB

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

⊟

15.5 KB

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

⊟

5.01 KB

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

⊟

4.89 KB

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

⊟

3.79 KB

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

⊟

3.67 KB

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

⊟

12.5 KB

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

⊟

12.4 KB

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

⊟

4.07 KB

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

⊟

3.94 KB

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

⊟

5.7 KB

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

⊟

5.57 KB

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

⊟

1.68 KB

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

⊟

1.55 KB

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

⊟

3.42 KB

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

⊟

3.29 KB

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

⊟

2.91 KB

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

⊟

2.79 KB

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

⊟

62.5 KB

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

⊟

62.4 KB

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

⊟

9.3 KB

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

⊟

9.2 KB

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

⊟

12.8 KB

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

⊟

12.7 KB

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

⊟

3.81 KB

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

⊟

3.71 KB

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

⊟

14.7 KB

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

⊟

14.6 KB

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

⊟

16.7 KB

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

⊟

16.6 KB

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

⊟

13.2 KB

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

⊟

13.1 KB

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

⊟

842 B

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

⊟

738 B

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

⊟

11.7 KB

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

⊟

11.6 KB

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

⊟

19.4 KB

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

⊟

19.3 KB

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

⊟

60.3 KB

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

⊟

60.2 KB

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

⊟

11.4 KB

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

⊟

11.3 KB

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

⊟

7.33 KB

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

⊟

7.22 KB

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

⊟

2.95 KB

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

⊟

2.84 KB

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

⊟

10.5 KB

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

⊟

10.4 KB

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

⊟

4.06 KB

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

⊟

3.92 KB

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

⊟

4.94 KB

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

⊟

4.81 KB

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

⊟

5.69 KB

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

⊟

5.55 KB

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

⊟

1.1 KB

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

⊟

987 B

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

⊟

5.84 KB

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

⊟

5.7 KB

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

⊟

1.32 KB

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

⊟

1.19 KB

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

⊟

1.5 KB

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

⊟

1.37 KB

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

⊟

45.6 KB

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

⊟

45.5 KB

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

⊟

18.0 KB

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

⊟

17.9 KB

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

⊟

14.9 KB

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

⊟

14.8 KB

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

⊟

17.7 KB

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

⊟

17.5 KB

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

⊟

21.5 KB

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

⊟

21.4 KB

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

⊟

71.7 KB

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

⊟

71.6 KB

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

⊟

23.2 KB

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

⊟

23.1 KB

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

⊟

5.01 KB

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

⊟

4.86 KB

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

⊟

3.7 KB

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

⊟

3.56 KB

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

⊟

12.4 KB

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

⊟

12.3 KB

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

⊟

1.62 KB

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

⊟

1.49 KB

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

⊟

7.75 KB

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

⊟

7.61 KB

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

⊟

33.7 KB

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

⊟

33.5 KB

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

⊟

41.9 KB

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

⊟

41.8 KB

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

⊟

19.3 KB

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

⊟

19.1 KB

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

⊟

3.21 KB

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

⊟

3.08 KB

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

⊟

37.2 KB

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

⊟

37.1 KB

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

⊟

8.77 KB

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

⊟

8.66 KB

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

⊟

3.62 KB

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

⊟

3.51 KB

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

⊟

2.61 KB

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

⊟

2.5 KB

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

⊟

13.3 KB

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

⊟

13.2 KB

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

⊟

31.7 KB

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

⊟

31.6 KB

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

⊟

11.4 KB

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

⊟

11.3 KB

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

⊟

7.26 KB

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

⊟

7.16 KB

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

⊟

2.96 KB

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

⊟

2.85 KB

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

⊟

2.16 KB

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

⊟

2.05 KB

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

⊟

1.56 KB

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

⊟

1.45 KB

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

⊟

2.78 KB

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

⊟

2.66 KB

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

⊟

1.44 KB

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

⊟

1.33 KB

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

⊟

17.6 KB

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

⊟

17.5 KB

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

⊟

4.56 KB

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

⊟

4.45 KB

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

⊟

20.3 KB

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

⊟

20.2 KB

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

⊟

6.93 KB

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

⊟

6.83 KB

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

⊟

8.59 KB

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

⊟

8.48 KB

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

⊟

1.35 KB

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

⊟

1.25 KB

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

⊟

13.8 KB

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

⊟

13.6 KB

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

⊟

20.1 KB

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

⊟

20.0 KB

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

⊟

699 B

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

⊟

591 B

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

⊟

8.73 KB

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

⊟

8.63 KB

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

⊟

30.0 KB

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

⊟

29.9 KB

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

⊟

11.5 KB

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

⊟

11.4 KB

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

⊟

8.72 KB

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

⊟

8.61 KB

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

⊟

16.4 KB

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

⊟

16.3 KB

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

⊟

21.8 KB

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

⊟

21.7 KB

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

⊟

36.4 KB

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

⊟

36.3 KB

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

⊟

603 B

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

⊟

485 B

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

⊟

835 B

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

⊟

713 B

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

⊟

11.4 KB

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

⊟

11.3 KB

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

⊟

21.6 KB

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

⊟

21.5 KB

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

⊟

5.29 KB

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

⊟

5.19 KB

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

⊟

1.28 KB

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

⊟

1.17 KB

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

⊟

36.4 KB

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

⊟

36.3 KB

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

⊟

1.18 KB

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

⊟

1.07 KB

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

⊟

3.09 KB

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

⊟

2.98 KB

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

⊟

18.0 KB

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

⊟

17.9 KB

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

⊟

318 KB

hol88-source_2.02.19940316-35.1_all.deb ¶

⊟

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.53 KB

⊟

677 B

⊟

535 B

⊟

58.2 KB

⊟

20.2 KB

⊟

5.19 KB

⊟

5.72 KB

⊟

892 B

⊟

176 KB

⊟

9.85 KB

⊟

3.96 KB

⊟

1.69 KB

⊟

14.1 KB

⊟

7.94 KB

⊟

6.74 KB

⊟

4.15 KB

⊟

28.4 MB

hol88_2.02.19940316-35.1_armhf.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

⊟

28.4 MB

data.tar.xz ¶

⊟

28.4 MB

data.tar ¶

⊟

8.71 MB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

197 KB

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

⊟

8.52 MB

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

⊟

17.9 MB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

459 KB

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

⊟

17.4 MB

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

⊟

1.84 MB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

25.9 KB

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

⊟

1.81 MB

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


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

1	·969b5a2563676068f8e212b626862b8a·24872·math·optional·hol88-contrib-help_2.02.19940316-35.1_all.deb	1	·969b5a2563676068f8e212b626862b8a·24872·math·optional·hol88-contrib-help_2.02.19940316-35.1_all.deb
2	·827546cc46b8c5375f9275d2347579b5·728160·math·optional·hol88-contrib-source_2.02.19940316-35.1_all.deb	2	·827546cc46b8c5375f9275d2347579b5·728160·math·optional·hol88-contrib-source_2.02.19940316-35.1_all.deb
3	·~~30927b72~~8~~699~~e~~0c48~~154~~e949bf8~~b8fdd·1065~~240~~·doc·optional·hol88-doc_2.02.19940316-35.1_all.deb	3	·c849c81efe7f371a942ad2150bbcfa41·1065308·doc·optional·hol88-doc_2.02.19940316-35.1_all.deb
4	·fdf998e9f6784e5842e6db3c56c8f181·210872·math·optional·hol88-help_2.02.19940316-35.1_all.deb	4	·fdf998e9f6784e5842e6db3c56c8f181·210872·math·optional·hol88-help_2.02.19940316-35.1_all.deb
5	·e745014a30abd133d9e6084e8931fe8f·228584·math·optional·hol88-library-help_2.02.19940316-35.1_all.deb	5	·e745014a30abd133d9e6084e8931fe8f·228584·math·optional·hol88-library-help_2.02.19940316-35.1_all.deb
6	·ca41b0bf2ac88fb7b46bbb7021fa1607·418428·math·optional·hol88-library-source_2.02.19940316-35.1_all.deb	6	·ca41b0bf2ac88fb7b46bbb7021fa1607·418428·math·optional·hol88-library-source_2.02.19940316-35.1_all.deb
7	·~~d94~~2eac~~8173b~~35f74~~4da9d~~8c0a60~~708~~9·3642604·math·optional·hol88-library_2.02.19940316-35.1_armhf.deb	7	·0e353e23df42a22b82001e1095f91ae9·3648300·math·optional·hol88-library_2.02.19940316-35.1_armhf.deb
8	·fd~~b9628510d88061092cef9e87~~774~~0d4~~·295544·math·optional·hol88-source_2.02.19940316-35.1_all.deb	8	·dacc83f2252c422d4b6b6da6f774a37a·295544·math·optional·hol88-source_2.02.19940316-35.1_all.deb
9	·61484b~~c3a13~~0c~~a247~~3~~b6fb80d62~~5~~c79e~~·5572836·math·optional·hol88_2.02.19940316-35.1_armhf.deb	9	·861944b6b79a063993a356574475f0bb·5575804·math·optional·hol88_2.02.19940316-35.1_armhf.deb


Offset 1, 3 lines modified		Offset 1, 3 lines modified
1	-rw-r--r--···0········0········0········4·2021-01-05·11:37:31.000000·debian-binary	1	-rw-r--r--···0········0········0········4·2021-01-05·11:37:31.000000·debian-binary
2	-rw-r--r--···0········0········0·····1236·2021-01-05·11:37:31.000000·control.tar.xz	2	-rw-r--r--···0········0········0·····1240·2021-01-05·11:37:31.000000·control.tar.xz
3	-rw-r--r--···0········0········0··1063812·2021-01-05·11:37:31.000000·data.tar.xz	3	-rw-r--r--···0········0········0··1063876·2021-01-05·11:37:31.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:·3031·2e30·363a·3134·3132·8b00·0000·0100··01.06:1~~412~~......		00000020:·3031·2e30·373a·3138·3033·8b00·0000·0100··01.07:1803......
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 15, 3939 lines modified		Offset 15, 3939 lines modified
000000e0:·0efb·5075·9906·8bb9·48ca·ab34·2981·c2c5··..Pu....H..4)...		000000e0:·0efb·5075·9906·8bb9·48ca·ab34·2981·c2c5··..Pu....H..4)...
000000f0:·f5ad·e7e2·e729·7e7c·b010·6efc·4ce4·e3e8··.....)~\|..n.L...		000000f0:·f5ad·e7e2·e729·7e7c·b010·6efc·4ce4·e3e8··.....)~\|..n.L...
00000100:·1fd8·8f8f·1d7d·4ac2·8b74·8e55·057b·77f9··.....}J..t.U.{w.		00000100:·1fd8·8f8f·1d7d·4ac2·8b74·8e55·057b·77f9··.....}J..t.U.{w.
00000110:·edf3·cdf8·3731·c1de·cff8·def3·f373·2f57··....71.......s/W		00000110:·edf3·cdf8·3731·c1de·cff8·def3·f373·2f57··....71.......s/W
00000120:·2315·6bd1·0bd2·f9be·c6c1·267e·127e·8912··#.k.......&~.~..		00000120:·2315·6bd1·0bd2·f9be·c6c1·267e·127e·8912··#.k.......&~.~..
00000130:·a165·550d·5a63·dcf8·b93f·17a5·c8a1·a330··.eU.Zc...?.....0		00000130:·a165·550d·5a63·dcf8·b93f·17a5·c8a1·a330··.eU.Zc...?.....0
Diff chunk too large, falling back to line-by-line diff (3931 lines added, 3931 lines removed)
00000140:·8bfe·edd8·7575·cd38·5de4·0134·e35f·c51d··....uu.8]..4._..		00000140:·8bfe·edd8·7575·cd38·5de4·0134·e35f·c51d··....uu.8]..4._..
00000150:·4f17·65b6·20a1·1ef6·5caf·e71e·9f79·~~871e~~··O.e.·...\....y..		00000150:·4f17·65b6·20a1·1ef6·5caf·e79e·9c79·1fdc··O.e.·...\....y..
00000160:·~~8e68~~·~~281e~~·~~a3e4~~·~~264f~~·~~83b1~~·~~28cf~~·~~7829~~·~~56bd~~··.~~h(..~~.&O..(.~~x)V.~~		00000160:·010e·563c·46c9·4d9e·0663·519e·f152·ac7a··..V<F.M..cQ..R.z
00000170:·~~2c4f~~·~~71d4~~·~~ecdd~~·4fcc·~~81a6~~·~~9751~~·50f2·~~81eb~~··~~,Oq~~...O..~~..QP~~...		00000170:·599e·e2a8·d9bb·9f98·034d·2fa3·a0e4·03d7··Y........M/.....
00000180:·f210·~~0ba1~~·~~9872~~·0~~39c~~·~~6053~~·~~6724~~·0~~1b6~~·~~817~~f··.....r..`Sg$....		00000180:·e521·1642·31e5·0638·c1a6·ce48·026c·03ff··.!.B1..8...H.l..
00000190:·~~ce50~~·~~4ea2~~·~~2444~~·~~94cd~~·~~c819~~·~~4bb1~~·~~0a66~~·50b8··.PN.$D....K..~~fP.~~		00000190:·9ca1·9c44·4988·289b·9133·9662·15cc·a070··...DI.(..3.b...p
000001a0:·~~9363~~·~~36da~~·~~0c9d~~·7319·~~2e32~~·~~787e~~·~~bd95~~·~~65ee~~··.c6...s..2x~..e.		000001a0:·27c7·6cb4·193a·e732·5c64·f0fc·7a2b·cbdc··'.l..:.2\d..z+..
000001b0:·~~2745~~·~~0cb3~~·0~~4d5~~·~~5111~~·~~177c~~·~~eac7~~·~~85e0~~·~~2367~~··'E....Q..\|....#g		000001b0:·4f8a·1866·09aa·a322·2ef8·d48f·0bc1·47ce··O..f..."......G.
000001c0:·~~598~~0·~~c460~~·baf8·~~499f~~·cf17·~~314~~0·6604·f~~9d0~~··Y..`..I...~~1@f~~...		000001c0:·b200·89c1·74f1·933e·9f2f·6280·cc08·f2a1··....t..>./b.....
000001d0:·3b02·1053·a018·0~~492~~·~~c58b~~·~~e2d4~~·~~95d4~~·8efa··;.~~.S..~~..........		000001d0:·7704·20a6·4031·0824·8b17·c5a9·2ba9·1df5··w.·.@1.$....+...
000001e0:·f~~e08~~·~~4a13~~·~~2512~~·~~a9c9~~·~~7b97~~·~~5b38~~·~~1e3f~~·f036··..J.%...{.[~~8.?~~.6		000001e0:·fd11·9426·4a24·5293·f72e·b770·3c7e·e06d··...&J$R....p<~.m
000001f0:·~~f2c0~~·~~e3de~~·~~269a~~·~~0aec~~·~~c765~~·30bc·~~8720~~·4d02··....&....~~e0.~~.·M.		000001f0:·e481·c7bd·4d34·15d8·8fcb·6078·0f41·9a04··....M4....`x.A..
00000200:·bf04·~~1876~~·~~762b~~·~~8a34~~·~~5ea~~0·~~f2c0~~·~~3097~~·08f9··..~~.vv+~~.~~4^.~~..0...		00000200:·7e09·30ec·ec56·1469·bc40·e581·612e·11f2··~.0..V.i.@..a...
00000210:·d602·~~25e2~~·~~9117~~·~~3841~~·9cfa·~~6056~~·~~0f36~~·~~2ab4~~··..%...8A..`V.~~6*.~~		00000210:·ad05·4ac4·232f·7082·38f5·c1ac·1e6c·5468··..J.#/p.8....lTh
00000220:·~~446c~~·~~351~~0·~~e4d7~~·~~e524~~·0~~769~~·~~e11c~~·~~6824~~·~~1a1b~~··~~Dl5.~~...$.i.~~.h$..~~		00000220:·89d8·6a20·c8af·cb49·0ed2·c239·d048·3436··..j·...I...9.H46
00000230:·~~0dca~~·~~35ac~~·~~7dbd~~·~~4586~~·~~2c5c~~·~~9bb6~~·~~226a~~·~~5a7b~~··..5.}.E.~~,\.."jZ{~~		00000230:·1a94·6b58·fb7a·8b0c·59b8·366d·45d4·b4f6··..kX.z..Y.6mE...
00000240:·~~dc0~~f·~~43ea~~·~~e2eb~~·~~ed3d~~·9bfb·~~651e~~·~~ad78~~·b0c8··..C....=..e..x..		00000240:·b81f·86d4·c5d7·db7b·36f7·cb3c·5af1·6091··.......{6..<Z.`.
00000250:·~~735~~0·~~31f5~~·~~26cf~~·f~~939~~·~~cf51~~·~~9979~~·~~b198~~·~~707f~~··~~sP1~~.&..9.Q.y..p.		00000250:·e7a0·62ea·4d9e·f373·9ea3·32f3·6231·e1fe··..b.M..s..2.b1..
00000260:·~~527~~0·~~b7e7~~·~~c29~~f·~~c7e3~~·~~5252~~·0~~5f4~~·~~b699~~·~~a6b9~~··~~Rp.~~.....RR..~~....~~		00000260:·a4e0·6ecf·853f·8fc7·a5a4·0ae8·6d33·4d73··..n..?......m3Ms
00000270:·1fc7·~~0a91~~·~~21b3~~·~~ba0d~~·~~161f~~·~~0aa1~~·~~89c1~~·~~547d~~··...~~.!..~~.......T}		00000270:·3f8e·1522·4366·751b·2c3e·1442·1383·a9fa··?.."Cfu.,>.B....
00000280:·~~c431~~·~~830c~~·~~3221~~·~~d5b4~~·~~9539~~·~~d818~~·~~ceed~~·~~475~~0··.1..2!.~~..9~~....GP		00000280:·8863·0619·6442·aa69·2b73·b031·9cdb·8fa0··.c..dB.i+s.1....
00000290:·~~d285~~·1f4f·~~8508~~·~~252b~~·~~4abf~~·~~5c14~~·~~a82d~~·~~4e0d~~··...O..~~%+J~~.\.~~.-N~~.		00000290:·a40b·3f9e·0a11·4a56·947e·b928·505b·9c1a··..?...JV.~.(P[..
000002a0:·~~56b8~~·~~a082~~·~~881d~~·~~a459~~·~~240a~~·e9fc·~~8b2a~~·f03b··~~V..~~..~~..Y$~~....*.;		000002a0:·ac70·4105·113b·48b3·4814·d2f9·1755·e077··.pA..;H.H....U.w
000002b0:·005e·5dfb·~~e5bd~~·~~47e6~~·~~764~~0·8f07·~~3672~~·~~ae86~~··.^]...G.v@..6r..		000002b0:·00bc·baf6·cb7b·8fcc·ed80·1e0f·6ce4·5c0d··.....{......l.\.
000002c0:·c37b·9760·eec3·c849·~~1228~~·8c9c·cf9f·~~d433~~··.{.`...~~I.(~~.....3		000002c0:·87f7·2ec1·dc87·9193·2450·1839·9f3f·a967··........$P.9.?.g
000002d0:·~~2873~~·~~7a86~~·~~d383~~·~~d28~~f·~~6289~~·~~f51~~f·~~9496~~·~~8e38~~··~~(sz~~.....b..~~...~~.8		000002d0:·50e6·f40c·a707·a51f·c512·eb3f·282d·1d71··P..........?(-.q
000002e0:·~~9449~~·~~3d99~~·~~83a6~~·f~~a75~~·~~9d09~~·3e00·~~5c7c~~·~~b956~~··.I=....u..>.\\|.V		000002e0:·2893·7a32·074d·f5eb·3a13·7c00·b8f8·72ad··(.z2.M..:.\|...r.
000002f0:·~~a29a~~·~~2665~~·~~bed2~~·~~a021~~·~~983a~~·~~87ce~~·~~a061~~·0~~195~~··.~~.&e~~...~~!.:.~~..a..		000002f0:·4435·4dca·7ca5·4143·3075·0e9d·41c3·022a··D5M.\|.AC0u..A..*
00000300:·~~c9a3~~·~~33f1~~·6136·~~eeb8~~·9fe7·f~~e9a~~·~~39c3~~·~~085a~~··..3.a6......9..Z		00000300:·9347·67e2·c36c·dc71·3fcf·fd35·7386·11b4··.Gg..l.q?..5s...
00000310:·~~81ed~~·~~dd39~~·~~c345~~·~~1487~~·~~1733~~·~~3f97~~·f~~841~~·~~6f22~~··...9.E..~~.3?~~..~~Ao"~~		00000310:·02db·bb73·868b·280e·2f66·7e2e·f183·de44··...s..(./f~....D
00000320:·0~~7d9~~·~~7c4a~~·~~8214~~·7d06·~~47ee~~·~~4668~~·a4fc·~~5c3a~~··..\|J..}.G.Fh..\:		00000320:·0eb2·f994·0429·fa0c·8edc·8dd0·48f9·b974··.....)......H..t
00000330:·~~d334~~·~~e520~~·~~c129~~·~~74b1~~·~~e933~~·~~22c6~~·~~61cc~~·~~f0b1~~··.4.·.~~)t.~~.3".a...		00000330:·a669·ca41·8253·e862·d367·448c·c398·e163··.i.A.S.b.gD....c
00000340:·~~84ae~~·~~799c~~·f~~a21~~·0c01·7805·~~c198~~·~~f1dc~~·~~8330~~··.~~.y.~~.!..x......0		00000340:·095d·f338·f543·1802·f00a·8231·e3b9·0761··.].8.C.....1...a
00000350:·~~8aa9·~~1~~e99~~·~~c4a~~2·0745·~~c52d~~·0a89·~~8f98~~·1e31·~~·..~~.~~...~~.E.-.....1		00000350:·1453·3d32·8945·0f8a·8a5b·1412·1f31·3d62··.S=2.E...[...1=b
00000360:·2086·~~d342~~·~~8232~~·20d6·~~9dc2~~·~~b9a7~~·~~b62e~~·8707···..B.2·...~~....~~..		00000360:·400c·a785·0465·40ac·3b85·734f·6d5d·0e0f··@....e@.;.sOm]..
00000370:·~~aa2c~~·~~498e~~·~~d70d~~·3ec9·~~2ccd~~·~~b0c7~~·7306·6603··~~.,I~~...>.,...s.f.		00000370:·5459·921c·af1b·7c92·599a·618f·e70c·cc06··TY....\|.Y.a.....
00000380:·6e05·~~79ab~~·~~781c~~·~~3a17~~·~~cff2~~·0~~258~~·~~e7b1~~·481e··n.y.x.:....X..H.		00000380:·dc0a·f256·f138·742e·9ee5·05b0·ce63·913c··...V.8t......c.<
00000390:·~~cb19~~·f~~84e~~·~~d49c~~·~~4741~~·~~55b3~~·~~46d5~~·~~a1a9~~·~~6258~~··...N..~~GAU~~.F..~~.bX~~		00000390:·9633·f09d·a839·8f82·aa66·8daa·4353·c5b0··.3...9...f..CS..
000003a0:·~~b792~~·5eff·0~~3b7~~·eb07·~~a61e~~·~~9f88~~·~~b26e~~·~~34ef~~··~~..^~~.....~~...~~.~~.n4~~.		000003a0:·6e25·bdfe·076e·d70f·4c3d·3e11·65dd·68de··n%...n..L=>.e.h.
000003b0:·~~57d5~~·5eff·~~8450~~·~~18e~~0·~~84ab~~·0~~692~~·~~6777~~·~~1fa9~~··W.^..P......gw..		000003b0:·afaa·bdfe·09a1·30c0·0957·0d24·cfee·3e52··......0..W.$..>R
000003c0:·~~aa12~~·~~e6d2~~·~~51b3~~·~~8445~~·~~18a5~~·~~44c9~~·0~~112~~·~~491~~0··....Q..E..D..~~.I.~~		000003c0:·5525·cca5·a366·098b·304a·8992·0324·9220··U%...f..0J...$.·
000003d0:·f~~e31~~·~~651a~~·~~2354~~·~~6e64~~·~~bb9a~~·~~2759~~·f~~84b~~·d403··.1e.~~#Tnd~~.~~.'Y~~.K..		000003d0:·fc63·ca34·46a8·dcc8·7635·4fb2·f097·a807··.c.4F...v5O.....
000003e0:·~~0f34~~·~~1c34~~·~~7ecc~~·cfd5·~~3c23~~·~~177d~~·~~0ebe~~·~~4bac~~··.~~4.4~~~...<#.}..K.		000003e0:·1e68·3868·fc98·9fab·7946·2efa·1c7c·9758··.h8h....yF...\|.X
000003f0:·~~a83c~~·~~ae67~~·~~9c5e~~·~~8938~~·~~747e~~·~~c741~~·~~7866~~·~~9e60~~··.<.g.^.~~8t~~~.~~Axf.`~~		000003f0:·5179·5ccf·38bd·1271·e8fc·8e83·f0cc·3cc1··Qy\.8..q......<.
00000400:·b02b·~~785e~~·acf8·~~c59a~~·5fcc·~~8853~~·~~7c79~~·a6ce··~~.+x^~~...._..~~S\|y~~..		00000400:·6057·f0bc·58f1·8b35·bf98·11a7·f8f2·4c9d··`W..X..5......L.
00000410:·2fd6·~~0c84~~·1af8·~~c14c~~·~~8462~~·1905·0~~22b~~·000b··/......L.b...+..		00000410:·5fac·1908·35f0·8399·08c5·320a·0456·0016··_...5.....2..V..
00000420:·~~cda0~~·~~56f3~~·0~~38c~~·~~782b~~·~~d574~~·~~cd7b~~·~~34dc~~·0~~779~~··..V...x+.t.{4..y		00000420:·9a41·ade6·0718·f156·aae9·9af7·68b8·0ff2··.A.....V....h...
00000430:·~~116d~~·~~a239~~·b8f8·~~b95~~f·~~3cb1~~·~~5c14~~·1028·0~~50c~~··.~~m.9~~..._<.\~~..(~~..		00000430:·22da·4473·70f1·73bf·7862·b928·2050·0a18··".Dsp.s.xb.(·P..
00000440:·~~e452~~·~~3a41~~·003c·~~748a~~·e001·f~~d46~~·~~92d4~~·e301··.~~R:A~~.<t....F....		00000440:·c8a5·7482·0078·e814·c103·fa8d·24a9·c703··..t..x......$...
00000450:·~~5464~~·~~149d~~·~~7e92~~·~~b4c7~~·~~8335~~·~~634e~~·aa05·6d~~cf·~~·Td..~....~~5cN.~~.m.		00000450:·a8c8·283a·fd24·698f·076b·c69c·540b·da9e··..(:.$i..k..T...
00000460:·db02·~~3faf~~·~~a431~~·~~5613~~·~~3825~~·8f03·~~b418~~·~~7663~~··..~~?..1V.8%~~..~~..vc~~		00000460:·b705·7e5e·4963·ac26·704a·1e07·6831·ecc6··..~^Ic.&pJ..h1..
00000470:·~~9415~~·f~~f19~~·~~510f~~·~~9dc~~f·~~12ba~~·~~54af~~·97f~~0·3a4~~9··~~...~~.Q.....T...:I		00000470:·282b·fe33·a21e·3a9f·2574·a95e·2fe1·7592··(+.3..:.%t.^/.u.
00000480:·~~33b9~~·~~2844~~·~~4e7e~~·005e·~~0e66~~·69fa·~~c49~~f·~~92f4~~··~~3.(DN~~~.^.fi.....		00000480:·6672·5188·9cfc·00bc·1ccc·d2f4·893f·25e9··frQ..........?%.
00000490:·~~3991~~·~~ccbc~~·0~~335~~·67fc·~~99d3~~·~~b48c~~·~~b8f2~~·~~e124~~··9....5g........$		00000490:·7322·9979·076a·cef8·33a7·6919·71e5·c349··s".y.j..3.i.q..I
000004a0:·~~9b79~~·~~ba14~~·~~65ea~~·~~7ce3~~·~~5d7e~~·0df8·~~f388~~·af73··.y..e.\|.]~.....s		000004a0:·36f3·7429·cad4·f9c6·bbfc·1af0·e711·5fe7··6.t).........._.
000004b0:·~~729e~~·~~e4b2~~·5c05·207f·~~882c~~·~~f44e~~·~~4fd1~~·c939··r...\.·..,.NO..9		000004b0:·e43c·c965·b90a·40fe·1059·e89d·9ea2·9373··.<.e..@..Y.....s
000004c0:·7ff9·~~b691~~·~~ceed~~·~~37e3~~·5fc9·~~e230~~·~~86a1~~·~~15c~~0··......7._..0....		000004c0:·fef2·6d23·9ddb·6fc6·bf92·c561·0c43·2b80··..m#..o....a.C+.
000004d0:·3fb0·5c01·~~8c32~~·6042·~~0b9a~~·57~~4c·~~8b26·d3a2··?.\..~~2`B~~..WL.&..		000004d0:·7f60·b902·1865·c084·1634·af98·164d·a645··.`...e...4...M.E
000004e0:·~~e699~~·~~17b3~~·~~f419~~·~~8330~~·~~3a45~~·7077·~~7929~~·~~59d5~~··.~~...~~...~~0:Epwy)Y~~.		000004e0:·cd33·2f66·e933·0661·748a·e0ee·f252·b2aa··.3/f.3.at....R..
000004f0:·~~8cde~~·~~ed86~~·~~358~~0·8407·~~1a64~~·~~3bf5~~·~~3bc7~~·~~7e61~~··....5...~~.d;~~.;.~a		000004f0:·19bd·db0d·6b00·090f·34c8·76ea·778e·fdc2··....k...4.v.w...
00000500:·~~9e4b~~·~~9176~~·~~e940~~·0807·~~1d8~~0·~~6a74~~·28fd·~~a363~~··.K.v.@....~~jt(~~..c		00000500:·3c97·22ed·d281·100e·3a00·d5e8·50fa·47c7··<.".....:...P.G.
00000510:·~~e58a~~·~~404a~~·~~7ded~~·~~a260~~·~~c890~~·~~d01c~~·~~1d49~~·4400··..@J}..`...~~..ID~~.		00000510:·ca15·8194·fada·45c1·9021·a139·3a92·8800··......E..!.9:...
00000520:·~~55e6~~·~~8363~~·~~9786~~·~~3e38~~·~~86cc~~·~~464d~~·~~5fb~~0·~~cc0b~~··U..c..>8..~~FM_.~~..		00000520:·aacc·07c7·2e0d·7d70·0c99·8d9a·be60·9917··......}p.....`..
00000530:·f~~820~~·f~~f82~~·~~7e9e~~·~~867d~~·~~7c74~~·~~f2c1~~·~~eb9d~~·~~1c53~~··.·..~..~~}\|t~~...~~..S~~		00000530:·f041·fe05·fd3c·0dfb·f8e8·e483·d73b·39a6··.A...<.......;9.
00000540:·~~372a~~·~~a6dc~~·~~3581~~·~~2ae8~~·~~de6d~~·~~46cc~~·~~0923~~·~~5476~~··~~7.~~.5...mF..~~#Tv~~		00000540:·6e54·4cb9·6b02·55d0·bddb·8c98·1346·a8ec··nTL.k.U......F..
00000550:·~~8cb0~~·~~e17a~~·~~2deb~~·~~57f4~~·~~3deb~~·5201·3c03·~~2835~~··...z-.W.=.R.<.(5		00000550:·1861·c3f5·5ad6·afe8·7bd6·a502·7806·506a··.a..Z...{...x.Pj
00000560:·~~46bf~~·0~~268~~·8c01·~~538~~0·~~4caa~~·~~6af1~~·~~873c~~·~~3875~~··F..h..S.L.j..~~<8u~~		00000560:·8c7e·05d0·1803·a600·9954·d5e2·0f79·70ea··.~.......T...yp.
00000570:·~~c10a~~·~~2154~~·~~0892~~·~~26af~~·~~5e37~~·~~8433~~·~~e8c6~~·6106··..!T..&.^7.3..a.		00000570:·8215·42a8·1024·4d5e·bd6e·0867·d08d·c30c··..B..$M^.n.g....
00000580:·0~~7df~~·~~f5a4~~·~~9ac7~~·~~c8b9~~·~~dd8a~~·~~2123~~·~~6778~~·~~9982~~··..........~~!#gx.~~.		00000580:·0ebe·eb49·358f·9173·bb15·4346·cef0·3205··...I5..s..CF..2.
00000590:·~~7183~~·~~68b4~~·d400·~~0bcc~~·~~1662~~·~~cbed~~·~~9a7c~~·~~ec37~~··q.h......b...\|.7		00000590:·e306·d168·a901·1698·2dc4·96db·35f9·d86f··...h....-...5..o
000005a0:·~~097c~~·~~dd7e~~·~~7396~~·~~1221~~·~~7758~~·~~7bc7~~·bf6d·~~86bc~~··.\|.~s.~~.!wX{~~..m..		000005a0:·12f8·bafd·e62c·2542·eeb0·f68e·7fdb·0c79··.....,%B.......y
000005b0:·~~0e63~~·~~3ad1~~·~~81bc~~·~~285c~~·c0db·~~f34c~~·e402·~~dd28~~··.c:..~~.(\~~...L...(		000005b0:·1dc6·74a2·0379·51b8·80b7·e799·c805·ba51··..t..yQ........Q
000005c0:·~~a3f4~~·~~e37e~~·~~ef32~~·~~2ab2~~·~~d85~~f·~~efe~~f·~~8dc4~~·~~ddd7~~··...~.~~2*.~~._......		000005c0:·46e9·c7fd·de65·5464·b1bf·dedf·1b89·bbaf··F....eTd........
000005d0:·f~~dbd~~·2f60·82f9·6f79·0~~439~~·~~19f7~~·~~8e1d~~·~~48c8~~··.~~./`~~..oy.9....H.		000005d0:·fb7b·5fc0·04f3·dff2·0872·32ee·1d3b·9090··.{_......r2..;..
000005e0:·~~f61~~f·~~6465~~·~~6186~~·~~8a7e~~·~~8dc1~~·f~~c58~~·~~ab4a~~·~~2b34~~··..~~dea~~..~...X.J+4		000005e0:·ed3f·c8ca·c20c·15fd·1a83·f9b1·5695·5668··.?..........V.Vh
000005f0:·~~3d4~~0·~~aba3~~·0~~428~~·~~2d21~~·0906·~~89e0~~·f~~c51~~·~~2415~~··~~=@..~~.~~(-!~~.....~~Q$.~~		000005f0:·7a80·5647·0950·5a42·120c·12c1·f9a3·482a··z.VG.PZB......H*
00000600:·~~ab08~~·~~7397~~·~~0d42~~·8c00·~~988a~~·~~e41b~~·~~9d16~~·~~6995~~··..s..B......~~..i~~.		00000600:·5611·e62e·1b84·1801·3015·c937·3a2d·d22a··V.......0..7:-.*
00000610:·~~8750~~·~~24e5~~·~~2399~~·~~d8d7~~·~~5bf2~~·~~38f~~0·3f94·~~3c34~~··.P$.#...[.8.~~?.<4~~		00000610:·0fa1·48ca·4732·b1af·b7e4·71e0·7f28·7968··..H.G2....q..(yh
00000620:·~~764a~~·~~686~~0·~~c830~~·~~7495~~·~~83a1~~·~~0825~~·~~43a1~~·~~d53e~~··~~vJh`~~.~~0t.~~...~~%C.~~.>		00000620:·ec94·d0c0·9061·e82a·0743·114a·8642·ab7d··.....a.*.C.J.B.}
00000630:·~~883~~f·~~1a27~~·~~b4e9~~·a4a4·~~da2b~~·~~5a48~~·~~b5a6~~·~~c4e4~~··.~~?.'.~~....~~+ZH..~~..		00000630:·107f·344e·68d3·4949·b557·b490·6a4d·89c9··..4Nh.II.W..jM..
00000640:·~~4e4a~~·~~9abb~~·~~2158~~·~~a8a6~~·~~9908~~·b0a9·125~~d·2~~4~~64·~~·NJ.~~.!X~~....~~...]$d~~		00000640:·9d94·3477·43b0·504d·3311·6053·25ba·48c8··..4wC.PM3.`S%.H.
00000650:·~~8730~~·~~94b9~~·~~9587~~·~~b0ba~~·~~c8a3~~·~~1a41~~·~~b909~~·6400··.~~0..~~.......A..d.		00000650:·0e61·2873·2b0f·6175·9147·3582·7213·c800··.a(s+.au.G5.r...
00000660:·~~1425~~·~~8668~~·~~5662~~·~~ea0a~~·~~cc60~~·~~e833~~·00a8·~~a548~~··.%.~~hVb~~...`.3.~~..H~~		00000660:·284a·0cd1·acc4·d415·98c1·d067·0050·4b91··(J.........g.PK.
00000670:·~~c80c~~·601a·~~81f3~~·7fac·~~1dab~~·2f15·~~1dd4~~·~~5811~~··..`....~~.../..~~.X.		00000670:·9019·c034·02e7·ff58·3b56·5f2a·3aa8·b122··...4...X;V_*:.."
00000680:·~~973e~~·e905·~~a514~~·~~e71a~~·7087·~~f40d~~·~~1273~~·~~aee5~~··.>......p....s..		00000680:·2e7d·d20b·4a29·ce35·e00e·e91b·24e6·5ccb··.}..J).5....$.\.
00000690:·~~9867~~·~~5c55~~·~~a1c5~~·~~e9d8~~·~~3a21~~·b07e·~~09e4~~·~~c121~~··.~~g\U~~...~~.:!~~.~...!		00000690:·31cf·b8aa·428b·d3b1·7542·60fd·12c8·8343··1...B...uB`....C
000006a0:·~~bf46~~·~~92f2~~·~~604~~0·0~~521~~·0ffa·~~5498~~·~~6236~~·~~7a8d~~··.F..`@.!..~~T.b6z~~.		000006a0:·7e8d·24e5·c180·0a42·1ef4·a930·c56c·f41a··~.$....B...0.l..
000006b0:·~~f1ee~~·~~51ba~~·0~~499~~·~~498f~~·~~9e91~~·~~5418~~·~~bf4b~~·~~d5e4~~··..Q...I...T..K..		000006b0:·e3dd·a374·0932·931e·3d23·a930·7e97·aac9··...t.2..=#.0~...
000006c0:·~~492a~~·~~1acf~~·~~d2ea~~·df89·~~65c6~~·81f8·~~3314~~·~~e732~~··~~I*.~~.....e...3..2		000006c0:·9354·349e·a5d5·bf13·cb8c·03f1·6728·ce65··.T4.........g(.e
000006d0:·~~634~~0·~~1e8b~~·~~0942~~·f~~b54~~·~~4cb1~~·~~e851~~·~~1154~~·~~86ab~~··c@...B.TL..Q.T..		000006d0:·c680·3c16·1384·f6a9·9862·d1a3·22a8·0c57··..<......b.."..W
000006e0:·~~520e~~·~~2555~~·~~5d4~~0·~~49b5~~·~~29a1~~·~~a408~~·~~ad24~~·~~24c5~~··R.~~%U]@I.)..~~.~~.$$~~.		000006e0:·a51c·4aaa·ba80·926a·5342·4911·5a49·488a··..J....jSBI.ZIH.
000006f0:·~~63ab~~·~~9335~~·b0d0·~~5771~~·~~32e3~~·~~3e39~~·~~74c8~~·~~d8c6~~··~~c..5.~~.~~Wq2~~.~~>9t~~...		000006f0:·c756·276b·60a1·afe2·64c6·7d72·e890·b18d··.V'k`...d.}r....
00000700:·~~63ed~~·~~ac71~~·3c00·80f7·~~4a8e~~·~~a869~~·~~4cad~~·~~74f4~~··c..~~q<.~~..J..iL.t.		00000700:·c7da·59e3·7800·00ef·951c·51d3·985a·e9e8··..Y.x.....Q..Z..
00000710:·~~7a62~~·~~6b79~~·~~110f~~·~~267e~~·f004·7807·~~b496~~·~~a997~~··~~zbky.~~.&~..x.~~....~~		00000710:·f5c4·d6f2·221e·4cfc·e009·f00e·682d·532f··....".L.....h-S/
00000720:·~~1aef~~·~~e07~~f·f~~e75~~·~~1615~~·905d·e3fc·08fe·f~~70e~~··.....~~u..~~.]......		00000720:·35de·c1ff·fceb·2c2a·20bb·c6f9·11fc·ef1d··5.....,*·.......
00000730:·~~dc3~~f·~~bf47~~·~~b447~~·~~9188~~·~~1c9c~~·~~40c8~~·9f23·~~5497~~··.?.G.G....@..#T.		00000730:·b87f·7e8f·688f·2211·3938·8190·3f47·a82e··..~.h.".98..?G..
00000740:·~~99e0~~·~~611a~~·a079·~~671c~~·~~dc68~~·~~1c95~~·~~eb5e~~·~~4551~~··..a..yg..h...^EQ		00000740:·33c1·c334·40f3·ce38·b8d1·382a·d7bd·8aa2··3..4@..8..8*....
00000750:·f094·~~a20a~~·~~984~~f·~~41eb~~·~~21a2~~·~~5ef~~0·~~67b~~0·~~e133~~··.....OA.!.^.g..3		00000750:·e029·4515·309f·82d6·4344·bde0·cf60·c367··.)E.0...CD...`.g
00000760:·~~8d55~~·~~f734~~·~~133e~~·~~a409~~·~~bdb0~~·~~5c71~~·~~5895~~·~~21f5~~··.U.~~4.>.~~.~~..\qX.!~~.		00000760:·1aab·ee69·267c·4813·7a61·b9e2·b02a·43ea··...i&\|H.za...*C.
00000770:·~~3443~~·~~c70c~~·~~6bab~~·bfab·~~baf7~~·~~c4cc~~·9ff7·~~b11d~~··4C..k...........		00000770:·6986·8e19·d656·7f57·75ef·8999·3fef·633b··i....V.Wu...?.c;
00000780:·f~~eab~~·~~d7ab~~·~~7b17~~·f~~bdc~~·~~3b3d~~·~~750f~~·7091·493d··....{...~~;=u~~.~~p.I=~~		00000780:·fc57·af57·f72e·f6b9·777a·ea1e·e022·937a··.W.W....wz...".z
00000790:·~~7ff1~~·~~71e5~~·0~~583~~·ff5d·04a5·~~69f~~0·~~b984~~·~~98b6~~··..q....]..i.....		00000790:·fee2·e3ca·0b06·ffbb·084a·d3e0·7309·316d··.........J..s.1m
000007a0:·0~~697~~·0~~29e~~·~~1679~~·~~9e2c~~·7024·9058·~~3be~~0·~~9ee7~~··.....~~y.,p$~~.X;...		000007a0:·0d2e·053c·2df2·3c59·e048·20b1·76c0·3dcf··...<-.<Y.H·.v.=.
000007b0:·~~9043~~·~~4e23~~·7807·6507·~~ef81~~·~~4383~~·~~654a~~·~~1811~~··~~.CN#x~~.e...C.~~eJ..~~		000007b0:·2187·9c46·f00e·ca0e·de03·8706·cb94·3022··!..F..........0"
000007c0:·~~0f3c~~·~~9d22~~·~~81b2~~·~~4d99~~·df2c·~~2671~~·~~14f~~0·2f90··.~~<."~~.~~.M.~~.~~,&q.~~./.		000007c0:·1e78·3a45·0265·9b32·bf59·4ce2·28e0·5f20··.x:E.e.2.YL.(._·
000007d0:·~~6524~~·6052·~~7b5f~~·~~6e6e~~·~~beec~~·bfe7·02f8·0~~722~~··~~e$`R{_nn.~~......"		000007d0:·cb48·c0a4·f6be·dcdc·7cd9·7fcf·05f0·0f44··.H......\|......D
000007e0:·~~4b58~~·~~1a62~~·~~6cf1~~·~~7a83~~·~~a022~~·0~~152~~·~~8e35~~·3a74··KX.bl.z..".R.~~5:t~~		000007e0:·96b0·34c4·d8e2·f506·4145·02a4·1c6b·74e8··..4.....AE...kt.
000007f0:·bb07·~~59e5~~·~~1aa4~~·~~a347~~·~~bb0~~f·~~ecac~~·~~39ae~~·cfaa··..Y....G...~~.9.~~..		000007f0:·760f·b2ca·3548·478f·761f·d859·735c·9f55··v...5HG.v..Ys\.U
00000800:·~~d63d~~·~~4e23~~·~~4258~~·~~4143~~·~~3154~~·~~d369~~·~~931a~~·~~ce60~~··.~~=N#BXAC1T~~.~~i..~~.`		00000800:·ad7b·9c46·84b0·8286·62a8·a6d3·2635·9cc1··.{.F....b...&5..
00000810:·~~423c~~·~~a29c~~·cfcc·~~a8e1~~·6f56·~~9659~~·~~71e6~~·~~38b8~~··~~B<.~~.....oV.Yq.8.		00000810:·8478·4439·9f99·51c3·dfac·2cb3·e2cc·7170··.xD9..Q...,...qp
00000820:·~~d845~~·~~3aab~~·~~834c~~·~~f1d~~f·~~4bf3~~·~~4727~~·~~ceb2~~·~~b857~~··.~~E:.~~.L..K.G'.~~..W~~		00000820:·b18b·7456·0799·e2bf·97e6·8f4e·9c65·71af··..tV.......N.eq.
00000830:·~~ae2a~~·~~3191~~·~~2e9~~0·~~22c~~0·~~3383~~·0~~0aa~~·~~7a12~~·fc4f··~~.*1..."~~.3...z..O		00000830:·5c55·6222·5d20·4580·6706·0154·f524·f89f··\Ub"]·E.g..T.$..
00000840:·~~d56c~~·~~f109~~·~~4829~~·~~167f~~·~~e27b~~·~~c8da~~·6f69·f~~e84~~··.l..~~H).~~..{..oi..		00000840:·aad9·e213·9052·2cfe·c4f7·90b5·dfd2·fc09··.....R,.........
00000850:·~~5dd3~~·~~e091~~·0~~288~~·~~94e3~~·~~ba46~~·~~cd37~~·3105·~~c354~~··]........F.71..T		00000850:·bba6·c123·0510·29c7·758d·9a6f·620a·86a9··...#..).u..ob...
00000860:·6d20·4d28·caf6·~~1c94~~·2938·5b90·~~58cf~~·~~f070~~··m·M(...~~.)8[~~.X..p		00000860:·da40·9a50·94ed·3928·5370·b620·b19e·e1e1··.@.P..9(Sp.·....
00000870:·~~8523~~·~~e8d4~~·~~0ee6~~·0~~469~~·~~9ce6~~·~~bd22~~·e092·6f30··.#.....i...".~~.o0~~		00000870:·0a47·d0a9·1dcc·09d2·38cd·7b45·c025·df60··.G......8.{E.%.`
00000880:·~~dab1~~·~~c6a2~~·~~9816~~·c~~e84·~~5208·609e·~~7625~~·0013··..~~...~~...R.`.v%..		00000880:·b463·8d45·312d·9c09·a510·c03c·ed4a·0026··.c.E1-.....<.J.&
00000890:·~~3342~~·0~~4ea~~·~~2668~~·~~2fe4~~·cc01·f~~e18~~·~~a713~~·~~3f66~~··3B..~~&h/~~....~~...?f~~		00000890:·6684·08d4·4dd0·5ec8·9903·fc31·4e27·7ecc··f...M.^....1N'~.
000008a0:·~~4e16~~·~~4e7b~~·~~aa4c~~·~~91e7~~·~~b05a~~·~~75ab~~·~~60d3~~·~~460d~~··N.N{.L...Zu.`.F.		000008a0:·9c2c·9cf6·5499·22cf·61b5·ea56·c1a6·8d1a··.,..T.".a..V....
000008b0:·9605·d03d·~~3e3a~~·~~1a1c~~·9a00·~~8720~~·~~459f~~·~~304~~0··...~~=>:...~~..~~·E.0@~~		000008b0:·2c0b·a07b·7c74·3438·3401·0e41·8a3e·6180··,..{\|t484..A.>a.
Max diff block lines reached; 0/543041 bytes (0.00%) of diff not shown.


Offset 12, 17 lines modified		Offset 12, 17 lines modified
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)·····1848·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.dvi	16	-rw-r--r--···0·root·········(0)·root·········(0)·····1848·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.dvi
17	-rw-r--r--···0·root·········(0)·root·········(0)····63235·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.ps.gz	17	-rw-r--r--···0·root·········(0)·root·········(0)····63235·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.ps.gz
18	-rw-r--r--···0·root·········(0)·root·········(0)······945·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.dvi.gz	18	-rw-r--r--···0·root·········(0)·root·········(0)······945·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.dvi.gz
19	-rw-r--r--···0·root·········(0)·root·········(0)····68589·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.ps.gz	19	-rw-r--r--···0·root·········(0)·root·········(0)····68590·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.ps.gz
20	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Description/	20	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Description/
21	-rw-r--r--···0·root·········(0)·root·········(0)···368716·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Description/description.dvi.gz	21	-rw-r--r--···0·root·········(0)·root·········(0)···368715·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Description/description.dvi.gz
22	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Guide/	22	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.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·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Libraries/	24	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Libraries/
25	-rw-r--r--···0·root·········(0)·root·········(0)·····2272·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Libraries/libraries.dvi	25	-rw-r--r--···0·root·········(0)·root·········(0)·····2272·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Libraries/libraries.dvi
26	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Reference/	26	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Reference/
27	-rw-r--r--···0·root·········(0)·root·········(0)···345099·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Reference/reference.dvi.gz	27	-rw-r--r--···0·root·········(0)·root·········(0)···345099·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Reference/reference.dvi.gz
28	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Tutorial/	28	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/share/doc/hol88-doc/Manual/Tutorial/


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:·3031·2e30·363a·3133·3536·8b00·0000·0100··01.06:1~~356~~......		00000020:·3031·2e30·373a·3137·3438·8b00·0000·0100··01.07:1748......
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:·f31c·c2d6·4ea0·000c·0000·000c·0000·0006··....N...........		00000090:·f31c·c2d6·4ea0·000c·0000·000c·0000·0006··....N...........
000000a0:·636d·6278·3132·c756·4552·5349·4f4e·9604··cmbx12.VERSION..		000000a0:·636d·6278·3132·c756·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·00bc·975c·4a61·6e90·a000·7561··.0)....\Jan...ua		000000c0:·2e30·2992·00bc·975c·4a61·6e90·a000·7561··.0)....\Jan...ua
000000d0:·7279·9336·2c93·3230·3234·8ea0·00cc·fe89··ry.6,.2024......		000000d0:·7279·9337·2c93·3230·3234·8ea0·00cc·fe89··ry.7,.2024......
000000e0:·8d92·008b·24ae·f31e·c2d6·4ea0·0018·e148··....$.....N....H		000000e0:·8d92·008b·24ae·f31e·c2d6·4ea0·0018·e148··....$.....N....H
000000f0:·000c·0000·0006·636d·6278·3132·c954·6865··......cmbx12.The		000000f0:·000c·0000·0006·636d·6278·3132·c954·6865··......cmbx12.The
00000100:·9609·547b·484f·4c93·5379·7374·656d·8e9f··..T{HOL.System..		00000100:·9609·547b·484f·4c93·5379·7374·656d·8e9f··..T{HOL.System..
00000110:·1f72·d98d·9200·a389·6ff3·20c2·d64e·a000··.r......o.·..N..		00000110:·1f72·d98d·9200·a389·6ff3·20c2·d64e·a000··.r......o.·..N..
00000120:·14bd·7100·0c00·0000·0663·6d62·7831·32cb··..q......cmbx12.		00000120:·14bd·7100·0c00·0000·0663·6d62·7831·32cb··..q......cmbx12.
00000130:·4445·5343·5249·5054·494f·4e8e·a001·80a8··DESCRIPTION.....		00000130:·4445·5343·5249·5054·494f·4e8e·a001·80a8··DESCRIPTION.....
00000140:·d18d·8d8d·9ee6·638d·8d91·3a5b·61f3·1b58··......c...:[a..X		00000140:·d18d·8d8d·9ee6·638d·8d91·3a5b·61f3·1b58··......c...:[a..X


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:·3031·2e30·363a·3133·3535·8b00·0000·0100··01.06:1~~355~~......		00000020:·3031·2e30·373a·3137·3437·8b00·0000·0100··01.07:1747......
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:·f31c·c2d6·4ea0·000c·0000·000c·0000·0006··....N...........		00000090:·f31c·c2d6·4ea0·000c·0000·000c·0000·0006··....N...........
000000a0:·636d·6278·3132·c756·4552·5349·4f4e·9604··cmbx12.VERSION..		000000a0:·636d·6278·3132·c756·4552·5349·4f4e·9604··cmbx12.VERSION..
000000b0:·8000·3292·011f·c924·4a61·6e90·a000·7561··..2....$Jan...ua		000000b0:·8000·3292·011f·c924·4a61·6e90·a000·7561··..2....$Jan...ua
000000c0:·7279·9336·2c93·3230·3234·8ea0·00cc·53dd··ry.6,.2024....S.		000000c0:·7279·9337·2c93·3230·3234·8ea0·00cc·53dd··ry.7,.2024....S.
000000d0:·8d92·008b·24ae·f31e·c2d6·4ea0·0018·e148··....$.....N....H		000000d0:·8d92·008b·24ae·f31e·c2d6·4ea0·0018·e148··....$.....N....H
000000e0:·000c·0000·0006·636d·6278·3132·c954·6865··......cmbx12.The		000000e0:·000c·0000·0006·636d·6278·3132·c954·6865··......cmbx12.The
000000f0:·9609·547b·484f·4c93·5379·7374·656d·8e9f··..T{HOL.System..		000000f0:·9609·547b·484f·4c93·5379·7374·656d·8e9f··..T{HOL.System..
00000100:·1f72·d98d·9200·b794·abf3·20c2·d64e·a000··.r........·..N..		00000100:·1f72·d98d·9200·b794·abf3·20c2·d64e·a000··.r........·..N..
00000110:·14bd·7100·0c00·0000·0663·6d62·7831·32cb··..q......cmbx12.		00000110:·14bd·7100·0c00·0000·0663·6d62·7831·32cb··..q......cmbx12.
00000120:·5455·544f·5249·414c·8ea0·0180·a8d1·8d8d··TUTORIAL........		00000120:·5455·544f·5249·414c·8ea0·0180·a8d1·8d8d··TUTORIAL........
00000130:·8d9e·e663·8d8d·913a·5b61·f31b·58ab·510b··...c...:[a..X.Q.		00000130:·8d9e·e663·8d8d·913a·5b61·f31b·58ab·510b··...c...:[a..X.Q.


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.19940316-35.1	3	Version:·2.02.19940316-35.1
4	Architecture:·armhf	4	Architecture:·armhf
5	Maintainer:·Camm·Maguire·<camm@debian.org>	5	Maintainer:·Camm·Maguire·<camm@debian.org>
6	Installed-Size:·20147	6	Installed-Size:·20149
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%5836%62	245	FUN%8825%51
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%5836%55»	251	FUN%8825%44»
252	ML-HELP_SEARCH_PATH»	252	ML-HELP_SEARCH_PATH»
253	FUN%7672~~%100~~»	253	FUN%5928%56»
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%6442%526
259	FUN%6442%526
260	FUN%6442%527
261	FUN%~~6442~~%527	258	FUN%1730%596
		259	FUN%1730%596
		260	FUN%1730%597
		261	FUN%1730%597
262	ML-INT_OF_STRING»	262	ML-INT_OF_STRING»
263	FUN%6442%528
264	FUN%6442%528
265	FUN%6442%529
266	FUN%~~6442~~%529	263	FUN%1730%598
		264	FUN%1730%598
		265	FUN%1730%599
		266	FUN%1730%599
267	ML-DEST_CONST»	267	ML-DEST_CONST»
268	FUN%6442%530
269	FUN%~~6442~~%530	268	FUN%1730%600
		269	FUN%1730%600
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 278, 377 lines modified		Offset 278, 377 lines modified
278	» MK-FUNTYP	278	» MK-FUNTYP
279	» MK-INTTYP	279	» MK-INTTYP
280	MK-TERMTYP	280	MK-TERMTYP
281	term_to_int	281	term_to_int
282	» MK-FUNTYP	282	» MK-FUNTYP
283	MK-TERMTYP	283	MK-TERMTYP
284	» MK-INTTYP»	284	» MK-INTTYP»
285	MK-LET%int_to_term%524	285	MK-LET%int_to_term%594
286	MK-LET%term_to_int%525»	286	MK-LET%term_to_int%595»
287	EVALUATION»	287	EVALUATION»
288	» Q-MK_TYPE»	288	» Q-MK_TYPE»
289	FUN%~~6442~~%526	289	FUN%1730%596
290	mk_const»	290	mk_const»
291	FUN%5836%107»
292	FUN%5836%87»
293	FUN%~~6442~~%~~527~~	291	FUN%8825%96»
		292	FUN%8825%76»
		293	FUN%1730%597
294	string_of_int»	294	string_of_int»
295	FUN%5836%65»
296	FUN%~~6442~~%528	295	FUN%8825%54»
		296	FUN%1730%598
297	int_of_string	297	int_of_string
298	FUN%6442%529
299	FUN%~~6442~~%530	298	FUN%1730%599
		299	FUN%1730%600
300	dest_const»	300	dest_const»
301	int_to_term	301	int_to_term
302	term_to_int	302	term_to_int
303	-SPUTPROP	303	-SPUTPROP
304	FUN%~~6442~~%533	304	FUN%1730%603
305	» CURRYBIND	305	» CURRYBIND
306	-SPUTPROP	306	-SPUTPROP
307	FUN%~~6442~~%532	307	FUN%1730%602
308	» CURRYBIND	308	» CURRYBIND
309	FUN%6442%533
310	FUN%6442%533»
311	FUN%6442%533
312	FUN%6442%533
313	FUN%6442%532
314	FUN%~~6442~~%~~532~~	309	FUN%1730%603
		310	FUN%1730%603»
		311	FUN%1730%603
		312	FUN%1730%603
		313	FUN%1730%602
		314	FUN%1730%602
315	» MK-FUNTYP	315	» MK-FUNTYP
316	» MK-INTTYP»	316	» MK-INTTYP»
317	» MK-FUNTYP	317	» MK-FUNTYP
318	» MK-LISTYP	318	» MK-LISTYP
319	» MK-LISTYP	319	» MK-LISTYP
320	» MK-FUNTYP	320	» MK-FUNTYP
321	» MK-INTTYP»	321	» MK-INTTYP»
322	» MK-FUNTYP	322	» MK-FUNTYP
323	» MK-LISTYP	323	» MK-LISTYP
324	» MK-LISTYP	324	» MK-LISTYP
325	» MK-LETREC»	325	» MK-LETREC»
326	MK-LETREC%for%531»	326	MK-LETREC%for%601»
327	FUN%~~6442~~%532»	327	FUN%1730%602»
328	-SPUTPROP	328	-SPUTPROP
329	FUN%~~6442~~%535	329	FUN%1730%605
330	» CURRYBIND	330	» CURRYBIND
331	MK-LET%I%76»	331	MK-LET%I%65»
332	FUN%6442%535»
333	FUN%6442%535
334	FUN%~~6442~~%535	332	FUN%1730%605»
		333	FUN%1730%605
		334	FUN%1730%605
335	» MK-FUNTYP	335	» MK-FUNTYP
336	» MK-LISTYP»	336	» MK-LISTYP»
337	» MK-FUNTYP	337	» MK-FUNTYP
338	» MK-FUNTYP	338	» MK-FUNTYP
339	» MK-FUNTYP	339	» MK-FUNTYP
340	» MK-LISTYP»	340	» MK-LISTYP»
341	» MK-FUNTYP	341	» MK-FUNTYP
342	» MK-FUNTYP	342	» MK-FUNTYP
343	MK-LETREC%ol%534»	343	MK-LETREC%ol%604»
344	-SPUTPROP	344	-SPUTPROP
345	FUN%~~6442~~%538	345	FUN%1730%608
346	» CURRYBIND	346	» CURRYBIND
Max diff block lines reached; 24790/26973 bytes (91.91%) of diff not shown.


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%~~7452~~%~~535~~	204	FUN%8641%606
205	» CURRYBIND	205	» CURRYBIND
206	,SPUTPROP	206	,SPUTPROP
207	FUN%~~7452~~%~~536~~	207	FUN%8641%607
208	» CURRYBIND	208	» CURRYBIND
209	,SPUTPROP	209	,SPUTPROP
210	FUN%~~7452~~%~~537~~	210	FUN%8641%608
211	» CURRYBIND	211	» CURRYBIND
212	FUN%~~7452~~%~~536~~	212	FUN%8641%607
213	EVALUATION»	213	EVALUATION»
214	ML-MK_CONST»	214	ML-MK_CONST»
215	ML-MK_COMB»	215	ML-MK_COMB»
216	FUN%7452%535
217	FUN%~~7452~~%~~535~~	216	FUN%8641%606
		217	FUN%8641%606
218	» Q-MK_TYPE»	218	» Q-MK_TYPE»
219	FUN%7452%535»
220	FUN%7452%536
221	FUN%7452%536
222	FUN%7452%536»
223	FUN%7452%537
224	FUN%74~~52%537~~	219	FUN%8641%606»
		220	FUN%8641%607
		221	FUN%8641%607
		222	FUN%8641%607»
		223	FUN%8641%608
		224	FUN%8641%608
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 237, 17 lines modified		Offset 237, 17 lines modified
237	» MK-FUNTYP	237	» MK-FUNTYP
238	» MK-TOKTYP»	238	» MK-TOKTYP»
239	» MK-FUNTYP»	239	» MK-FUNTYP»
240	MK-PRODTYP	240	MK-PRODTYP
241	MK-TERMTYP	241	MK-TERMTYP
242	MK-TERMTYP	242	MK-TERMTYP
243	MK-TERMTYP»	243	MK-TERMTYP»
244	MK-LET%mk_arith_op%~~534~~»	244	MK-LET%mk_arith_op%605»
245	mk_arith_op»	245	mk_arith_op»
246	FUN%~~7452~~%~~537~~	246	FUN%8641%608
247	MK-PRODTYP»	247	MK-PRODTYP»
248	» MK-FUNTYP»	248	» MK-FUNTYP»
249	MK-PRODTYP	249	MK-PRODTYP
250	MK-TERMTYP	250	MK-TERMTYP
251	MK-TERMTYP	251	MK-TERMTYP
252	MK-TERMTYP»	252	MK-TERMTYP»
253	MK-PRODTYP»	253	MK-PRODTYP»
Offset 273, 56 lines modified		Offset 273, 56 lines modified
273	MK-TERMTYP	273	MK-TERMTYP
274	MK-TERMTYP	274	MK-TERMTYP
275	» MK-FUNTYP»	275	» MK-FUNTYP»
276	MK-PRODTYP	276	MK-PRODTYP
277	MK-TERMTYP	277	MK-TERMTYP
278	MK-TERMTYP	278	MK-TERMTYP
279	MK-TERMTYP»	279	MK-TERMTYP»
280	MK-LET%mk_plus%~~538~~	280	MK-LET%mk_plus%609
281	MK-LET%mk_minus%~~539~~	281	MK-LET%mk_minus%610
282	MK-LET%mk_mult%~~540~~»	282	MK-LET%mk_mult%611»
283	mk_plus»	283	mk_plus»
284	mk_minus»	284	mk_minus»
285	mk_mult»	285	mk_mult»
286	mk_minus	286	mk_minus
287	,SPUTPROP	287	,SPUTPROP
288	FUN%~~7452~~%~~542~~	288	FUN%8641%613
289	» CURRYBIND	289	» CURRYBIND
290	,SPUTPROP	290	,SPUTPROP
291	FUN%~~7452~~%~~543~~	291	FUN%8641%614
292	» CURRYBIND	292	» CURRYBIND
293	,SPUTPROP	293	,SPUTPROP
294	FUN%~~7452~~%~~544~~	294	FUN%8641%615
295	» CURRYBIND	295	» CURRYBIND
296	,SPUTPROP	296	,SPUTPROP
297	FUN%~~7452~~%~~545~~	297	FUN%8641%616
298	» CURRYBIND	298	» CURRYBIND
299	FUN%~~7452~~%~~544~~	299	FUN%8641%615
300	ML-DEST_CONST»	300	ML-DEST_CONST»
301	FUN%7452%542
302	FUN%~~7452~~%~~542~~	301	FUN%8641%613
		302	FUN%8641%613
303	ML-DEST_COMB»	303	ML-DEST_COMB»
304	MK-LET%I%76»	304	MK-LET%I%65»
305	FUN%5836%72»
306	FUN%~~7452~~%~~546~~	305	FUN%8825%61»
		306	FUN%8641%617
307	» dest_comb»	307	» dest_comb»
		308	FUN%8825%54»
		309	FUN%8825%60»
		310	FUN%8641%614
		311	FUN%8641%614
		312	FUN%8641%613»
		313	FUN%8825%102»
		314	FUN%8641%614»
		315	FUN%8641%615
		316	FUN%8641%615
308	FUN%~~5836~~%65»	317	FUN%8641%615»
		318	FUN%8641%616
		319	FUN%8641%616
		320	FUN%8641%617
		321	FUN%8641%617
309	FUN%5836%71»
310	FUN%7452%543
311	FUN%7452%543
312	FUN%7452%542»
313	FUN%5836%113»
314	FUN%7452%543»
315	FUN%7452%544
316	FUN%7452%544
317	FUN%7452%544»
318	FUN%7452%545
319	FUN%7452%545
320	FUN%7452%546
321	FUN%7452%546
322	» MK-FUNTYP	322	» MK-FUNTYP
323	» MK-TOKTYP»	323	» MK-TOKTYP»
324	» MK-FUNTYP	324	» MK-FUNTYP
Max diff block lines reached; 7193/9295 bytes (77.39%) of diff not shown.


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%494»	171	MK-LETREF%ONE_PLUS%594»
172	ONE_PLUS»	172	ONE_PLUS»
173	MK-LET%TRUTH%51	173	MK-LET%TRUTH%175
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%495»	178	MK-LETREF%ZERO_PLUS%595»
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%496»	184	MK-LETREF%PLUS_ZERO%596»
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%497»	190	MK-LETREF%SUC_ADD1%597»
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%498»	196	MK-LETREF%SUC_ADD2%598»
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%499»	202	MK-LETREF%ZERO_MULT%599»
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%500»	208	MK-LETREF%ONE_MULT%600»
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%501»	214	MK-LETREF%MULT_ZERO%601»
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%502»	220	MK-LETREF%MULT_ONE%602»
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%503»	226	MK-LETREF%MULT_SUC%603»
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%504»	232	MK-LETREF%MULT_COMM%604»
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%505»	238	MK-LETREF%SUC_ADD_LESS_EQ_F%605»
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%506»	244	MK-LETREF%MULT_LEQ_SUC%606»
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%507»	250	MK-LETREF%ZERO_LESS_EQ_T%607»
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%508»	256	·MK-LETREF%SUC_LESS_EQ_ZERO_F%608»
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%509»	262	$MK-LETREF%ZERO_LESS_EQ_ONE_TIMES%609»
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%510»	268	MK-LETREF%LESS_EQ_PLUS%610»
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%511»	274	MK-LETREF%LESS_EQ_TRANSIT%611»
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%512»	279	MK-LETREF%NOT_T_F%612»
280	» MK-THMTYP»	280	» MK-THMTYP»
281	» MK-LETREF	281	» MK-LETREF
282	» MK-THMTYP»	282	» MK-THMTYP»
283	MK-LETREF%NOT_F_T%513»	283	MK-LETREF%NOT_F_T%613»
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 194, 114 lines modified		Offset 194, 114 lines modified
194	.comment	194	.comment
195	.note.GNU-stack	195	.note.GNU-stack
196	.rel.debug_frame	196	.rel.debug_frame
197	.ARM.attributes	197	.ARM.attributes
198	COMMON-LISP-USER	198	COMMON-LISP-USER
199	SYSTEMSPUTPROP	199	SYSTEMSPUTPROP
200	COMMON-LISPQUOTE	200	COMMON-LISPQUOTE
201	FUN%8292%~~693~~	201	FUN%8892%775
202	» CURRYBIND	202	» CURRYBIND
203	MK-LET%is_suc%~~584~~»	203	MK-LET%is_suc%655»
204	FUN%5836%109»	204	FUN%8825%98»
205	MK-LET%SUC_CONV%630»	205	MK-LET%SUC_CONV%643»
206	FUN%9966%576»
207	FUN%~~9966~~%~~558~~»	206	FUN%2257%649»
		207	FUN%2257%631»
208	MK-LET%is_plus%~~550~~»	208	MK-LET%is_plus%621»
209	MK-LET%ADD_CONV%658»	209	MK-LET%ADD_CONV%671»
210	FUN%~~9966~~%585»	210	FUN%2257%658»
211	MK-LET%is_mult%~~552~~»	211	MK-LET%is_mult%623»
212	MK-LET%MUL_CONV%669»	212	MK-LET%MUL_CONV%682»
213	FUN%9966%556»
214	FUN%8292%693
215	FUN%8292%693	213	FUN%2257%629»
		214	FUN%8892%775
		215	FUN%8892%775
216	» MK-FUNTYP	216	» MK-FUNTYP
217	MK-TERMTYP	217	MK-TERMTYP
218	» MK-THMTYP»	218	» MK-THMTYP»
219	NUM_REDUCE_QCONV	219	NUM_REDUCE_QCONV
220	» MK-FUNTYP	220	» MK-FUNTYP
221	MK-TERMTYP	221	MK-TERMTYP
222	» MK-THMTYP»	222	» MK-THMTYP»
223	» MK-LETREC»	223	» MK-LETREC»
224	MK-LETREC%NUM_REDUCE_QCONV%~~692~~»	224	MK-LETREC%NUM_REDUCE_QCONV%774»
225	FUN%8292%~~693~~»	225	FUN%8892%775»
226	NUM_REDUCE_QCONV	226	NUM_REDUCE_QCONV
227	,SPUTPROP	227	,SPUTPROP
228	FUN%8292%~~695~~	228	FUN%8892%777
229	» CURRYBIND	229	» CURRYBIND
230	MK-LET%is_eq%134»	230	MK-LET%is_eq%176»
231	MK-LET%NEQ_CONV%574»	231	MK-LET%NEQ_CONV%587»
232	MK-LET%is_leq%~~574~~»	232	MK-LET%is_leq%645»
233	MK-LET%LE_CONV%603»	233	MK-LET%LE_CONV%616»
234	MK-LET%is_less%~~573~~»	234	MK-LET%is_less%644»
235	MK-LET%LT_CONV%582»	235	MK-LET%LT_CONV%595»
236	MK-LET%is_geq%~~576~~»	236	MK-LET%is_geq%647»
237	MK-LET%GE_CONV%610»	237	MK-LET%GE_CONV%623»
238	MK-LET%is_great%~~575~~»	238	MK-LET%is_great%646»
239	MK-LET%GT_CONV%~~589~~»	239	MK-LET%GT_CONV%602»
240	FUN%8292%695
241	FUN%8292%~~695~~	240	FUN%8892%777
		241	FUN%8892%777
242	» MK-FUNTYP	242	» MK-FUNTYP
243	MK-TERMTYP	243	MK-TERMTYP
244	» MK-THMTYP»	244	» MK-THMTYP»
245	INEQ_REDUCE_QCONV	245	INEQ_REDUCE_QCONV
246	» MK-FUNTYP	246	» MK-FUNTYP
247	MK-TERMTYP	247	MK-TERMTYP
248	» MK-THMTYP»	248	» MK-THMTYP»
249	MK-LET%INEQ_REDUCE_QCONV%~~694~~»	249	MK-LET%INEQ_REDUCE_QCONV%776»
250	INEQ_REDUCE_QCONV»	250	INEQ_REDUCE_QCONV»
251	FUN%8292%~~695~~	251	FUN%8892%777
252	,SPUTPROP	252	,SPUTPROP
253	FUN%8292%~~697~~	253	FUN%8892%779
254	» CURRYBIND	254	» CURRYBIND
255	MK-LET%is_num_reln%~~577~~»	255	MK-LET%is_num_reln%648»
256	FUN%~~7452~~%~~578~~»	256	FUN%8641%649»
257	MK-LET%is_neg%136»	257	MK-LET%is_neg%178»
258	MK-LET%NOT_CONV%~~578~~»	258	MK-LET%NOT_CONV%607»
259	MK-LET%is_conj%131»	259	MK-LET%is_conj%173»
260	MK-LET%AND_CONV%~~581~~»	260	MK-LET%AND_CONV%610»
261	MK-LET%is_disj%132»	261	MK-LET%is_disj%174»
262	MK-LET%OR_CONV%~~588~~»	262	MK-LET%OR_CONV%617»
263	MK-LET%is_imp%133»	263	MK-LET%is_imp%175»
264	MK-LET%IMP_CONV%~~595~~»	264	MK-LET%IMP_CONV%624»
265	MK-LET%BEQ_CONV%602»	265	MK-LET%BEQ_CONV%631»
266	FUN%8292%~~697~~	266	FUN%8892%779
267	FUN%8292%~~697~~	267	FUN%8892%779
268	» MK-FUNTYP	268	» MK-FUNTYP
269	MK-TERMTYP	269	MK-TERMTYP
270	» MK-THMTYP»	270	» MK-THMTYP»
271	BOOL_REDUCE_QCONV	271	BOOL_REDUCE_QCONV
272	» MK-FUNTYP	272	» MK-FUNTYP
273	MK-TERMTYP	273	MK-TERMTYP
274	» MK-THMTYP»	274	» MK-THMTYP»
275	MK-LETREC%BOOL_REDUCE_QCONV%~~696~~»	275	MK-LETREC%BOOL_REDUCE_QCONV%778»
276	FUN%8292%~~697~~»	276	FUN%8892%779»
277	BOOL_REDUCE_QCONV	277	BOOL_REDUCE_QCONV
278	,SPUTPROP	278	,SPUTPROP
279	FUN%8292%700	279	FUN%8892%782
280	» CURRYBIND	280	» CURRYBIND
281	,SPUTPROP	281	,SPUTPROP
282	FUN%8292%~~699~~	282	FUN%8892%781
283	» CURRYBIND	283	» CURRYBIND
284	FUN%8292%700	284	FUN%8892%782
285	EVALUATION»	285	EVALUATION»
286	MK-LET%dest_exists%84»	286	MK-LET%dest_exists%126»
287	FUN%1729%86»	287	FUN%8921%128»
288	ML-DEST_VAR»	288	ML-DEST_VAR»
289	FUN%~~7672~~%85»	289	FUN%5928%41»
290	MK-LET%term_of_int%~~591~~»	290	MK-LET%term_of_int%662»
		291	FUN%8641%663»
291	FUN%7452%592»
292	FUN%1729%145»
293	FUN%8292%~~700~~»	292	FUN%8921%187»
294	FUN%9923%78»	293	FUN%8892%782»
295	FUN%9966%553»
296	FUN%99~~23%53~~»	294	FUN%8697%202»
		295	FUN%2257%626»
		296	FUN%8697%177»
297	FUN%8292%700	297	FUN%8892%782
298	FUN%8292%700	298	FUN%8892%782
299	FUN%8292%699
300	FUN%8292%~~699~~	299	FUN%8892%781
		300	FUN%8892%781
301	» MK-FUNTYP	301	» MK-FUNTYP
302	» MK-LISTYP»	302	» MK-LISTYP»
303	MK-PRODTYP	303	MK-PRODTYP
304	» MK-TOKTYP	304	» MK-TOKTYP
305	» MK-INTTYP»	305	» MK-INTTYP»
306	» MK-FUNTYP	306	» MK-FUNTYP
307	MK-TERMTYP	307	MK-TERMTYP
Offset 310, 69 lines modified		Offset 310, 69 lines modified
310	» MK-LISTYP»	310	» MK-LISTYP»
311	MK-PRODTYP	311	MK-PRODTYP
312	» MK-TOKTYP	312	» MK-TOKTYP
313	» MK-INTTYP»	313	» MK-INTTYP»
Max diff block lines reached; 1583/4719 bytes (33.55%) 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%~~1491~~%~~692~~	228	FUN%6518%701
229	» CURRYBIND	229	» CURRYBIND
230	,SPUTPROP	230	,SPUTPROP
231	FUN%~~1491~~%~~693~~	231	FUN%6518%702
232	» CURRYBIND	232	» CURRYBIND
233	» ML-IS_VAR»	233	» ML-IS_VAR»
234	ML-IS_CONST»	234	ML-IS_CONST»
235	FUN%~~7452~~%~~588~~»	235	FUN%8641%659»
236	EVALUATION»	236	EVALUATION»
237	FUN%~~7452~~%~~586~~»	237	FUN%8641%657»
238	MK-LET%is_suc%~~584~~»	238	MK-LET%is_suc%655»
239	FUN%5836%109»
240	FUN%1729%275»
241	FUN%~~1491~~%692»	239	FUN%8825%98»
		240	FUN%8921%317»
		241	FUN%6518%701»
242	MK-LET%is_plus%~~550~~»	242	MK-LET%is_plus%621»
243	MK-LET%arg1%~~595~~»	243	MK-LET%arg1%666»
244	FUN%5836%64»	244	FUN%8825%53»
245	MK-LET%is_mult%~~552~~»	245	MK-LET%is_mult%623»
246	FUN%1491%692
247	FUN%1491%692
248	FUN%1491%693
249	FUN%~~1491~~%~~693~~	246	FUN%6518%701
		247	FUN%6518%701
		248	FUN%6518%702
		249	FUN%6518%702
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%~~691~~»	257	MK-LET%contains_var%700»
258	contains_var»	258	contains_var»
259	FUN%~~1491~~%~~693~~	259	FUN%6518%702
260	,SPUTPROP	260	,SPUTPROP
261	FUN%~~1491~~%~~695~~	261	FUN%6518%704
262	» CURRYBIND	262	» CURRYBIND
263	MK-LET%dest_mult%~~549~~»	263	MK-LET%dest_mult%620»
264	FUN%~~7452~~%~~543~~»	264	FUN%8641%614»
265	is_linear_mult»	265	is_linear_mult»
266	FUN%1491%695
267	FUN%~~1491~~%~~695~~	266	FUN%6518%704
		267	FUN%6518%704
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%~~694~~»	275	MK-LET%is_linear_mult%703»
276	FUN%~~1491~~%~~695~~	276	FUN%6518%704
277	,SPUTPROP	277	,SPUTPROP
278	FUN%~~1491~~%~~697~~	278	FUN%6518%706
279	» CURRYBIND	279	» CURRYBIND
280	MK-LET%dest_forall%81»	280	MK-LET%dest_forall%123»
281	FUN%1729%83»
282	FUN%~~149~~1%~~697~~»	281	FUN%8921%125»
		282	FUN%6518%706»
283	MK-LET%dest_exists%84»	283	MK-LET%dest_exists%126»
284	FUN%1729%86»
285	FUN%1729%110»	284	FUN%8921%128»
		285	FUN%8921%152»
286	MK-LET%dest_suc%~~581~~»	286	MK-LET%dest_suc%652»
287	FUN%~~7452~~%~~583~~»	287	FUN%8641%654»
288	MK-LET%is_conj%131»	288	MK-LET%is_conj%173»
289	MK-LET%is_disj%132»	289	MK-LET%is_disj%174»
290	MK-LET%is_imp%133»	290	MK-LET%is_imp%175»
291	MK-LET%is_eq%134»
292	MK-LET%is_less%573»
293	MK-LET%is_leq%574»
294	MK-LET%is_great%575»
295	MK-LET%is_geq%576»	291	MK-LET%is_eq%176»
		292	MK-LET%is_less%644»
		293	MK-LET%is_leq%645»
		294	MK-LET%is_great%646»
		295	MK-LET%is_geq%647»
296	MK-LET%is_minus%~~551~~»	296	MK-LET%is_minus%622»
297	FUN%7672%100»
298	FUN%1491%697
299	FUN%~~1491~~%~~697~~	297	FUN%5928%56»
		298	FUN%6518%706
		299	FUN%6518%706
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%~~696~~»	310	%MK-LETREC%non_presburger_subterms%705»
311	non_presburger_subterms	311	non_presburger_subterms
312	FUN%1491%699
313	FUN%~~1491~~%~~699~~	312	FUN%6518%708
		313	FUN%6518%708
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%~~698~~»	321	MK-LET%is_presburger%707»
322	FUN%1491%699
323	FUN%6431%43»
324	FUN%~~5836~~%~~65»~~	322	FUN%6518%708
		323	FUN%8867%79»
		324	FUN%8825%54»
325	is_presburger	325	is_presburger
326	,SPUTPROP	326	,SPUTPROP
327	FUN%~~1491~~%701	327	FUN%6518%710
328	» CURRYBIND	328	» CURRYBIND
329	,SPUTPROP	329	,SPUTPROP
330	FUN%~~1491~~%702	330	FUN%6518%711
Max diff block lines reached; 1516/4232 bytes (35.82%) of diff not shown.


Offset 160, 56 lines modified		Offset 160, 56 lines modified
160	.comment	160	.comment
161	.note.GNU-stack	161	.note.GNU-stack
162	.rel.debug_frame	162	.rel.debug_frame
163	.ARM.attributes	163	.ARM.attributes
164	COMMON-LISP-USER	164	COMMON-LISP-USER
165	SYSTEMSPUTPROP	165	SYSTEMSPUTPROP
166	COMMON-LISPQUOTE	166	COMMON-LISPQUOTE
167	FUN%324%507	167	FUN%7121%586
168	» CURRYBIND	168	» CURRYBIND
169	,SPUTPROP	169	,SPUTPROP
170	FUN%324%508	170	FUN%7121%587
171	» CURRYBIND	171	» CURRYBIND
172	FUN%324%507	172	FUN%7121%586
173	,SPUTPROP	173	,SPUTPROP
174	FUN%324%509	174	FUN%7121%588
175	» CURRYBIND	175	» CURRYBIND
176	FUN%324%508	176	FUN%7121%587
177	MK-LETREC%strip_forall%221»	177	MK-LETREC%strip_forall%263»
178	FUN%1729%222»
179	FUN%7672%105»
180	FUN%324%510
181	FUN%324%~~511~~	178	FUN%8921%264»
		179	FUN%5928%61»
		180	FUN%7121%589
		181	FUN%7121%590
182	type_of»	182	type_of»
183	FUN%5836%65»
184	FUN%~~6431~~%36»	183	FUN%8825%54»
		184	FUN%8867%72»
185	MK-LETREC%combine%108»	185	MK-LETREC%combine%64»
186	FUN%7672%109»
187	FUN%1729%145»
188	FUN%1729%204»
189	FUN%9923%53»	186	FUN%5928%65»
190	FUN%9923%58»	187	FUN%8921%187»
		188	FUN%8921%246»
		189	FUN%8697%177»
		190	FUN%8697%182»
191	MK-LET%GENL%65»	191	MK-LET%GENL%189»
192	FUN%~~7672~~%77»	192	FUN%5928%33»
193	MK-LET%EQT_INTRO%60»	193	MK-LET%EQT_INTRO%184»
194	FUN%9923%61»
195	FUN%324%507
196	FUN%324%507
197	FUN%324%507»
198	FUN%324%508
199	FUN%324%508
200	FUN%324%508»
201	FUN%324%509
202	FUN%~~324~~%~~509~~	194	FUN%8697%185»
		195	FUN%7121%586
		196	FUN%7121%586
		197	FUN%7121%586»
		198	FUN%7121%587
		199	FUN%7121%587
		200	FUN%7121%587»
		201	FUN%7121%588
		202	FUN%7121%588
203	» ML-GENVAR»	203	» ML-GENVAR»
204	FUN%324%510
205	FUN%324%510	204	FUN%7121%589
		205	FUN%7121%589
206	ML-TYPE_OF»	206	ML-TYPE_OF»
207	FUN%324%511
208	FUN%324%511	207	FUN%7121%590
		208	FUN%7121%590
209	» MK-FUNTYP»	209	» MK-FUNTYP»
210	» MK-FUNTYP	210	» MK-FUNTYP
211	MK-TERMTYP	211	MK-TERMTYP
212	» MK-LISTYP	212	» MK-LISTYP
213	MK-TERMTYP»	213	MK-TERMTYP»
214	» MK-FUNTYP»	214	» MK-FUNTYP»
215	» MK-FUNTYP	215	» MK-FUNTYP
Offset 227, 10 lines modified		Offset 227, 10 lines modified
227	» MK-FUNTYP»	227	» MK-FUNTYP»
228	» MK-FUNTYP	228	» MK-FUNTYP
229	MK-TERMTYP	229	MK-TERMTYP
230	» MK-THMTYP»	230	» MK-THMTYP»
231	» MK-FUNTYP	231	» MK-FUNTYP
232	MK-TERMTYP	232	MK-TERMTYP
233	» MK-THMTYP»	233	» MK-THMTYP»
234	MK-LET%INSTANCE_T_CONV%506»	234	MK-LET%INSTANCE_T_CONV%585»
235	INSTANCE_T_CONV»	235	INSTANCE_T_CONV»
236	FUN%324%509	236	FUN%7121%588


Offset 15, 4273 lines modified		Offset 15, 4273 lines modified
000000e0:·77dc·87aa·9b34·58cc·4552·7e4c·9312·285c··w....4X.ER~L..(\		000000e0:·77dc·87aa·9b34·58cc·4552·7e4c·9312·285c··w....4X.ER~L..(\
000000f0:·7fb9·7b87·1f9e·6bd5·ddfa·99c8·47d1·efd8··..{...k.....G...		000000f0:·7fb9·7b87·1f9e·6bd5·ddfa·99c8·47d1·efd8··..{...k.....G...
00000100:·857f·0c15·1f92·f03a·9d63·55c1·dedc·7cfb··.......:.cU...\|.		00000100:·857f·0c15·1f92·f03a·9d63·55c1·dedc·7cfb··.......:.cU...\|.
00000110:·743b·fa45·8cb1·e30b·7ef0·fcfc·dccb·d530··t;.E....~......0		00000110:·743b·fa45·8cb1·e30b·7ef0·fcfc·dccb·d530··t;.E....~......0
00000120:·c55a·f482·747e·a871·b089·9f84·9fa3·4468··.Z..t~.q......Dh		00000120:·c55a·f482·747e·a871·b089·9f84·9fa3·4468··.Z..t~.q......Dh
00000130:·4159·23d6·38b7·7eee·cf45·2972·e82a·cca2··AY#.8.~..E)r.*..		00000130:·4159·23d6·38b7·7eee·cf45·2972·e82a·cca2··AY#.8.~..E)r.*..
Diff chunk too large, falling back to line-by-line diff (4266 lines added, 4266 lines removed)
00000140:·7f3b·755d·5d33·4a17·7900·0df9·5771·cfd3··.;u]]3J.y...Wq..		00000140:·7f3b·755d·5d33·4a17·7900·0df9·5771·cfd3··.;u]]3J.y...Wq..
00000150:·4599·2d48·a6c7·3dd7·ebb9·a717·deb1·37c0··E.-H..=.......7.		00000150:·4599·2d48·a6c7·3dd7·ebb9·6717·de3b·7780··E.-H..=...g..;w.
00000160:·~~918a~~·~~6994~~·~~dce6~~·~~693~~0·~~1225~~·~~0854~~·~~ac7a~~·~~599e~~··..i...~~i0.%~~.T.zY.		00000160:·2315·d328·b9cd·d360·244a·10a8·58f5·b23c··#..(...`$J..X..<
00000170:·~~e290~~·~~d99b~~·1f98·0~~34d~~·~~6fa2~~·~~a0e4~~·0~~3d7~~·~~e521~~··...~~...~~.~~Mo..~~....!		00000170:·c521·b337·3f30·079a·de44·41c9·07ae·cb43··.!.7?0...DA....C
00000180:·~~1642~~·~~31e1~~·0~~638~~·~~c6a6~~·~~ce50~~·0~~26c~~·03ff·~~9c2b~~··~~.B1~~..8...P.l...+		00000180:·2c84·62c2·0d70·8c4d·9da1·04d8·06fe·3957··,.b..p.M......9W
00000190:·~~398e~~·9210·~~5136~~·~~4367~~·~~24c5~~·~~2a98~~·~~41e1~~·~~5e8e~~··9.~~..Q6Cg$~~.*.A.^.		00000190:·721c·2521·a26c·86ce·488a·5530·83c2·bd1c··r.%!.l..H.U0....
000001a0:·~~d870·~~73e5·5cca·7091·c1f3·eb9d·~~2c73~~·~~3f29~~··.ps.\.p....~~.,s?)~~		000001a0:·b1e1·e6ca·b994·e122·83e7·d73b·59e6·7e52··......."...;Y.~R
000001b0:·~~6298~~·~~22a8~~·~~8e8a~~·~~b8e0~~·~~133f~~·2e04·~~1f3a~~·cb02··~~b.".~~....~~.?.~~..:..		000001b0:·c430·4550·1d15·71c1·277e·5c08·3e74·9605··.0EP..q.'~\.>t..
000001c0:·6406·~~73c5~~·cffa·~~7cbe~~·8801·~~3223~~·~~c8bb~~·~~de09~~··d.s...\|...2#....		000001c0:·c80c·e68a·9ff5·f97c·1103·6446·9077·bd13··.......\|..dF.w..
000001d0:·8098·0~~2c5~~·2092·2c5e·~~14e7~~·aea4·~~76d4~~·f77b··....~~·.,^.~~.~~..v~~..{		000001d0:·0031·058a·4124·59bc·28ce·5d49·eda8·eff7··.1..A$Y.(.]I....
000001e0:·d099·~~2891~~·~~484d~~·~~3eb8~~·~~dcc2~~·f1f8·~~91b7~~·~~9147~~··..(.~~HM>~~....~~...~~.G		000001e0:·a033·5122·919a·7c70·b985·e3f1·236f·238f··.3Q"..\|p....#o#.
000001f0:·~~1ef7~~·36d1·~~446~~0·~~3f2e~~·~~83e1~~·3d06·~~6912~~·f~~825~~··..6.~~D`?.~~..=.i..%		000001f0:·3cee·6da2·89c0·7e5c·06c3·7b0c·d224·f04b··<.m...~\..{..$.K
00000200:·c0b0·~~b33b~~·~~51a4~~·f102·3507·~~86b9~~·~~44c8~~·~~b716~~··.~~..;Q.~~..5...D...		00000200:·8061·6777·a248·e305·6a0e·0c73·8990·6f2d··.agw.H..j..s..o-
00000210:·~~2811~~·~~535e~~·e014·~~71ea~~·~~8359~~·~~3dd8~~·~~a8d0~~·~~12b1~~··~~(.S^~~..q..Y=.....		00000210:·5022·a6bc·c029·e2d4·07b3·7ab0·51a1·2562··P"...)....z.Q.%b
00000220:·~~d540~~·905f·9793·~~1ca4~~·~~857~~3·~~a491~~·686c·34~~28·~~·.@.~~_..~~...s..hl4(		00000220:·ab81·20bf·2e27·3948·0be7·4823·d1d8·6850··..·..'9H..H#..hP
00000230:·~~d7b0~~·~~f6f5~~·~~0e19~~·~~b270~~·~~6dda~~·~~8aa8~~·~~69ed~~·~~713f~~··.....~~..pm~~...i.q?		00000230:·ae61·edeb·1d32·64e1·dab4·1551·d3da·e37e··.a...2d....Q...~
00000240:·~~0ca9~~·~~8ba~~f·~~770f~~·~~6cee~~·~~9779~~·~~b4e2~~·~~c122~~·~~cf41~~··....w.l..y...".A		00000240:·1852·175f·ef1e·d8dc·2ff3·68c5·8345·9e83··.R._..../.h..E..
00000250:·~~c9d4~~·~~9bbc~~·~~e497~~·~~3c47~~·~~4de6~~·~~c562~~·ccfd·~~71c1~~··.....~~.<GM~~..b..q.		00000250:·92a9·3779·c92f·798e·9acc·8bc5·98fb·e382··..7y./y.........
00000260:·~~dd9e~~·0b7f·~~1e8f~~·~~4b49~~·~~15d~~0·~~db66~~·~~92e6~~·~~7e1c~~··......KI...f..~.		00000260:·bb3d·17fe·3c1e·9792·2aa0·b7cd·24cd·fd38··.=..<...*...$..8
00000270:·~~2b44~~·~~86cc~~·~~ea36~~·~~587c~~·~~2c84~~·2606·~~53f5~~·~~1ec7~~··+D...~~6X\|,~~.&.S...		00000270:·5688·0c99·d56d·b0f8·5808·4d0c·a6ea·3d8e··V....m..X.M...=.
00000280:·~~0c32~~·~~c884~~·~~54d3~~·~~56e6~~·~~606~~0·~~38b7~~·ef41·~~4d17~~··.2..T.V.~~``8.~~.AM.		00000280:·1964·9009·a9a6·adcc·c1c0·706e·df83·9a2e··.d........pn....
00000290:·~~7e3c~~·~~1122~~·~~94ac~~·28fd·~~7251~~·a0b6·~~3835~~·~~58e1~~··~<.~~"..~~(~~.rQ~~..~~85X~~.		00000290:·fc78·2244·2859·51fa·e5a2·406d·716a·b0c2··.x"D(YQ...@mqj..
000002a0:·~~820a~~·~~2276~~·9066·~~9128~~·~~a4f3~~·~~6755~~·e0f7·00fc··.."v.f.(..gU....		000002a0:·0515·44ec·20cd·2251·48e7·cfaa·c0ef·01f8··..D.·."QH.......
000002b0:·f~~8c5~~·2f1f·~~3cb2~~·~~b523~~·~~7a3c~~·~~b2a1~~·~~f3f1~~·~~eaea~~··..~~/.<..#z<..~~....		000002b0:·f18b·5f3e·7864·6b47·f478·6443·e7e3·d5d5··.._>xdkG.xdC....
000002c0:·~~c125~~·98fb·~~3874~~·9204·~~0a43~~·~~e7d3~~·0~~7f5~~·~~0cca~~··.%..~~8t.~~..C......		000002c0:·834b·30f7·71e8·2409·1486·cea7·0fea·1994··.K0.q.$.........
000002d0:·~~9c9e~~·~~e1e4~~·~~a8f4~~·~~a358~~·62fd·~~3ba5~~·~~a543~~·~~0e65~~··.......~~Xb.;~~..C.e		000002d0:·393d·c3c9·51e9·47b1·c4fa·774a·4b87·1cca··9=..Q.G...wJK...
000002e0:·~~524f~~·~~e6a0~~·~~9d7e~~·~~5d67~~·~~820~~f·0017·5fbe~~·28~~51··RO..~~.~]g~~...._.(Q		000002e0:·a49e·cc41·3bfd·bace·041f·002e·be7c·51a2··...A;........\|Q.
000002f0:·~~4d92~~·~~325f~~·~~69d~~0·~~15d8~~·~~3987~~·~~cea0~~·6101·95c9··M.2_i...9...a...		000002f0:·9a24·65be·d2a0·2bb0·730e·9d41·c302·2a93··.$e...+.s..A..*.
00000300:·~~d419~~·f~~b30~~·~~1bf7~~·~~dcc~~f·737f·~~cd9c~~·~~ab08~~·~~5a81~~··...0....s.....Z.		00000300:·a933·f661·36ee·b99f·e7fe·9a39·5711·b402··.3.a6......9W...
00000310:·~~f5dd~~·~~3b57~~·~~8b28~~·~~0eaf~~·~~677e~~·~~2ef1~~·~~83de~~·~~440e~~··..;W.(..g~....D.		00000310:·ebbb·77ae·1651·1c5e·cffc·5ce2·07bd·891c··..w..Q.^..\.....
00000320:·b2f9·9004·~~293a~~·~~0c8e~~·~~dc0d~~·~~3978~~·~~117e~~·~~299d~~··....):....~~9x.~).~~		00000320:·64f3·2109·5274·181c·b91b·72f0·22fc·523a··d.!.Rt....r.".R:


Offset 1, 149 lines modified		Offset 1, 149 lines modified
1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./	1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./
2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/	2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/
3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/lib/	3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/lib/
4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/	4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/
5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/	5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/
6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/abs_theory/	6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/abs_theory/
7	-rw-r--r--···0·root·········(0)·root·········(0)···298680·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/abs_theory/abs_theory_ml.o	7	-rw-r--r--···0·root·········(0)·root·········(0)···298686·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/abs_theory/abs_theory_ml.o
8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/	8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/
9	-rw-r--r--···0·root·········(0)·root·········(0)···129483·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/arith_cons_ml.o	9	-rw-r--r--···0·root·········(0)·root·········(0)···129483·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/arith_cons_ml.o
10	-rw-r--r--···0·root·········(0)·root·········(0)···131397·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/decls_ml.o	10	-rw-r--r--···0·root·········(0)·root·········(0)···131399·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/decls_ml.o
11	-rw-r--r--···0·root·········(0)·root·········(0)····69015·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/exists_arith_ml.o	11	-rw-r--r--···0·root·········(0)·root·········(0)····69019·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/exists_arith_ml.o
12	-rw-r--r--···0·root·········(0)·root·········(0)····86635·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/gen_arith_ml.o	12	-rw-r--r--···0·root·········(0)·root·········(0)····86642·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/gen_arith_ml.o
13	-rw-r--r--···0·root·········(0)·root·········(0)····29935·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/instance_ml.o	13	-rw-r--r--···0·root·········(0)·root·········(0)····29957·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/instance_ml.o
14	-rw-r--r--···0·root·········(0)·root·········(0)····50748·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/int_extra_ml.o	14	-rw-r--r--···0·root·········(0)·root·········(0)····50748·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/int_extra_ml.o
15	-rw-r--r--···0·root·········(0)·root·········(0)···200960·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/norm_arith_ml.o	15	-rw-r--r--···0·root·········(0)·root·········(0)···200963·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/norm_arith_ml.o
16	-rw-r--r--···0·root·········(0)·root·········(0)····63372·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/norm_bool_ml.o	16	-rw-r--r--···0·root·········(0)·root·········(0)····63371·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/norm_bool_ml.o
17	-rw-r--r--···0·root·········(0)·root·········(0)····69~~685~~·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/norm_ineqs_ml.o	17	-rw-r--r--···0·root·········(0)·root·········(0)····69723·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/norm_ineqs_ml.o
18	-rw-r--r--···0·root·········(0)·root·········(0)····51183·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/prenex_ml.o	18	-rw-r--r--···0·root·········(0)·root·········(0)····51191·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/prenex_ml.o
19	-rw-r--r--···0·root·········(0)·root·········(0)···115791·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/qconv_ml.o	19	-rw-r--r--···0·root·········(0)·root·········(0)···115797·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/qconv_ml.o
20	-rw-r--r--···0·root·········(0)·root·········(0)···117207·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/rationals_ml.o	20	-rw-r--r--···0·root·········(0)·root·········(0)···117288·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/rationals_ml.o
21	-rw-r--r--···0·root·········(0)·root·········(0)···138~~429~~·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/sol_ranges_ml.o	21	-rw-r--r--···0·root·········(0)·root·········(0)···138330·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/sol_ranges_ml.o
22	-rw-r--r--···0·root·········(0)·root·········(0)···200508·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/solve_ineqs_ml.o	22	-rw-r--r--···0·root·········(0)·root·········(0)···200510·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/solve_ineqs_ml.o
23	-rw-r--r--···0·root·········(0)·root·········(0)····95~~771~~·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/solve_ml.o	23	-rw-r--r--···0·root·········(0)·root·········(0)····95852·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/solve_ml.o
24	-rw-r--r--···0·root·········(0)·root·········(0)····68~~973~~·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/streams_ml.o	24	-rw-r--r--···0·root·········(0)·root·········(0)····68889·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/streams_ml.o
25	-rw-r--r--···0·root·········(0)·root·········(0)····26272·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/string_extra_ml.o	25	-rw-r--r--···0·root·········(0)·root·········(0)····26254·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/string_extra_ml.o
26	-rw-r--r--···0·root·········(0)·root·········(0)····61624·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/sub_and_cond_ml.o	26	-rw-r--r--···0·root·········(0)·root·········(0)····61629·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/sub_and_cond_ml.o
27	-rw-r--r--···0·root·········(0)·root·········(0)···255640·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/sup-inf_ml.o	27	-rw-r--r--···0·root·········(0)·root·········(0)···255644·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/sup-inf_ml.o
28	-rw-r--r--···0·root·········(0)·root·········(0)···123131·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/term_coeffs_ml.o	28	-rw-r--r--···0·root·········(0)·root·········(0)···123129·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/arith/term_coeffs_ml.o
29	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/finite_sets/	29	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/finite_sets/
30	-rw-r--r--···0·root·········(0)·root·········(0)···214~~741~~·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/finite_sets/fset_conv_ml.o	30	-rw-r--r--···0·root·········(0)·root·········(0)···214958·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/finite_sets/fset_conv_ml.o
31	-rw-r--r--···0·root·········(0)·root·········(0)····60~~693~~·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/finite_sets/set_ind_ml.o	31	-rw-r--r--···0·root·········(0)·root·········(0)····60714·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/finite_sets/set_ind_ml.o
32	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/ind_defs/	32	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/ind_defs/
33	-rw-r--r--···0·root·········(0)·root·········(0)···690~~077~~·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/ind_defs/ind-defs_ml.o	33	-rw-r--r--···0·root·········(0)·root·········(0)···690114·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/ind_defs/ind-defs_ml.o
34	-rw-r--r--···0·root·········(0)·root·········(0)····19893·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/ind_defs/ind_defs_ml.o	34	-rw-r--r--···0·root·········(0)·root·········(0)····19893·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/ind_defs/ind_defs_ml.o
35	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/latex-hol/	35	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/latex-hol/
36	-rw-r--r--···0·root·········(0)·root·········(0)····64582·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/latex-hol/filters_ml.o	36	-rw-r--r--···0·root·········(0)·root·········(0)····64521·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/latex-hol/filters_ml.o
37	-rw-r--r--···0·root·········(0)·root·········(0)···160386·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/latex-hol/formaters_ml.o	37	-rw-r--r--···0·root·········(0)·root·········(0)···160392·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/latex-hol/formaters_ml.o
38	-rw-r--r--···0·root·········(0)·root·········(0)····79421·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/latex-hol/hol_trees_ml.o	38	-rw-r--r--···0·root·········(0)·root·········(0)····79421·2021-01-05·11:37:31.000000·./usr/lib/hol88-2.02.19940316/Library/latex-hol/hol_trees_ml.o


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%9114%~~497~~	223	FUN%5417%582
224	» CURRYBIND	224	» CURRYBIND
225	FUN%9114%497
226	FUN%9114%~~497~~	225	FUN%5417%582
		226	FUN%5417%582
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%~~496~~»	233	MK-LET%abs%581»
234	FUN%9114%~~497~~	234	FUN%5417%582
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%9114%~~499~~	239	FUN%5417%584
240	» CURRYBIND	240	» CURRYBIND
241	,SPUTPROP	241	,SPUTPROP
242	FUN%9114%500	242	FUN%5417%585
243	» CURRYBIND	243	» CURRYBIND
244	FUN%9114%499
245	FUN%9114%499
246	FUN%9114%499
247	FUN%9114%499»
248	FUN%9114%500
249	FUN%9114%500	244	FUN%5417%584
		245	FUN%5417%584
		246	FUN%5417%584
		247	FUN%5417%584»
		248	FUN%5417%585
		249	FUN%5417%585
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%~~498~~»	260	MK-LET%mod%583»
261	FUN%9114%500	261	FUN%5417%585
262	,SPUTPROP	262	,SPUTPROP
263	FUN%9114%502	263	FUN%5417%587
264	» CURRYBIND	264	» CURRYBIND
265	,SPUTPROP	265	,SPUTPROP
266	FUN%9114%503	266	FUN%5417%588
267	» CURRYBIND	267	» CURRYBIND
268	FUN%9114%502
269	FUN%9114%502
270	FUN%9114%502»	268	FUN%5417%587
		269	FUN%5417%587
		270	FUN%5417%587»
271	EVALUATION»	271	EVALUATION»
272	FUN%9114%503
273	FUN%9114%503	272	FUN%5417%588
		273	FUN%5417%588
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%501»	284	MK-LET%gcd%586»
285	FUN%9114%503	285	FUN%5417%588
286	,SPUTPROP	286	,SPUTPROP
287	FUN%9114%505	287	FUN%5417%590
288	» CURRYBIND	288	» CURRYBIND
289	FUN%9114%505
290	FUN%9114%505	289	FUN%5417%590
		290	FUN%5417%590
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%504»	301	MK-LET%lcm%589»
302	FUN%9114%505	302	FUN%5417%590


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%1~~184~~%~~567~~	251	FUN%1453%618
252	» CURRYBIND	252	» CURRYBIND
253	EVALUATION»	253	EVALUATION»
254	MK-LET%is_plus%~~550~~»	254	MK-LET%is_plus%621»
255	FUN%5836%109»	255	FUN%8825%98»
256	MK-LET%arg1%~~595~~»	256	MK-LET%arg1%666»
257	FUN%5836%64»	257	FUN%8825%53»
258	ML-IS_CONST»	258	ML-IS_CONST»
259	FUN%1729%~~275~~»	259	FUN%8921%317»
260	MK-LET%ADD_CONV%346»	260	MK-LET%ADD_CONV%486»
261	FUN%8310%225»
262	FUN%~~8310~~%228»	261	FUN%9129%294»
		262	FUN%9129%297»
263	MK-LETREF%ADD_ASSOC_CONV%526»	263	MK-LETREF%ADD_ASSOC_CONV%626»
264	FUN%8310%49»
265	FUN%9~~610~~%~~355~~»	264	FUN%9129%118»
		265	FUN%8794%495»
266	COLLECT_NUM_CONSTS_CONV»	266	COLLECT_NUM_CONSTS_CONV»
267	FUN%1184%567
268	FUN%1~~184~~%~~567~~	267	FUN%1453%618
		268	FUN%1453%618
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%~~566~~»	276	"MK-LET%COLLECT_NUM_CONSTS_CONV%617»
277	FUN%1~~184~~%~~567~~	277	FUN%1453%618
278	,SPUTPROP	278	,SPUTPROP
279	FUN%1~~184~~%~~569~~	279	FUN%1453%620
280	» CURRYBIND	280	» CURRYBIND
281	,SPUTPROP	281	,SPUTPROP
282	FUN%1~~184~~%~~570~~	282	FUN%1453%621
283	» CURRYBIND	283	» CURRYBIND
284	FUN%1~~184~~%~~569~~	284	FUN%1453%620
285	,SPUTPROP	285	,SPUTPROP
286	FUN%1~~184~~%~~571~~	286	FUN%1453%622
287	» CURRYBIND	287	» CURRYBIND
288	FUN%1~~184~~%~~570~~	288	FUN%1453%621
289	MK-LET%is_neg%136»	289	MK-LET%is_neg%178»
290	MK-LET%is_eq%134»	290	MK-LET%is_eq%176»
291	FUN%9966%572»
292	FUN%9966%576»
293	FUN%9966%579»
294	FUN%9966%559»
295	FUN%~~9966~~%585»	291	FUN%2257%645»
		292	FUN%2257%649»
		293	FUN%2257%652»
		294	FUN%2257%632»
		295	FUN%2257%658»
296	"MK-LETREF%NOT_NUM_EQ_NORM_CONV%542»	296	"MK-LETREF%NOT_NUM_EQ_NORM_CONV%642»
297	MK-LET%is_leq%~~574~~»	297	MK-LET%is_leq%645»
298	MK-LETREF%NOT_LEQ_NORM_CONV%540»	298	MK-LETREF%NOT_LEQ_NORM_CONV%640»
299	MK-LET%is_less%~~573~~»	299	MK-LET%is_less%644»
300	·MK-LETREF%NOT_LESS_NORM_CONV%541»	300	·MK-LETREF%NOT_LESS_NORM_CONV%641»
301	MK-LET%is_great%~~575~~»	301	MK-LET%is_great%646»
302	!MK-LETREF%NOT_GREAT_NORM_CONV%539»	302	!MK-LETREF%NOT_GREAT_NORM_CONV%639»
303	MK-LET%is_geq%~~576~~»	303	MK-LET%is_geq%647»
304	MK-LETREF%NOT_GEQ_NORM_CONV%538»	304	MK-LETREF%NOT_GEQ_NORM_CONV%638»
305	FUN%~~9966~~%~~558~~»	305	FUN%2257%631»
306	MK-LETREF%NUM_EQ_NORM_CONV%543»	306	MK-LETREF%NUM_EQ_NORM_CONV%643»
307	MK-LETREF%LESS_NORM_CONV%535»	307	MK-LETREF%LESS_NORM_CONV%635»
308	MK-LETREF%GREAT_NORM_CONV%533»	308	MK-LETREF%GREAT_NORM_CONV%633»
309	MK-LETREF%GEQ_NORM_CONV%532»	309	MK-LETREF%GEQ_NORM_CONV%632»
310	NUM_RELN_NORM_QCONV»	310	NUM_RELN_NORM_QCONV»
311	FUN%9966%550»
312	FUN%1184%569
313	FUN%1184%569
314	FUN%1184%569»
315	FUN%1184%570
316	FUN%1184%570
317	FUN%1184%570»
318	FUN%1184%571
319	FUN%~~1184~~%~~571~~	311	FUN%2257%623»
		312	FUN%1453%620
		313	FUN%1453%620
		314	FUN%1453%620»
		315	FUN%1453%621
		316	FUN%1453%621
		317	FUN%1453%621»
		318	FUN%1453%622
		319	FUN%1453%622
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 336, 63 lines modified		Offset 336, 63 lines modified
336	» MK-FUNTYP»	336	» MK-FUNTYP»
337	» MK-FUNTYP	337	» MK-FUNTYP
338	MK-TERMTYP	338	MK-TERMTYP
339	» MK-THMTYP»	339	» MK-THMTYP»
340	» MK-FUNTYP	340	» MK-FUNTYP
341	MK-TERMTYP	341	MK-TERMTYP
342	» MK-THMTYP»	342	» MK-THMTYP»
343	MK-LET%NUM_RELN_NORM_QCONV%~~568~~»	343	MK-LET%NUM_RELN_NORM_QCONV%619»
344	FUN%1~~184~~%~~571~~	344	FUN%1453%622
345	,SPUTPROP	345	,SPUTPROP
346	FUN%1~~184~~%~~573~~	346	FUN%1453%624
347	» CURRYBIND	347	» CURRYBIND
348	MK-LET%dest_mult%~~549~~»	348	MK-LET%dest_mult%620»
349	FUN%7452%543»
350	FUN%~~7452~~%~~590~~»	349	FUN%8641%614»
		350	FUN%8641%661»
351	MK-LETREF%ZERO_MULT%499»	351	MK-LETREF%ZERO_MULT%599»
352	FUN%99~~23%55~~»	352	FUN%8697%179»
353	MK-LETREF%ONE_MULT%500»	353	MK-LETREF%ONE_MULT%600»
354	MK-LET%num_CONV%416»	354	MK-LET%num_CONV%432»
355	FUN%~~8310~~%227»	355	FUN%9129%296»
356	MK-LETREF%MULT_SUC%503»	356	MK-LETREF%MULT_SUC%603»
357	MK-LET%term_of_int%~~591~~»	357	MK-LET%term_of_int%662»
358	FUN%7452%592»
359	FUN%1729%125»
360	FUN%1729%268»
361	FUN%~~9923~~%35»	358	FUN%8641%663»
		359	FUN%8921%167»
Max diff block lines reached; 8594/11902 bytes (72.21%) of diff not shown.


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%9185%~~569~~	204	FUN%9775%641
205	» CURRYBIND	205	» CURRYBIND
206	,SPUTPROP	206	,SPUTPROP
207	FUN%9185%~~568~~	207	FUN%9775%640
208	» CURRYBIND	208	» CURRYBIND
209	FUN%9185%~~569~~	209	FUN%9775%641
210	EVALUATION»	210	EVALUATION»
211	FUN%~~9966~~%~~556~~»	211	FUN%2257%629»
212	MK-LET%is_neg%136»	212	MK-LET%is_neg%178»
213	FUN%5836%109»
214	FUN%9185%568»
215	FUN%~~9966~~%575»	213	FUN%8825%98»
		214	FUN%9775%640»
		215	FUN%2257%648»
216	MK-LET%is_eq%134»	216	MK-LET%is_eq%176»
217	MK-LETREF%EQ_EXPAND_CONV%516»	217	MK-LETREF%EQ_EXPAND_CONV%616»
218	FUN%9966%585»
219	FUN%~~9966~~%558»	218	FUN%2257%658»
		219	FUN%2257%631»
220	MK-LET%is_imp%133»	220	MK-LET%is_imp%175»
221	MK-LETREF%IMP_EXPAND_CONV%517»	221	MK-LETREF%IMP_EXPAND_CONV%617»
222	FUN%~~9966~~%~~584~~»	222	FUN%2257%657»
223	EQ_IMP_ELIM_QCONV»	223	EQ_IMP_ELIM_QCONV»
224	FUN%9966%550»
225	FUN%9185%569
226	FUN%9185%569
227	FUN%9185%569»
228	FUN%9185%568
229	FUN%~~9185~~%~~568~~	224	FUN%2257%623»
		225	FUN%9775%641
		226	FUN%9775%641
		227	FUN%9775%641»
		228	FUN%9775%640
		229	FUN%9775%640
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 239, 41 lines modified		Offset 239, 41 lines modified
239	» MK-FUNTYP	239	» MK-FUNTYP
240	MK-TERMTYP	240	MK-TERMTYP
241	MK-BOOLTYP»	241	MK-BOOLTYP»
242	» MK-FUNTYP	242	» MK-FUNTYP
243	MK-TERMTYP	243	MK-TERMTYP
244	» MK-THMTYP»	244	» MK-THMTYP»
245	» MK-LETREC»	245	» MK-LETREC»
246	MK-LETREC%EQ_IMP_ELIM_QCONV%~~567~~»	246	MK-LETREC%EQ_IMP_ELIM_QCONV%639»
247	,SPUTPROP	247	,SPUTPROP
248	FUN%9185%~~572~~	248	FUN%9775%644
249	» CURRYBIND	249	» CURRYBIND
250	,SPUTPROP	250	,SPUTPROP
251	FUN%9185%~~573~~	251	FUN%9775%645
252	» CURRYBIND	252	» CURRYBIND
253	FUN%9185%~~572~~	253	FUN%9775%644
254	,SPUTPROP	254	,SPUTPROP
255	FUN%9185%~~571~~	255	FUN%9775%643
256	» CURRYBIND	256	» CURRYBIND
257	FUN%9185%573
258	FUN%1729%275»
259	FUN%9185%5~~73»~~	257	FUN%9775%645
		258	FUN%8921%317»
		259	FUN%9775%645»
260	MK-LETREF%NOT_NOT_NORM_CONV%523»	260	MK-LETREF%NOT_NOT_NORM_CONV%623»
261	MK-LET%is_conj%131»	261	MK-LET%is_conj%173»
262	·MK-LETREF%NOT_CONJ_NORM_CONV%521»	262	·MK-LETREF%NOT_CONJ_NORM_CONV%621»
263	MK-LET%is_disj%132»	263	MK-LET%is_disj%174»
264	·MK-LETREF%NOT_DISJ_NORM_CONV%522»	264	·MK-LETREF%NOT_DISJ_NORM_CONV%622»
265	MOVE_NOT_DOWN_QCONV»	265	MOVE_NOT_DOWN_QCONV»
266	FUN%9185%572
267	FUN%9185%572
268	FUN%9185%572»
269	FUN%9185%573
270	FUN%9185%573
271	FUN%9185%571
272	FUN%9185%~~571~~	266	FUN%9775%644
		267	FUN%9775%644
		268	FUN%9775%644»
		269	FUN%9775%645
		270	FUN%9775%645
		271	FUN%9775%643
		272	FUN%9775%643
273	» MK-FUNTYP»	273	» MK-FUNTYP»
274	» MK-FUNTYP	274	» MK-FUNTYP
275	MK-TERMTYP	275	MK-TERMTYP
276	MK-BOOLTYP»	276	MK-BOOLTYP»
277	» MK-FUNTYP»	277	» MK-FUNTYP»
278	» MK-FUNTYP	278	» MK-FUNTYP
279	MK-TERMTYP	279	MK-TERMTYP
Offset 289, 55 lines modified		Offset 289, 55 lines modified
289	» MK-FUNTYP»	289	» MK-FUNTYP»
290	» MK-FUNTYP	290	» MK-FUNTYP
291	MK-TERMTYP	291	MK-TERMTYP
292	» MK-THMTYP»	292	» MK-THMTYP»
293	» MK-FUNTYP	293	» MK-FUNTYP
294	MK-TERMTYP	294	MK-TERMTYP
295	» MK-THMTYP»	295	» MK-THMTYP»
296	!MK-LETREC%MOVE_NOT_DOWN_QCONV%~~570~~»	296	!MK-LETREC%MOVE_NOT_DOWN_QCONV%642»
297	FUN%9185%~~571~~	297	FUN%9775%643
298	,SPUTPROP	298	,SPUTPROP
299	FUN%9185%~~575~~	299	FUN%9775%647
300	» CURRYBIND	300	» CURRYBIND
301	MK-LET%arg1%~~595~~»	301	MK-LET%arg1%666»
302	FUN%5836%64»
303	FUN%9966%572»
304	FUN%~~9966~~%576»	302	FUN%8825%53»
		303	FUN%2257%645»
		304	FUN%2257%649»
305	"MK-LETREF%DISJ_ASSOC_NORM_CONV%515»	305	"MK-LETREF%DISJ_ASSOC_NORM_CONV%615»
306	FUN%~~9966~~%~~559~~»	306	FUN%2257%632»
307	DISJ_LINEAR_QCONV»	307	DISJ_LINEAR_QCONV»
308	FUN%9185%575
309	FUN%9185%~~575~~	308	FUN%9775%647
		309	FUN%9775%647
310	» MK-FUNTYP	310	» MK-FUNTYP
311	MK-TERMTYP	311	MK-TERMTYP
312	» MK-THMTYP»	312	» MK-THMTYP»
313	DISJ_LINEAR_QCONV	313	DISJ_LINEAR_QCONV
Max diff block lines reached; 846/3531 bytes (23.96%) of diff not shown.


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%~~452~~%~~535~~	210	FUN%6778%643
211	» CURRYBIND	211	» CURRYBIND
212	,SPUTPROP	212	,SPUTPROP
213	FUN%~~452~~%~~536~~	213	FUN%6778%644
214	» CURRYBIND	214	» CURRYBIND
215	FUN%~~452~~%~~535~~	215	FUN%6778%643
216	EVALUATION»	216	EVALUATION»
217	MK-LET%dest_leq%~~570~~»	217	MK-LET%dest_leq%641»
218	FUN%~~7452~~%~~565~~»	218	FUN%8641%636»
219	MK-LET%mk_plus%~~538~~»	219	MK-LET%mk_plus%609»
220	FUN%~~7452~~%~~535~~»	220	FUN%8641%606»
221	MK-LET%mk_leq%~~560~~»	221	MK-LET%mk_leq%631»
222	FUN%~~7452~~%~~556~~»	222	FUN%8641%627»
223	MK-LETREF%LEQ_PLUS_CONV%550»	223	MK-LETREF%LEQ_PLUS_CONV%650»
224	FUN%99~~23%33~~»	224	FUN%8697%157»
225	ADD_TERM_TO_LEQ_CONV»	225	ADD_TERM_TO_LEQ_CONV»
226	FUN%452%535
227	FUN%452%535
228	FUN%452%535»
229	FUN%452%536
230	FUN%~~452~~%~~536~~	226	FUN%6778%643
		227	FUN%6778%643
		228	FUN%6778%643»
		229	FUN%6778%644
		230	FUN%6778%644
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%~~534~~»	242	MK-LET%ADD_TERM_TO_LEQ_CONV%642»
243	FUN%~~452~~%~~536~~	243	FUN%6778%644
244	,SPUTPROP	244	,SPUTPROP
245	FUN%~~452~~%~~538~~	245	FUN%6778%646
246	» CURRYBIND	246	» CURRYBIND
247	,SPUTPROP	247	,SPUTPROP
248	FUN%~~452~~%~~539~~	248	FUN%6778%647
249	» CURRYBIND	249	» CURRYBIND
250	,SPUTPROP	250	,SPUTPROP
251	FUN%~~452~~%540	251	FUN%6778%648
252	» CURRYBIND	252	» CURRYBIND
253	MK-LET%ALL_QCONV%~~555~~»	253	MK-LET%ALL_QCONV%628»
254	MK-LET%term_of_int%~~591~~»	254	MK-LET%term_of_int%662»
255	FUN%~~7452~~%~~592~~»	255	FUN%8641%663»
256	MK-LET%mk_num_var%~~593~~»	256	MK-LET%mk_num_var%664»
257	FUN%~~7452~~%~~594~~»	257	FUN%8641%665»
258	MK-LET%mk_mult%~~540~~»	258	MK-LET%mk_mult%611»
259	FUN%452%538»
260	FUN%9966%559»
261	FUN%452%538
262	FUN%452%538
263	FUN%~~9966~~%~~558~~»	259	FUN%6778%646»
		260	FUN%2257%632»
		261	FUN%6778%646
		262	FUN%6778%646
		263	FUN%2257%631»
264	ADD_COEFFS_TO_LEQ_QCONV»	264	ADD_COEFFS_TO_LEQ_QCONV»
265	FUN%9966%550»
266	FUN%452%539
267	FUN%452%539
268	FUN%452%539»
269	FUN%452%540
270	FUN%452%~~540~~	265	FUN%2257%623»
		266	FUN%6778%647
		267	FUN%6778%647
		268	FUN%6778%647»
		269	FUN%6778%648
		270	FUN%6778%648
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 285, 67 lines modified		Offset 285, 67 lines modified
285	» MK-LISTYP»	285	» MK-LISTYP»
286	MK-PRODTYP	286	MK-PRODTYP
287	» MK-TOKTYP	287	» MK-TOKTYP
288	» MK-INTTYP»	288	» MK-INTTYP»
289	» MK-FUNTYP	289	» MK-FUNTYP
290	MK-TERMTYP	290	MK-TERMTYP
291	» MK-THMTYP»	291	» MK-THMTYP»
292	"MK-LET%ADD_COEFFS_TO_LEQ_QCONV%~~537~~»	292	"MK-LET%ADD_COEFFS_TO_LEQ_QCONV%645»
293	FUN%~~452~~%540	293	FUN%6778%648
294	,SPUTPROP	294	,SPUTPROP
295	FUN%~~452~~%~~543~~	295	FUN%6778%651
296	» CURRYBIND	296	» CURRYBIND
297	,SPUTPROP	297	,SPUTPROP
298	FUN%~~452~~%~~542~~	298	FUN%6778%650
299	» CURRYBIND	299	» CURRYBIND
300	FUN%~~452~~%~~543~~	300	FUN%6778%651
301	,SPUTPROP	301	,SPUTPROP
302	FUN%~~452~~%~~544~~	302	FUN%6778%652
303	» CURRYBIND	303	» CURRYBIND
304	FUN%452%543»
305	FUN%9667%552»
306	FUN%452%543
307	FUN%452%543
308	FUN%452%542
309	FUN%452%542
310	FUN%9770%577»
311	FUN%9770%~~584~~»	304	FUN%6778%651»
		305	FUN%953%620»
		306	FUN%6778%651
		307	FUN%6778%651
		308	FUN%6778%650
		309	FUN%6778%650
		310	FUN%1690%679»
		311	FUN%1690%686»
312	"MK-LET%NORM_ZERO_AND_ONE_QCONV%608»	312	"MK-LET%NORM_ZERO_AND_ONE_QCONV%659»
313	·MK-LET%SORT_AND_GATHER_QCONV%604»	313	·MK-LET%SORT_AND_GATHER_QCONV%655»
314	FUN%~~9966~~%585»	314	FUN%2257%658»
315	LESS_OR_EQ_GATHER_QCONV»	315	LESS_OR_EQ_GATHER_QCONV»
Max diff block lines reached; 1062/3737 bytes (28.42%) of diff not shown.


Offset 194, 105 lines modified		Offset 194, 105 lines modified
194	.comment	194	.comment
195	.note.GNU-stack	195	.note.GNU-stack
196	.rel.debug_frame	196	.rel.debug_frame
197	.ARM.attributes	197	.ARM.attributes
198	COMMON-LISP-USER	198	COMMON-LISP-USER
199	SYSTEMSPUTPROP	199	SYSTEMSPUTPROP
200	COMMON-LISPQUOTE	200	COMMON-LISPQUOTE
201	FUN%~~7570~~%~~553~~	201	FUN%2237%602
202	» CURRYBIND	202	» CURRYBIND
203	EVALUATION»	203	EVALUATION»
204	MK-LET%dest_eq%98»	204	MK-LET%dest_eq%140»
205	FUN%1729%100»	205	FUN%8921%142»
206	MK-LET%is_forall%128»	206	MK-LET%is_forall%170»
207	FUN%5836%109»	207	FUN%8825%98»
208	MK-LET%is_exists%129»	208	MK-LET%is_exists%171»
209	MK-LET%EQ_IMP_THM%165»	209	MK-LET%EQ_IMP_THM%144»
210	FUN%~~9923~~%58»	210	FUN%8697%182»
211	QUANT_EQ_IMP_CONV»	211	QUANT_EQ_IMP_CONV»
212	FUN%7570%553
213	FUN%~~7570~~%~~553~~	212	FUN%2237%602
		213	FUN%2237%602
214	» MK-FUNTYP	214	» MK-FUNTYP
215	MK-TERMTYP	215	MK-TERMTYP
216	» MK-THMTYP»	216	» MK-THMTYP»
217	QUANT_EQ_IMP_CONV	217	QUANT_EQ_IMP_CONV
218	» MK-FUNTYP	218	» MK-FUNTYP
219	MK-TERMTYP	219	MK-TERMTYP
220	» MK-THMTYP»	220	» MK-THMTYP»
221	MK-LET%QUANT_EQ_IMP_CONV%~~552~~»	221	MK-LET%QUANT_EQ_IMP_CONV%601»
222	FUN%~~7570~~%~~553~~	222	FUN%2237%602
223	,SPUTPROP	223	,SPUTPROP
224	FUN%~~7570~~%~~556~~	224	FUN%2237%605
225	» CURRYBIND	225	» CURRYBIND
226	,SPUTPROP	226	,SPUTPROP
227	FUN%~~7570~~%~~555~~	227	FUN%2237%604
228	» CURRYBIND	228	» CURRYBIND
229	ML-DEST_COMB»	229	ML-DEST_COMB»
230	FUN%7570%556»
231	FUN%1729%279»
232	FUN%7570%556
233	FUN%757~~0%5~~56	230	FUN%2237%605»
		231	FUN%8921%321»
		232	FUN%2237%605
		233	FUN%2237%605
234	MK-LET%dest_forall%81»	234	MK-LET%dest_forall%123»
235	FUN%1729%83»
236	FUN%~~7570~~%555»	235	FUN%8921%125»
		236	FUN%2237%604»
237	MK-LET%dest_exists%84»	237	MK-LET%dest_exists%126»
238	FUN%1729%86»
239	FUN%7570%555
240	FUN%~~7570~~%~~555~~	238	FUN%8921%128»
		239	FUN%2237%604
		240	FUN%2237%604
241	» MK-FUNTYP	241	» MK-FUNTYP
242	MK-TERMTYP	242	MK-TERMTYP
243	MK-BOOLTYP»	243	MK-BOOLTYP»
244	» is_prenex	244	» is_prenex
245	» MK-FUNTYP	245	» MK-FUNTYP
246	MK-TERMTYP	246	MK-TERMTYP
247	MK-BOOLTYP»	247	MK-BOOLTYP»
248	» MK-LETREC»	248	» MK-LETREC»
249	MK-LETREC%is_prenex%~~554~~»	249	MK-LETREC%is_prenex%603»
250	» is_prenex	250	» is_prenex
251	,SPUTPROP	251	,SPUTPROP
252	FUN%~~7570~~%~~558~~	252	FUN%2237%607
253	» CURRYBIND	253	» CURRYBIND
254	,SPUTPROP	254	,SPUTPROP
255	FUN%~~7570~~%~~559~~	255	FUN%2237%608
256	» CURRYBIND	256	» CURRYBIND
257	MK-LET%is_neg%136»	257	MK-LET%is_neg%178»
258	MK-LET%NOT_EXISTS_CONV%~~147~~»	258	MK-LET%NOT_EXISTS_CONV%216»
259	MK-LET%NOT_FORALL_CONV%145»	259	MK-LET%NOT_FORALL_CONV%214»
260	FUN%~~8310~~%53»	260	FUN%9129%122»
261	MK-LET%is_conj%131»	261	MK-LET%is_conj%173»
262	·MK-LET%RIGHT_AND_EXISTS_CONV%~~175~~»	262	·MK-LET%RIGHT_AND_EXISTS_CONV%244»
263	MK-LET%LEFT_AND_EXISTS_CONV%~~173~~»	263	MK-LET%LEFT_AND_EXISTS_CONV%242»
264	MK-LET%AND_EXISTS_CONV%~~171~~»	264	MK-LET%AND_EXISTS_CONV%240»
265	·MK-LET%RIGHT_AND_FORALL_CONV%~~161~~»	265	·MK-LET%RIGHT_AND_FORALL_CONV%230»
266	MK-LET%LEFT_AND_FORALL_CONV%~~159~~»	266	MK-LET%LEFT_AND_FORALL_CONV%228»
267	MK-LET%AND_FORALL_CONV%~~157~~»	267	MK-LET%AND_FORALL_CONV%226»
268	FUN%~~8310~~%54»	268	FUN%9129%123»
269	MK-LET%is_disj%132»	269	MK-LET%is_disj%174»
270	MK-LET%RIGHT_OR_EXISTS_CONV%~~167~~»	270	MK-LET%RIGHT_OR_EXISTS_CONV%236»
271	MK-LET%LEFT_OR_EXISTS_CONV%~~165~~»	271	MK-LET%LEFT_OR_EXISTS_CONV%234»
272	MK-LET%OR_EXISTS_CONV%~~163~~»	272	MK-LET%OR_EXISTS_CONV%232»
273	MK-LET%RIGHT_OR_FORALL_CONV%~~183~~»	273	MK-LET%RIGHT_OR_FORALL_CONV%252»
274	MK-LET%LEFT_OR_FORALL_CONV%~~181~~»	274	MK-LET%LEFT_OR_FORALL_CONV%250»
275	MK-LET%OR_FORALL_CONV%~~179~~»	275	MK-LET%OR_FORALL_CONV%248»
276	MK-LET%is_imp%133»	276	MK-LET%is_imp%175»
277	·MK-LET%RIGHT_IMP_EXISTS_CONV%~~195~~»	277	·MK-LET%RIGHT_IMP_EXISTS_CONV%264»
278	MK-LET%LEFT_IMP_EXISTS_CONV%~~187~~»	278	MK-LET%LEFT_IMP_EXISTS_CONV%256»
279	·MK-LET%RIGHT_IMP_FORALL_CONV%~~189~~»	279	·MK-LET%RIGHT_IMP_FORALL_CONV%258»
280	MK-LET%LEFT_IMP_FORALL_CONV%~~193~~»	280	MK-LET%LEFT_IMP_FORALL_CONV%262»
281	MK-LET%is_eq%134»	281	MK-LET%is_eq%176»
282	FUN%7570%558
283	FUN%7570%558
284	FUN%1436%66»
285	FUN%7570%558»
286	FUN%8310%118»
287	FUN%7570%559
288	FUN%~~7570~~%~~559~~	282	FUN%2237%607
		283	FUN%2237%607
		284	FUN%9559%139»
		285	FUN%2237%607»
		286	FUN%9129%187»
		287	FUN%2237%608
		288	FUN%2237%608
289	» MK-FUNTYP	289	» MK-FUNTYP
290	MK-TERMTYP	290	MK-TERMTYP
291	» MK-THMTYP»	291	» MK-THMTYP»
292	PRENEX_CONV	292	PRENEX_CONV
293	» MK-FUNTYP	293	» MK-FUNTYP
294	MK-TERMTYP	294	MK-TERMTYP
295	» MK-THMTYP»	295	» MK-THMTYP»
296	MK-LET%PRENEX_CONV%~~557~~»	296	MK-LET%PRENEX_CONV%606»
297	PRENEX_CONV»	297	PRENEX_CONV»
298	FUN%~~7570~~%~~559~~	298	FUN%2237%608


Offset 219, 108 lines modified		Offset 219, 108 lines modified
219	.rel.debug_frame	219	.rel.debug_frame
220	.ARM.attributes	220	.ARM.attributes
221	COMMON-LISP-USER	221	COMMON-LISP-USER
222	COMMON-LISPPROGN»	222	COMMON-LISPPROGN»
223	SYSTEMSETVV	223	SYSTEMSETVV
224	» MK-TOKTYP»	224	» MK-TOKTYP»
225	» MK-TOKTYP»	225	» MK-TOKTYP»
226	MK-LET%qconv%~~548~~»	226	MK-LET%qconv%621»
227	-SPUTPROP	227	-SPUTPROP
228	FUN%~~9966~~%~~550~~	228	FUN%2257%623
229	» CURRYBIND	229	» CURRYBIND
230	-SPUTPROP	230	-SPUTPROP
231	FUN%~~9966~~%~~551~~	231	FUN%2257%624
232	» CURRYBIND	232	» CURRYBIND
233	FUN%~~9966~~%~~550~~	233	FUN%2257%623
234	EVALUATION»	234	EVALUATION»
235	FUN%9966%550
236	FUN%9966%550
237	FUN%9966%550»
238	FUN%9966%551
239	FUN%~~9966~~%~~551~~	235	FUN%2257%623
		236	FUN%2257%623
		237	FUN%2257%623»
		238	FUN%2257%624
		239	FUN%2257%624
240	» MK-FUNTYP	240	» MK-FUNTYP
241	» MK-TOKTYP»	241	» MK-TOKTYP»
242	» MK-FUNTYP	242	» MK-FUNTYP
243	» MK-TOKTYP	243	» MK-TOKTYP
244	» qfailwith	244	» qfailwith
245	» MK-FUNTYP	245	» MK-FUNTYP
246	» MK-TOKTYP»	246	» MK-TOKTYP»
247	» MK-FUNTYP	247	» MK-FUNTYP
248	» MK-TOKTYP	248	» MK-TOKTYP
249	MK-LET%qfailwith%~~549~~»	249	MK-LET%qfailwith%622»
250	» qfailwith»	250	» qfailwith»
251	FUN%~~9966~~%~~551~~	251	FUN%2257%624
252	-SPUTPROP	252	-SPUTPROP
253	FUN%~~9966~~%~~553~~	253	FUN%2257%626
254	» CURRYBIND	254	» CURRYBIND
255	-SPUTPROP	255	-SPUTPROP
256	FUN%~~9966~~%~~554~~	256	FUN%2257%627
257	» CURRYBIND	257	» CURRYBIND
258	FUN%9966%553
259	FUN%1436%66»
260	FUN%9966%553
261	FUN%9966%553
262	FUN%9966%553»
263	FUN%9966%554
264	FUN%~~9966~~%~~554~~	258	FUN%2257%626
		259	FUN%9559%139»
		260	FUN%2257%626
		261	FUN%2257%626
		262	FUN%2257%626»
		263	FUN%2257%627
		264	FUN%2257%627
265	» MK-FUNTYP»	265	» MK-FUNTYP»
266	» MK-FUNTYP	266	» MK-FUNTYP
267	MK-TERMTYP	267	MK-TERMTYP
268	» MK-THMTYP»	268	» MK-THMTYP»
269	» MK-FUNTYP	269	» MK-FUNTYP
270	MK-TERMTYP	270	MK-TERMTYP
271	» MK-THMTYP»	271	» MK-THMTYP»
272	» MK-FUNTYP»	272	» MK-FUNTYP»
273	» MK-FUNTYP	273	» MK-FUNTYP
274	MK-TERMTYP	274	MK-TERMTYP
275	» MK-THMTYP»	275	» MK-THMTYP»
276	» MK-FUNTYP	276	» MK-FUNTYP
277	MK-TERMTYP	277	MK-TERMTYP
278	» MK-THMTYP»	278	» MK-THMTYP»
279	MK-LET%QCONV%~~552~~»	279	MK-LET%QCONV%625»
280	FUN%~~9966~~%~~554~~	280	FUN%2257%627
281	-SPUTPROP	281	-SPUTPROP
282	FUN%~~9966~~%~~556~~	282	FUN%2257%629
283	» CURRYBIND	283	» CURRYBIND
284	FUN%~~9966~~%~~556~~	284	FUN%2257%629
285	» MK-FUNTYP	285	» MK-FUNTYP
286	MK-TERMTYP	286	MK-TERMTYP
287	» MK-THMTYP»	287	» MK-THMTYP»
288	» ALL_QCONV	288	» ALL_QCONV
289	» MK-FUNTYP	289	» MK-FUNTYP
290	MK-TERMTYP	290	MK-TERMTYP
291	» MK-THMTYP»	291	» MK-THMTYP»
292	MK-LET%ALL_QCONV%~~555~~»	292	MK-LET%ALL_QCONV%628»
293	» ALL_QCONV»	293	» ALL_QCONV»
294	FUN%~~9966~~%~~556~~	294	FUN%2257%629
295	MK-NULLTYP»	295	MK-NULLTYP»
296	MK-APPN»	296	MK-APPN»
297	ML-ML_CURRIED_INFIX	297	ML-ML_CURRIED_INFIX
298	-SPUTPROP	298	-SPUTPROP
299	FUN%~~9966~~%~~558~~	299	FUN%2257%631
300	» CURRYBIND	300	» CURRYBIND
301	-SPUTPROP	301	-SPUTPROP
302	FUN%~~9966~~%~~559~~	302	FUN%2257%632
303	» CURRYBIND	303	» CURRYBIND
304	FUN%~~9966~~%~~558~~	304	FUN%2257%631
305	-SPUTPROP	305	-SPUTPROP
306	FUN%~~9966~~%~~560~~	306	FUN%2257%633
307	» CURRYBIND	307	» CURRYBIND
308	FUN%9966%559
309	FUN%1729%125»
310	FUN%1729%268»
311	FUN%9923%35»
312	FUN%9966%558
313	FUN%9966%558
314	FUN%9966%558»
315	FUN%9966%559
316	FUN%9966%559
317	FUN%9966%559»
318	FUN%9966%560
319	FUN%~~9966~~%~~560~~	308	FUN%2257%632
		309	FUN%8921%167»
		310	FUN%8921%310»
		311	FUN%8697%159»
		312	FUN%2257%631
		313	FUN%2257%631
		314	FUN%2257%631»
		315	FUN%2257%632
		316	FUN%2257%632
		317	FUN%2257%632»
		318	FUN%2257%633
		319	FUN%2257%633
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»
Max diff block lines reached; 5237/7330 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%513	227	ABS%rat%596
228	-SPUTPROP	228	-SPUTPROP
229	ABS%rat%513	229	ABS%rat%596
230	» ABSTYNAME	230	» ABSTYNAME
231	-SPUTPROP	231	-SPUTPROP
232	FUN%531%~~523~~	232	FUN%2232%606
233	» CURRYBIND	233	» CURRYBIND
234	-SPUTPROP	234	-SPUTPROP
235	FUN%531%~~524~~	235	FUN%2232%607
236	» CURRYBIND	236	» CURRYBIND
237	-SPUTPROP	237	-SPUTPROP
238	FUN%531%~~525~~	238	FUN%2232%608
239	» CURRYBIND	239	» CURRYBIND
240	-SPUTPROP	240	-SPUTPROP
241	FUN%531%~~526~~	241	FUN%2232%609
242	» CURRYBIND	242	» CURRYBIND
243	-SPUTPROP	243	-SPUTPROP
244	FUN%531%~~527~~	244	FUN%2232%610
245	» CURRYBIND	245	» CURRYBIND
246	-SPUTPROP	246	-SPUTPROP
247	FUN%531%~~528~~	247	FUN%2232%611
248	» CURRYBIND	248	» CURRYBIND
249	FUN%531%~~527~~	249	FUN%2232%610
250	-SPUTPROP	250	-SPUTPROP
251	FUN%531%~~529~~	251	FUN%2232%612
252	» CURRYBIND	252	» CURRYBIND
253	-SPUTPROP	253	-SPUTPROP
254	FUN%531%~~530~~	254	FUN%2232%613
255	» CURRYBIND	255	» CURRYBIND
256	FUN%531%~~529~~	256	FUN%2232%612
257	-SPUTPROP	257	-SPUTPROP
258	FUN%531%~~531~~	258	FUN%2232%614
259	» CURRYBIND	259	» CURRYBIND
260	-SPUTPROP	260	-SPUTPROP
261	FUN%531%~~532~~	261	FUN%2232%615
262	» CURRYBIND	262	» CURRYBIND
263	FUN%531%~~531~~	263	FUN%2232%614
264	-SPUTPROP	264	-SPUTPROP
265	FUN%531%~~533~~	265	FUN%2232%616
266	» CURRYBIND	266	» CURRYBIND
267	-SPUTPROP	267	-SPUTPROP
268	FUN%531%~~534~~	268	FUN%2232%617
269	» CURRYBIND	269	» CURRYBIND
270	FUN%531%~~533~~	270	FUN%2232%616
271	-SPUTPROP	271	-SPUTPROP
272	FUN%531%~~535~~	272	FUN%2232%618
273	» CURRYBIND	273	» CURRYBIND
274	EVALUATION»	274	EVALUATION»
275	FUN%9114%497»
276	FUN%9114%503»
277	FUN%531%523	275	FUN%5417%582»
278	FUN%531%523
279	FUN%531%524
280	FUN%531%524
281	FUN%531%525
282	FUN%531%525	276	FUN%5417%588»
		277	FUN%2232%606
		278	FUN%2232%606
		279	FUN%2232%607
		280	FUN%2232%607
		281	FUN%2232%608
		282	FUN%2232%608
283	rat_inv»	283	rat_inv»
284	FUN%531%526
285	FUN%531%526
286	FUN%531%527
287	FUN%531%527
288	FUN%531%527»
289	FUN%531%528
290	FUN%531%528
291	FUN%531%529
292	FUN%531%529
293	FUN%531%529»
294	FUN%531%530
295	FUN%531%530
296	FUN%531%531
297	FUN%531%531
298	FUN%531%531»
299	FUN%531%532
300	FUN%531%~~532~~	284	FUN%2232%609
		285	FUN%2232%609
		286	FUN%2232%610
		287	FUN%2232%610
		288	FUN%2232%610»
		289	FUN%2232%611
		290	FUN%2232%611
		291	FUN%2232%612
		292	FUN%2232%612
		293	FUN%2232%612»
		294	FUN%2232%613
		295	FUN%2232%613
		296	FUN%2232%614
		297	FUN%2232%614
		298	FUN%2232%614»
		299	FUN%2232%615
		300	FUN%2232%615
301	rat_div»	301	rat_div»
302	FUN%531%533
303	FUN%531%533
304	FUN%531%533»
305	FUN%531%534
306	FUN%531%~~534~~	302	FUN%2232%616
		303	FUN%2232%616
		304	FUN%2232%616»
		305	FUN%2232%617
		306	FUN%2232%617
307	ML-PRINT_INT»	307	ML-PRINT_INT»
308	PSTRING»	308	PSTRING»
309	FUN%531%535
310	FUN%531%~~535~~	309	FUN%2232%618
		310	FUN%2232%618
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%513»	316	ABS%rat%596»
317	MK-PRODTYP»	317	MK-PRODTYP»
318	» MK-FUNTYP	318	» MK-FUNTYP
319	ABS%rat%513	319	ABS%rat%596
Max diff block lines reached; 4459/6520 bytes (68.39%) 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%8242%~~525~~	242	FUN%239%604
243	» CURRYBIND	243	» CURRYBIND
244	,SPUTPROP	244	,SPUTPROP
245	FUN%8242%~~526~~	245	FUN%239%605
246	» CURRYBIND	246	» CURRYBIND
247	FUN%8242%~~525~~	247	FUN%239%604
248	EVALUATION»	248	EVALUATION»
249	Neg_inf»	249	Neg_inf»
250	Pos_inf»	250	Pos_inf»
251	FUN%531%~~546~~»	251	FUN%2232%629»
252	pattern»	252	pattern»
253	less_bound»	253	less_bound»
254	FUN%8242%525
255	FUN%8242%525
256	FUN%8242%525»
257	FUN%8242%526
258	FUN%8242%~~526~~	254	FUN%239%604
		255	FUN%239%604
		256	FUN%239%604»
		257	FUN%239%605
		258	FUN%239%605
259	» MK-FUNTYP	259	» MK-FUNTYP
260	CONC%bound%559»	260	CONC%bound%599»
261	» MK-FUNTYP	261	» MK-FUNTYP
262	CONC%bound%559	262	CONC%bound%599
263	MK-BOOLTYP»	263	MK-BOOLTYP»
264	less_bound	264	less_bound
265	» MK-FUNTYP	265	» MK-FUNTYP
266	CONC%bound%559»	266	CONC%bound%599»
267	» MK-FUNTYP	267	» MK-FUNTYP
268	CONC%bound%559	268	CONC%bound%599
269	MK-BOOLTYP»	269	MK-BOOLTYP»
270	MK-LET%less_bound%~~524~~»	270	MK-LET%less_bound%603»
271	FUN%8242%~~526~~	271	FUN%239%605
272	,SPUTPROP	272	,SPUTPROP
273	FUN%8242%~~528~~	273	FUN%239%607
274	» CURRYBIND	274	» CURRYBIND
275	MK-LET%rat_zero%~~543~~»	275	MK-LET%rat_zero%626»
276	is_neg_bound»	276	is_neg_bound»
277	FUN%8242%528
278	FUN%8242%~~528~~	277	FUN%239%607
		278	FUN%239%607
279	» MK-FUNTYP	279	» MK-FUNTYP
280	CONC%bound%559	280	CONC%bound%599
281	MK-BOOLTYP»	281	MK-BOOLTYP»
282	is_neg_bound	282	is_neg_bound
283	» MK-FUNTYP	283	» MK-FUNTYP
284	CONC%bound%559	284	CONC%bound%599
285	MK-BOOLTYP»	285	MK-BOOLTYP»
286	MK-LET%is_neg_bound%~~527~~»	286	MK-LET%is_neg_bound%606»
287	FUN%8242%~~528~~	287	FUN%239%607
288	,SPUTPROP	288	,SPUTPROP
289	FUN%8242%~~530~~	289	FUN%239%609
290	» CURRYBIND	290	» CURRYBIND
291	is_finite_bound»	291	is_finite_bound»
292	FUN%8242%530
293	FUN%8242%~~530~~	292	FUN%239%609
		293	FUN%239%609
294	» MK-FUNTYP	294	» MK-FUNTYP
295	CONC%bound%559	295	CONC%bound%599
296	MK-BOOLTYP»	296	MK-BOOLTYP»
297	is_finite_bound	297	is_finite_bound
298	» MK-FUNTYP	298	» MK-FUNTYP
299	CONC%bound%559	299	CONC%bound%599
300	MK-BOOLTYP»	300	MK-BOOLTYP»
301	MK-LET%is_finite_bound%~~529~~»	301	MK-LET%is_finite_bound%608»
302	FUN%8242%~~530~~	302	FUN%239%609
303	,SPUTPROP	303	,SPUTPROP
304	FUN%8242%~~532~~	304	FUN%239%611
305	» CURRYBIND	305	» CURRYBIND
306	rat_of_bound»	306	rat_of_bound»
307	FUN%8242%532
308	FUN%8242%~~532~~	307	FUN%239%611
		308	FUN%239%611
309	» MK-FUNTYP	309	» MK-FUNTYP
310	CONC%bound%559	310	CONC%bound%599
311	ABS%rat%513»	311	ABS%rat%596»
312	rat_of_bound	312	rat_of_bound
313	» MK-FUNTYP	313	» MK-FUNTYP
314	CONC%bound%559	314	CONC%bound%599
315	ABS%rat%513»	315	ABS%rat%596»
316	MK-LET%rat_of_bound%~~531~~»	316	MK-LET%rat_of_bound%610»
317	FUN%8242%~~532~~	317	FUN%239%611
318	,SPUTPROP	318	,SPUTPROP
319	FUN%8242%~~534~~	319	FUN%239%613
320	» CURRYBIND	320	» CURRYBIND
321	,SPUTPROP	321	,SPUTPROP
322	FUN%8242%~~535~~	322	FUN%239%614
323	» CURRYBIND	323	» CURRYBIND
324	FUN%8242%534
325	FUN%531%542»
326	FUN%531%540»
327	FUN%8242%534
328	FUN%8242%534
329	FUN%8242%534»
330	FUN%8242%535
331	FUN%8242%~~535~~	324	FUN%239%613
		325	FUN%2232%625»
		326	FUN%2232%623»
		327	FUN%239%613
		328	FUN%239%613
		329	FUN%239%613»
		330	FUN%239%614
		331	FUN%239%614
332	» MK-FUNTYP	332	» MK-FUNTYP
333	ABS%rat%513»	333	ABS%rat%596»
334	» MK-FUNTYP	334	» MK-FUNTYP
335	ABS%rat%513	335	ABS%rat%596
336	MK-BOOLTYP»	336	MK-BOOLTYP»
337	is_int_range	337	is_int_range
338	» MK-FUNTYP	338	» MK-FUNTYP
339	ABS%rat%513»	339	ABS%rat%596»
340	» MK-FUNTYP	340	» MK-FUNTYP
341	ABS%rat%513	341	ABS%rat%596
342	MK-BOOLTYP»	342	MK-BOOLTYP»
343	MK-LET%is_int_range%~~533~~»	343	MK-LET%is_int_range%612»
344	is_int_range»	344	is_int_range»
345	FUN%8242%~~535~~	345	FUN%239%614
346	,SPUTPROP	346	,SPUTPROP
347	FUN%8242%~~537~~	347	FUN%239%616
Max diff block lines reached; 3604/6099 bytes (59.09%) 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%~~9092~~%575	230	FUN%4116%581
231	» CURRYBIND	231	» CURRYBIND
232	,SPUTPROP	232	,SPUTPROP
233	FUN%~~9092~~%576	233	FUN%4116%582
234	» CURRYBIND	234	» CURRYBIND
235	FUN%1729%~~275~~»	235	FUN%8921%317»
236	MK-LET%is_mult%~~552~~»	236	MK-LET%is_mult%623»
237	FUN%5836%109»	237	FUN%8825%98»
238	MK-LETREC%FAST_MULT_CONV%~~578~~»	238	MK-LETREC%FAST_MULT_CONV%629»
239	FUN%9966%576»
240	FUN%~~9966~~%579»	239	FUN%2257%649»
		240	FUN%2257%652»
241	MK-LETREF%MULT_ASSOC_CONV%536»	241	MK-LETREF%MULT_ASSOC_CONV%636»
242	FUN%9966%558»
243	FUN%~~9966~~%~~559~~»	242	FUN%2257%631»
		243	FUN%2257%632»
244	#MK-LETREF%LEFT_ADD_DISTRIB_CONV%534»	244	#MK-LETREF%LEFT_ADD_DISTRIB_CONV%634»
245	FUN%9092%575
246	FUN%~~9092~~%575	245	FUN%4116%581
		246	FUN%4116%581
247	EVALUATION»	247	EVALUATION»
248	FUN%~~9092~~%575»	248	FUN%4116%581»
249	ML-IS_CONST»	249	ML-IS_CONST»
250	FUN%1~~184~~%~~579~~»	250	FUN%1453%630»
251	MK-LET%arg1%~~595~~»	251	MK-LET%arg1%666»
252	FUN%5836%64»	252	FUN%8825%53»
253	CONST_TIMES_ARITH_QCONV»	253	CONST_TIMES_ARITH_QCONV»
254	FUN%9966%550»
255	FUN%9092%576
256	FUN%~~9092~~%~~576~~	254	FUN%2257%623»
		255	FUN%4116%582
		256	FUN%4116%582
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%574»	264	"MK-LET%CONST_TIMES_ARITH_QCONV%580»
265	FUN%~~9092~~%576	265	FUN%4116%582
266	,SPUTPROP	266	,SPUTPROP
267	FUN%~~9092~~%578	267	FUN%4116%584
268	» CURRYBIND	268	» CURRYBIND
269	,SPUTPROP	269	,SPUTPROP
270	FUN%~~9092~~%579	270	FUN%4116%585
271	» CURRYBIND	271	» CURRYBIND
272	,SPUTPROP	272	,SPUTPROP
273	FUN%~~9092~~%580	273	FUN%4116%586
274	» CURRYBIND	274	» CURRYBIND
275	,SPUTPROP	275	,SPUTPROP
276	FUN%~~9092~~%581	276	FUN%4116%587
277	» CURRYBIND	277	» CURRYBIND
278	,SPUTPROP	278	,SPUTPROP
279	FUN%~~9092~~%582	279	FUN%4116%588
280	» CURRYBIND	280	» CURRYBIND
281	FUN%9092%581»
282	FUN%9092%578
283	FUN%9092%578
284	FUN%9092%579
285	FUN%9092%579
286	FUN%9923%35»
287	FUN%9092%580
288	FUN%~~9092~~%580	281	FUN%4116%587»
		282	FUN%4116%584
		283	FUN%4116%584
		284	FUN%4116%585
		285	FUN%4116%585
		286	FUN%8697%159»
		287	FUN%4116%586
		288	FUN%4116%586
289	MK-LET%dest_leq%~~570~~»	289	MK-LET%dest_leq%641»
290	FUN%7452%565»
291	FUN%7452%590»
292	FUN%~~9966~~%556»	290	FUN%8641%636»
		291	FUN%8641%661»
		292	FUN%2257%629»
293	MK-LET%term_of_int%~~591~~»	293	MK-LET%term_of_int%662»
294	FUN%~~7452~~%~~592~~»	294	FUN%8641%663»
295	MK-LET%num_CONV%416»	295	MK-LET%num_CONV%432»
296	FUN%8091%417»
297	FUN%~~9923~~%33»	296	FUN%4051%433»
		297	FUN%8697%157»
298	MK-LETREF%MULT_LEQ_SUC%506»	298	MK-LETREF%MULT_LEQ_SUC%606»
		299	FUN%8697%179»
		300	FUN%8921%167»
		301	FUN%8921%310»
299	FUN%9923%55»
300	FUN%1729%125»
301	FUN%1729%268»
302	FUN%9092%579»
303	FUN%8310%225»
304	FUN%8310%228»
305	FUN%9092%578»
306	FUN%8310%49»
307	FUN%~~996~~6%585»	302	FUN%4116%585»
308	FUN%9~~092~~%~~580~~»	303	FUN%9129%294»
		304	FUN%9129%297»
		305	FUN%4116%584»
		306	FUN%9129%118»
		307	FUN%2257%658»
		308	FUN%4116%586»
309	MULT_LEQ_BY_CONST_QCONV»	309	MULT_LEQ_BY_CONST_QCONV»
310	FUN%9092%581
311	FUN%9092%581
312	FUN%9092%581»
313	FUN%9092%582
314	FUN%~~9092~~%582	310	FUN%4116%587
		311	FUN%4116%587
		312	FUN%4116%587»
		313	FUN%4116%588
		314	FUN%4116%588
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»
Max diff block lines reached; 9631/12312 bytes (78.22%) of diff not shown.


Offset 204, 192 lines modified		Offset 204, 192 lines modified
204	.comment	204	.comment
205	.note.GNU-stack	205	.note.GNU-stack
206	.rel.debug_frame	206	.rel.debug_frame
207	.ARM.attributes	207	.ARM.attributes
208	COMMON-LISP-USER	208	COMMON-LISP-USER
209	SYSTEMSPUTPROP	209	SYSTEMSPUTPROP
210	COMMON-LISPQUOTE	210	COMMON-LISPQUOTE
211	FUN%387%~~570~~	211	FUN%6074%639
212	» CURRYBIND	212	» CURRYBIND
213	,SPUTPROP	213	,SPUTPROP
214	FUN%387%~~571~~	214	FUN%6074%640
215	» CURRYBIND	215	» CURRYBIND
216	,SPUTPROP	216	,SPUTPROP
217	FUN%387%~~572~~	217	FUN%6074%641
218	» CURRYBIND	218	» CURRYBIND
219	,SPUTPROP	219	,SPUTPROP
220	FUN%387%~~573~~	220	FUN%6074%642
221	» CURRYBIND	221	» CURRYBIND
222	,SPUTPROP	222	,SPUTPROP
223	FUN%387%~~574~~	223	FUN%6074%643
224	» CURRYBIND	224	» CURRYBIND
225	FUN%387%~~573~~	225	FUN%6074%642
226	,SPUTPROP	226	,SPUTPROP
227	FUN%387%~~575~~	227	FUN%6074%644
228	» CURRYBIND	228	» CURRYBIND
229	FUN%387%570
230	FUN%387%570
231	FUN%387%571
232	FUN%387%~~571~~	229	FUN%6074%639
		230	FUN%6074%639
		231	FUN%6074%640
		232	FUN%6074%640
233	$MK-LETREF%ZERO_LESS_EQ_ONE_TIMES%509»	233	$MK-LETREF%ZERO_LESS_EQ_ONE_TIMES%609»
234	MK-LET%mk_num_var%~~593~~»	234	MK-LET%mk_num_var%664»
235	FUN%7452%594»
236	FUN%9923%55»
237	FUN%387%572
238	FUN%387%572
239	FUN%14~~36%80~~»	235	FUN%8641%665»
		236	FUN%8697%179»
		237	FUN%6074%641
		238	FUN%6074%641
		239	FUN%9559%153»
240	#MK-LETREF%IMP_IMP_CONJ_IMP_CONV%519»	240	#MK-LETREF%IMP_IMP_CONJ_IMP_CONV%619»
241	FUN%8310%136»
242	FUN%387%573
243	FUN%387%573
244	FUN%387%573»
245	FUN%387%574
246	FUN%~~387~~%~~574~~	241	FUN%9129%205»
		242	FUN%6074%642
		243	FUN%6074%642
		244	FUN%6074%642»
		245	FUN%6074%643
		246	FUN%6074%643
247	EVALUATION»	247	EVALUATION»
248	MK-LETREC%conjuncts%215»	248	MK-LETREC%conjuncts%257»
249	FUN%1729%216»	249	FUN%8921%258»
250	MK-LET%coeffs_of_leq%~~578~~»	250	MK-LET%coeffs_of_leq%680»
251	FUN%6431%36»
252	FUN%387%570»	251	FUN%8867%72»
253	FUN%6431%51»
254	FUN%387%~~576~~	252	FUN%6074%639»
		253	FUN%8867%87»
		254	FUN%6074%645
255	ML-FLAT»	255	ML-FLAT»
256	FUN%387%577
257	FUN%7672%105»
258	FUN%387~~%571»~~	256	FUN%6074%646
		257	FUN%5928%61»
		258	FUN%6074%640»
259	MK-LETREC%VAR_ELIM%603»	259	MK-LETREC%VAR_ELIM%609»
260	FUN%9092%604»
261	FUN%~~387~~%~~572~~»	260	FUN%4116%610»
		261	FUN%6074%641»
262	MK-LET%PROVE_HYP%92»	262	MK-LET%PROVE_HYP%71»
263	FUN%7672%77»
264	FUN%9770%586»
265	FUN%~~1436~~%64»	263	FUN%5928%33»
		264	FUN%1690%688»
		265	FUN%9559%137»
266	MK-LET%LEQ_CONV%583»	266	MK-LET%LEQ_CONV%589»
267	MK-LETREC%last%116»	267	MK-LETREC%last%72»
268	FUN%7672%117»
269	FUN%~~387%5~~74»	268	FUN%5928%73»
		269	FUN%6074%643»
270	MK-LETREC%butlast%118»	270	MK-LETREC%butlast%74»
271	FUN%7672~~%119~~»	271	FUN%5928%75»
272	MK-LETREF%IMP_F_EQ_F_CONV%518»	272	MK-LETREF%IMP_F_EQ_F_CONV%618»
273	INEQS_FALSE_CONV»	273	INEQS_FALSE_CONV»
274	FUN%387%575
275	FUN%387%575
276	FUN%387%576
277	FUN%387%576
278	FUN%387%577
279	FUN%387%~~577~~	274	FUN%6074%644
		275	FUN%6074%644
		276	FUN%6074%645
		277	FUN%6074%645
		278	FUN%6074%646
		279	FUN%6074%646
280	» MK-FUNTYP	280	» MK-FUNTYP
281	MK-TERMTYP	281	MK-TERMTYP
282	» MK-THMTYP»	282	» MK-THMTYP»
283	INEQS_FALSE_CONV	283	INEQS_FALSE_CONV
284	» MK-FUNTYP	284	» MK-FUNTYP
285	MK-TERMTYP	285	MK-TERMTYP
286	» MK-THMTYP»	286	» MK-THMTYP»
287	MK-LET%INEQS_FALSE_CONV%~~569~~»	287	MK-LET%INEQS_FALSE_CONV%638»
288	FUN%387%~~575~~	288	FUN%6074%644
289	,SPUTPROP	289	,SPUTPROP
290	FUN%387%~~579~~	290	FUN%6074%648
291	» CURRYBIND	291	» CURRYBIND
292	MK-LET%is_disj%132»	292	MK-LET%is_disj%174»
293	FUN%5836%109»	293	FUN%8825%98»
294	MK-LETREF%OR_F_CONV%524»	294	MK-LETREF%OR_F_CONV%624»
295	FUN%9966%576»
296	FUN%9966%579»
297	FUN%9966%559»
298	FUN%~~9966~~%~~558~~»	295	FUN%2257%649»
		296	FUN%2257%652»
		297	FUN%2257%632»
		298	FUN%2257%631»
299	DISJ_INEQS_FALSE_QCONV»	299	DISJ_INEQS_FALSE_QCONV»
300	FUN%9966%550»
301	FUN%387%579
302	FUN%387%~~579~~	300	FUN%2257%623»
Max diff block lines reached; 3820/6550 bytes (58.32%) 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%~~556~~	234	CONC%stream%662
235	-SPUTPROP	235	-SPUTPROP
236	CONC%stream%~~556~~	236	CONC%stream%662
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%~~556~~	241	CONC%stream%662
242	CONC%stream%~~556~~	242	CONC%stream%662
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%~~556~~	248	CONC%stream%662
249	CONC%stream%~~556~~	249	CONC%stream%662
250	CONC%stream%~~556~~»	250	CONC%stream%662»
251	MK-RECTYPE»	251	MK-RECTYPE»
252	-SPUTPROP	252	-SPUTPROP
253	FUN%9~~774~~%~~559~~	253	FUN%198%665
254	» CURRYBIND	254	» CURRYBIND
255	-SPUTPROP	255	-SPUTPROP
256	FUN%9~~774~~%560	256	FUN%198%666
257	» CURRYBIND	257	» CURRYBIND
258	FUN%9~~774~~%~~559~~	258	FUN%198%665
259	-SPUTPROP	259	-SPUTPROP
260	FUN%9~~774~~%~~558~~	260	FUN%198%664
261	» CURRYBIND	261	» CURRYBIND
262	FUN%9774%560
263	FUN%9~~774~~%560»	262	FUN%198%666
		263	FUN%198%666»
264	EVALUATION»	264	EVALUATION»
265	pattern»	265	pattern»
266	FUN%9774%559
267	FUN%9774%559
268	FUN%9774%559»
269	FUN%9774%560
270	FUN%9774%560
271	FUN%9774%558
272	FUN%9~~774~~%~~558~~	266	FUN%198%665
		267	FUN%198%665
		268	FUN%198%665»
		269	FUN%198%666
		270	FUN%198%666
		271	FUN%198%664
		272	FUN%198%664
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%~~556~~	278	CONC%stream%662
279	» MK-FUNTYP	279	» MK-FUNTYP
280	MK-NULLTYP	280	MK-NULLTYP
281	CONC%stream%~~556~~	281	CONC%stream%662
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%~~556~~	288	CONC%stream%662
289	» MK-FUNTYP	289	» MK-FUNTYP
290	MK-NULLTYP	290	MK-NULLTYP
291	CONC%stream%~~556~~	291	CONC%stream%662
292	» MK-LETREC»	292	» MK-LETREC»
293	MK-LETREC%stream_map%~~557~~»	293	MK-LETREC%stream_map%663»
294	FUN%9~~774~~%~~558~~»	294	FUN%198%664»
295	stream_map	295	stream_map
296	-SPUTPROP	296	-SPUTPROP
297	FUN%9~~774~~%563	297	FUN%198%669
298	» CURRYBIND	298	» CURRYBIND
299	-SPUTPROP	299	-SPUTPROP
300	FUN%9~~774~~%~~564~~	300	FUN%198%670
301	» CURRYBIND	301	» CURRYBIND
302	FUN%9~~774~~%563	302	FUN%198%669
303	-SPUTPROP	303	-SPUTPROP
304	FUN%9~~774~~%562	304	FUN%198%668
305	» CURRYBIND	305	» CURRYBIND
306	FUN%9774%564
307	FUN%9774%564»
308	FUN%9774%563
309	FUN%9774%563
310	FUN%9774%563»
311	FUN%9774%564
312	FUN%9774%564
313	FUN%9774%562
314	FUN%9~~774~~%~~562~~	306	FUN%198%670
		307	FUN%198%670»
		308	FUN%198%669
		309	FUN%198%669
		310	FUN%198%669»
		311	FUN%198%670
		312	FUN%198%670
		313	FUN%198%668
		314	FUN%198%668
315	» MK-FUNTYP»	315	» MK-FUNTYP»
316	» MK-FUNTYP	316	» MK-FUNTYP
317	MK-NULLTYP	317	MK-NULLTYP
318	CONC%stream%~~556~~	318	CONC%stream%662
319	» MK-FUNTYP»	319	» MK-FUNTYP»
320	» MK-FUNTYP	320	» MK-FUNTYP
321	MK-NULLTYP	321	MK-NULLTYP
322	CONC%stream%~~556~~	322	CONC%stream%662
323	» MK-FUNTYP	323	» MK-FUNTYP
324	MK-NULLTYP	324	MK-NULLTYP
325	CONC%stream%~~556~~	325	CONC%stream%662
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%~~556~~	330	CONC%stream%662
331	» MK-FUNTYP»	331	» MK-FUNTYP»
332	» MK-FUNTYP	332	» MK-FUNTYP
333	MK-NULLTYP	333	MK-NULLTYP
334	CONC%stream%~~556~~	334	CONC%stream%662
335	» MK-FUNTYP	335	» MK-FUNTYP
336	MK-NULLTYP	336	MK-NULLTYP
337	CONC%stream%~~556~~	337	CONC%stream%662
338	MK-LETREC%stream_append%561»	338	MK-LETREC%stream_append%667»
Max diff block lines reached; 2640/4972 bytes (53.10%) of diff not shown.


Offset 165, 47 lines modified		Offset 165, 47 lines modified
165	.comment	165	.comment
166	.note.GNU-stack	166	.note.GNU-stack
167	.rel.debug_frame	167	.rel.debug_frame
168	.ARM.attributes	168	.ARM.attributes
169	COMMON-LISP-USER	169	COMMON-LISP-USER
170	SYSTEMSPUTPROP	170	SYSTEMSPUTPROP
171	COMMON-LISPQUOTE	171	COMMON-LISPQUOTE
172	FUN%9667%~~551~~	172	FUN%953%619
173	» CURRYBIND	173	» CURRYBIND
174	,SPUTPROP	174	,SPUTPROP
175	FUN%9667%~~550~~	175	FUN%953%618
176	» CURRYBIND	176	» CURRYBIND
177	FUN%9667%~~551~~	177	FUN%953%619
178	,SPUTPROP	178	,SPUTPROP
179	FUN%9667%~~552~~	179	FUN%953%620
180	» CURRYBIND	180	» CURRYBIND
181	,SPUTPROP	181	,SPUTPROP
182	FUN%9667%~~553~~	182	FUN%953%621
183	» CURRYBIND	183	» CURRYBIND
184	FUN%9667%~~552~~	184	FUN%953%620
185	ML-ASCII_CODE»	185	ML-ASCII_CODE»
186	FUN%9667%551
187	FUN%9667%551
188	FUN%9667%551»
189	FUN%9667%550
190	FUN%9667%550
191	FUN%9667%5~~50»~~	186	FUN%953%619
		187	FUN%953%619
		188	FUN%953%619»
		189	FUN%953%618
		190	FUN%953%618
		191	FUN%953%618»
192	ML-EXPLODE»	192	ML-EXPLODE»
193	FUN%9667%552
194	FUN%9667%552
195	FUN%9667%552»
196	FUN%9667%553
197	FUN%9667%~~553~~	193	FUN%953%620
		194	FUN%953%620
		195	FUN%953%620»
		196	FUN%953%621
		197	FUN%953%621
198	» MK-FUNTYP	198	» MK-FUNTYP
199	» MK-TOKTYP»	199	» MK-TOKTYP»
200	» MK-FUNTYP	200	» MK-FUNTYP
201	» MK-TOKTYP	201	» MK-TOKTYP
202	MK-BOOLTYP»	202	MK-BOOLTYP»
203	string_less	203	string_less
204	» MK-FUNTYP	204	» MK-FUNTYP
205	» MK-TOKTYP»	205	» MK-TOKTYP»
206	» MK-FUNTYP	206	» MK-FUNTYP
207	» MK-TOKTYP	207	» MK-TOKTYP
208	MK-BOOLTYP»	208	MK-BOOLTYP»
209	MK-LET%string_less%~~549~~»	209	MK-LET%string_less%617»
210	string_less»	210	string_less»
211	FUN%9667%~~553~~	211	FUN%953%621


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%~~2412~~%495	204	FUN%9660%625
205	» CURRYBIND	205	» CURRYBIND
206	EVALUATION»	206	EVALUATION»
207	ML-DEST_ABS»	207	ML-DEST_ABS»
208	FUN%1729%232»
209	FUN%6431%34»
210	FUN%2412%496
211	FUN%5836%65»
212	FUN%2412%497
213	FUN%~~5836~~%~~113~~»	208	FUN%8921%274»
		209	FUN%8867%70»
		210	FUN%9660%626
		211	FUN%8825%54»
		212	FUN%9660%627
		213	FUN%8825%102»
214	MK-LET%I%76»	214	MK-LET%I%65»
215	FUN%5836%71»	215	FUN%8825%60»
216	» ML-MK_ABS»	216	» ML-MK_ABS»
217	MK-LET%COND_ABS%169»	217	MK-LET%COND_ABS%148»
218	ML-TYPE_OF»	218	ML-TYPE_OF»
219	Q-MK_VARTYPE»	219	Q-MK_VARTYPE»
220	FUN%1436%77»
221	FUN%9923%58»
222	FUN%~~8374~~%137»	220	FUN%9559%150»
		221	FUN%8697%182»
		222	FUN%3303%116»
223	MK-LET%BETA_CONV%71»	223	MK-LET%BETA_CONV%144»
224	FUN%8310%225»
225	FUN%8310%228»
226	FUN%8310%50»
227	FUN%8310%231»
228	FUN%~~8310~~%~~136~~»	224	FUN%9129%294»
		225	FUN%9129%297»
		226	FUN%9129%119»
		227	FUN%9129%300»
		228	FUN%9129%205»
229	COND_ABS_CONV»	229	COND_ABS_CONV»
230	FUN%2412%495
231	FUN%2412%495
232	FUN%2412%496
233	FUN%~~2412~~%~~496~~	230	FUN%9660%625
		231	FUN%9660%625
		232	FUN%9660%626
		233	FUN%9660%626
234	FREEVARS»	234	FREEVARS»
235	FUN%2412%497
236	FUN%~~2412~~%497	235	FUN%9660%627
		236	FUN%9660%627
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%494»	244	MK-LET%COND_ABS_CONV%624»
245	FUN%~~2412~~%495	245	FUN%9660%625
246	,SPUTPROP	246	,SPUTPROP
247	FUN%~~2412~~%499	247	FUN%9660%629
248	» CURRYBIND	248	» CURRYBIND
249	,SPUTPROP	249	,SPUTPROP
250	FUN%~~2412~~%500	250	FUN%9660%630
251	» CURRYBIND	251	» CURRYBIND
252	,SPUTPROP	252	,SPUTPROP
253	FUN%~~2412~~%501	253	FUN%9660%631
254	» CURRYBIND	254	» CURRYBIND
255	FUN%1729%274»
256	FUN%2412%499»
257	FUN%2412%499
258	FUN%241~~2%499~~	255	FUN%8921%316»
		256	FUN%9660%629»
		257	FUN%9660%629
		258	FUN%9660%629
259	ML-DEST_CONST»	259	ML-DEST_CONST»
260	·MK-LETREF%NUM_COND_RAND_CONV%553»	260	·MK-LETREF%NUM_COND_RAND_CONV%653»
261	FUN%2412%500
262	FUN%2412%500
263	FUN%~~2412~~%500»	261	FUN%9660%630
		262	FUN%9660%630
		263	FUN%9660%630»
264	!MK-LETREF%NUM_COND_RATOR_CONV%552»	264	!MK-LETREF%NUM_COND_RATOR_CONV%652»
265	MK-LETREF%COND_EXPAND_CONV%557»	265	MK-LETREF%COND_EXPAND_CONV%657»
266	MK-LETREF%SUB_NORM_CONV%554»	266	MK-LETREF%SUB_NORM_CONV%654»
267	FUN%8310%54»
268	FUN%8310%118»
269	FUN%2412%501
270	FUN%2412%~~501~~	267	FUN%9129%123»
		268	FUN%9129%187»
		269	FUN%9660%631
		270	FUN%9660%631
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%498»	278	!MK-LET%SUB_AND_COND_ELIM_CONV%628»
279	FUN%~~2412~~%501»	279	FUN%9660%631»
280	SUB_AND_COND_ELIM_CONV	280	SUB_AND_COND_ELIM_CONV
281	,SPUTPROP	281	,SPUTPROP
282	FUN%~~2412~~%503	282	FUN%9660%633
283	» CURRYBIND	283	» CURRYBIND
284	,SPUTPROP	284	,SPUTPROP
285	FUN%~~2412~~%504	285	FUN%9660%634
286	» CURRYBIND	286	» CURRYBIND
287	,SPUTPROP	287	,SPUTPROP
288	FUN%~~2412~~%505	288	FUN%9660%635
289	» CURRYBIND	289	» CURRYBIND
290	FUN%2412%503»
291	FUN%2412%503
292	FUN%~~2412~~%503	290	FUN%9660%633»
		291	FUN%9660%633
		292	FUN%9660%633
293	MK-LETREF%COND_RAND_CONV%556»	293	MK-LETREF%COND_RAND_CONV%656»
294	FUN%2412%504
295	FUN%2412%504
296	FUN%~~2412~~%504»	294	FUN%9660%634
		295	FUN%9660%634
		296	FUN%9660%634»
Max diff block lines reached; 180/2849 bytes (6.32%) of diff not shown.


Offset 235, 812 lines modified		Offset 235, 812 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	COMMON-LISPPROGN	240	COMMON-LISPPROGN
241	SYSTEMSPUTPROP	241	SYSTEMSPUTPROP
242	CONC%bound%559	242	CONC%bound%599
243	-SPUTPROP	243	-SPUTPROP
244	CONC%bound%559	244	CONC%bound%599
245	MK-PRODTYP»	245	MK-PRODTYP»
246	» MK-FUNTYP»	246	» MK-FUNTYP»
247	MK-PRODTYP	247	MK-PRODTYP
248	ABS%rat%513	248	ABS%rat%596
249	» MK-LISTYP»	249	» MK-LISTYP»
250	MK-PRODTYP	250	MK-PRODTYP
251	» MK-TOKTYP	251	» MK-TOKTYP
252	ABS%rat%513	252	ABS%rat%596
253	CONC%bound%559»	253	CONC%bound%599»
254	MK-PRODTYP»	254	MK-PRODTYP»
255	» MK-FUNTYP	255	» MK-FUNTYP
256	» MK-LISTYP	256	» MK-LISTYP
257	CONC%bound%559	257	CONC%bound%599
258	CONC%bound%559»	258	CONC%bound%599»
259	MK-PRODTYP»	259	MK-PRODTYP»
260	» MK-FUNTYP	260	» MK-FUNTYP
261	» MK-LISTYP	261	» MK-LISTYP
262	CONC%bound%559	262	CONC%bound%599
263	CONC%bound%559»	263	CONC%bound%599»
264	MK-PRODTYP	264	MK-PRODTYP
265	CONC%bound%559	265	CONC%bound%599
266	CONC%bound%559»	266	CONC%bound%599»
267	CONSTRUCTORS	267	CONSTRUCTORS
268	» MK-FUNTYP»	268	» MK-FUNTYP»
269	MK-PRODTYP	269	MK-PRODTYP
270	ABS%rat%513	270	ABS%rat%596
271	» MK-LISTYP»	271	» MK-LISTYP»
272	MK-PRODTYP	272	MK-PRODTYP
273	» MK-TOKTYP	273	» MK-TOKTYP
274	ABS%rat%513	274	ABS%rat%596
275	CONC%bound%559	275	CONC%bound%599
276	» Max_bound	276	» Max_bound
277	» MK-FUNTYP	277	» MK-FUNTYP
278	» MK-LISTYP	278	» MK-LISTYP
279	CONC%bound%559	279	CONC%bound%599
280	CONC%bound%559	280	CONC%bound%599
281	» Min_bound	281	» Min_bound
282	» MK-FUNTYP	282	» MK-FUNTYP
283	» MK-LISTYP	283	» MK-LISTYP
284	CONC%bound%559	284	CONC%bound%599
285	CONC%bound%559	285	CONC%bound%599
286	CONC%bound%559	286	CONC%bound%599
287	CONC%bound%559	287	CONC%bound%599
288	CONC%bound%559»	288	CONC%bound%599»
289	MK-RECTYPE»	289	MK-RECTYPE»
290	-SPUTPROP	290	-SPUTPROP
291	CONC%internal_bound%560	291	CONC%internal_bound%600
292	-SPUTPROP	292	-SPUTPROP
293	CONC%internal_bound%560	293	CONC%internal_bound%600
294	internal_bound	294	internal_bound
295	MK-PRODTYP»	295	MK-PRODTYP»
296	» MK-FUNTYP	296	» MK-FUNTYP
297	CONC%bound%559	297	CONC%bound%599
298	CONC%internal_bound%560»	298	CONC%internal_bound%600»
299	MK-PRODTYP»	299	MK-PRODTYP»
300	» MK-FUNTYP»	300	» MK-FUNTYP»
301	MK-PRODTYP	301	MK-PRODTYP
302	ABS%rat%513	302	ABS%rat%596
303	CONC%internal_bound%560	303	CONC%internal_bound%600
304	CONC%internal_bound%560»	304	CONC%internal_bound%600»
305	MK-PRODTYP»	305	MK-PRODTYP»
306	» MK-FUNTYP»	306	» MK-FUNTYP»
307	MK-PRODTYP	307	MK-PRODTYP
308	CONC%internal_bound%560	308	CONC%internal_bound%600
309	CONC%internal_bound%560	309	CONC%internal_bound%600
310	CONC%internal_bound%560»	310	CONC%internal_bound%600»
311	MK-PRODTYP»	311	MK-PRODTYP»
312	» MK-FUNTYP	312	» MK-FUNTYP
313	» MK-LISTYP	313	» MK-LISTYP
314	CONC%internal_bound%560	314	CONC%internal_bound%600
315	CONC%internal_bound%560»	315	CONC%internal_bound%600»
316	» MK-FUNTYP	316	» MK-FUNTYP
317	» MK-LISTYP	317	» MK-LISTYP
318	CONC%internal_bound%560	318	CONC%internal_bound%600
319	CONC%internal_bound%560»	319	CONC%internal_bound%600»
320	CONSTRUCTORS	320	CONSTRUCTORS
321	» MK-FUNTYP	321	» MK-FUNTYP
322	CONC%bound%559	322	CONC%bound%599
323	CONC%internal_bound%560	323	CONC%internal_bound%600
324	Mult_ibound	324	Mult_ibound
325	» MK-FUNTYP»	325	» MK-FUNTYP»
326	MK-PRODTYP	326	MK-PRODTYP
327	ABS%rat%513	327	ABS%rat%596
328	CONC%internal_bound%560	328	CONC%internal_bound%600
329	CONC%internal_bound%560	329	CONC%internal_bound%600
330	Plus_ibound	330	Plus_ibound
331	» MK-FUNTYP»	331	» MK-FUNTYP»
332	MK-PRODTYP	332	MK-PRODTYP
333	CONC%internal_bound%560	333	CONC%internal_bound%600
334	CONC%internal_bound%560	334	CONC%internal_bound%600
335	CONC%internal_bound%560	335	CONC%internal_bound%600
336	Max_ibound	336	Max_ibound
337	» MK-FUNTYP	337	» MK-FUNTYP
338	» MK-LISTYP	338	» MK-LISTYP
339	CONC%internal_bound%560	339	CONC%internal_bound%600
340	CONC%internal_bound%560	340	CONC%internal_bound%600
341	Min_ibound	341	Min_ibound
342	» MK-FUNTYP	342	» MK-FUNTYP
343	» MK-LISTYP	343	» MK-LISTYP
344	CONC%internal_bound%560	344	CONC%internal_bound%600
345	CONC%internal_bound%560	345	CONC%internal_bound%600
346	internal_bound	346	internal_bound
347	CONC%internal_bound%560»	347	CONC%internal_bound%600»
348	-SPUTPROP	348	-SPUTPROP
349	FUN%~~9177~~%563	349	FUN%5935%603
350	» CURRYBIND	350	» CURRYBIND
351	-SPUTPROP	351	-SPUTPROP
352	FUN%~~9177~~%564	352	FUN%5935%604
353	» CURRYBIND	353	» CURRYBIND
354	-SPUTPROP	354	-SPUTPROP
355	FUN%~~9177~~%565	355	FUN%5935%605
356	» CURRYBIND	356	» CURRYBIND
357	-SPUTPROP	357	-SPUTPROP
358	FUN%~~9177~~%562	358	FUN%5935%602
359	» CURRYBIND	359	» CURRYBIND
360	FUN%~~9177~~%565	360	FUN%5935%605
361	MK-ABSTYPE%Rat%514»	361	MK-ABSTYPE%Rat%597»
Max diff block lines reached; 14666/17921 bytes (81.84%) of diff not shown.


Offset 212, 23 lines modified		Offset 212, 23 lines modified
212	.comment	212	.comment
213	.note.GNU-stack	213	.note.GNU-stack
214	.rel.debug_frame	214	.rel.debug_frame
215	.ARM.attributes	215	.ARM.attributes
216	COMMON-LISP-USER	216	COMMON-LISP-USER
217	SYSTEMSPUTPROP	217	SYSTEMSPUTPROP
218	COMMON-LISPQUOTE	218	COMMON-LISPQUOTE
219	FUN%~~977~~0%553	219	FUN%1690%655
220	» CURRYBIND	220	» CURRYBIND
221	,SPUTPROP	221	,SPUTPROP
222	FUN%~~977~~0%554	222	FUN%1690%656
223	» CURRYBIND	223	» CURRYBIND
224	FUN%~~977~~0%553	224	FUN%1690%655
225	FUN%~~977~~0%553	225	FUN%1690%655
226	FUN%9770%554
227	FUN%~~977~~0%554	226	FUN%1690%656
		227	FUN%1690%656
228	» MK-FUNTYP»	228	» MK-FUNTYP»
229	MK-PRODTYP	229	MK-PRODTYP
230	» MK-INTTYP	230	» MK-INTTYP
231	» MK-LISTYP»	231	» MK-LISTYP»
232	MK-PRODTYP	232	MK-PRODTYP
233	» MK-INTTYP»	233	» MK-INTTYP»
234	MK-PRODTYP	234	MK-PRODTYP
Offset 244, 47 lines modified		Offset 244, 47 lines modified
244	MK-PRODTYP	244	MK-PRODTYP
245	» MK-INTTYP»	245	» MK-INTTYP»
246	MK-PRODTYP	246	MK-PRODTYP
247	» MK-INTTYP	247	» MK-INTTYP
248	» MK-LISTYP»	248	» MK-LISTYP»
249	MK-PRODTYP	249	MK-PRODTYP
250	» MK-INTTYP»	250	» MK-INTTYP»
251	MK-LET%negate_coeffs%552»	251	MK-LET%negate_coeffs%654»
252	FUN%~~977~~0%553»	252	FUN%1690%655»
253	MK-LET%I%76»	253	MK-LET%I%65»
254	FUN%~~977~~0%554»	254	FUN%1690%656»
		255	FUN%8825%61»
255	FUN%5836%72»	256	FUN%8867%73»
256	FUN%6431%37»
257	negate_coeffs	257	negate_coeffs
258	,SPUTPROP	258	,SPUTPROP
259	FUN%~~977~~0%557	259	FUN%1690%659
260	» CURRYBIND	260	» CURRYBIND
261	,SPUTPROP	261	,SPUTPROP
262	FUN%~~977~~0%556	262	FUN%1690%658
263	» CURRYBIND	263	» CURRYBIND
264	FUN%~~977~~0%557	264	FUN%1690%659
265	,SPUTPROP	265	,SPUTPROP
266	FUN%~~977~~0%~~558~~	266	FUN%1690%660
267	» CURRYBIND	267	» CURRYBIND
268	,SPUTPROP	268	,SPUTPROP
269	FUN%~~977~~0%~~559~~	269	FUN%1690%661
270	» CURRYBIND	270	» CURRYBIND
		271	FUN%1690%660
		272	FUN%1690%659»
		273	FUN%953%620»
		274	FUN%1690%659
		275	FUN%1690%659
271	FUN%~~977~~0%558	276	FUN%1690%658
272	FUN%9770%557»
273	FUN%9667%552»
274	FUN%9770%557
275	FUN%9770%557
276	FUN%9770%556
277	FUN%9770%556
278	FUN%9770%556»
279	FUN%~~977~~0%558	277	FUN%1690%658
280	FUN%9770%558
281	FUN%~~977~~0%558»	278	FUN%1690%658»
282	FUN%9770%559
283	FUN%~~977~~0%~~559~~	279	FUN%1690%660
		280	FUN%1690%660
		281	FUN%1690%660»
		282	FUN%1690%661
		283	FUN%1690%661
284	» MK-FUNTYP»	284	» MK-FUNTYP»
285	MK-PRODTYP	285	MK-PRODTYP
286	» MK-INTTYP	286	» MK-INTTYP
287	» MK-LISTYP»	287	» MK-LISTYP»
288	MK-PRODTYP	288	MK-PRODTYP
289	» MK-TOKTYP	289	» MK-TOKTYP
290	» MK-INTTYP»	290	» MK-INTTYP»
Offset 318, 28 lines modified		Offset 318, 28 lines modified
318	» MK-INTTYP»	318	» MK-INTTYP»
319	MK-PRODTYP	319	MK-PRODTYP
320	» MK-INTTYP	320	» MK-INTTYP
321	» MK-LISTYP»	321	» MK-LISTYP»
322	MK-PRODTYP	322	MK-PRODTYP
323	» MK-TOKTYP	323	» MK-TOKTYP
324	» MK-INTTYP»	324	» MK-INTTYP»
325	MK-LET%merge_coeffs%555»	325	MK-LET%merge_coeffs%657»
326	merge_coeffs»	326	merge_coeffs»
327	FUN%~~977~~0%~~559~~	327	FUN%1690%661
328	,SPUTPROP	328	,SPUTPROP
329	FUN%~~977~~0%561	329	FUN%1690%663
330	» CURRYBIND	330	» CURRYBIND
331	,SPUTPROP	331	,SPUTPROP
332	FUN%~~977~~0%562	332	FUN%1690%664
333	» CURRYBIND	333	» CURRYBIND
334	FUN%9770%561
335	FUN%~~977~~0%561	334	FUN%1690%663
		335	FUN%1690%663
336	EVALUATION»	336	EVALUATION»
337	FUN%9770%562
338	FUN%~~977~~0%562	337	FUN%1690%664
		338	FUN%1690%664
339	» MK-FUNTYP»	339	» MK-FUNTYP»
340	MK-PRODTYP	340	MK-PRODTYP
341	» MK-INTTYP	341	» MK-INTTYP
342	» MK-LISTYP»	342	» MK-LISTYP»
343	MK-PRODTYP	343	MK-PRODTYP
344	» MK-INTTYP»	344	» MK-INTTYP»
345	MK-PRODTYP	345	MK-PRODTYP
Offset 355, 29 lines modified		Offset 355, 29 lines modified
355	MK-PRODTYP	355	MK-PRODTYP
356	» MK-INTTYP»	356	» MK-INTTYP»
357	MK-PRODTYP	357	MK-PRODTYP
358	» MK-INTTYP	358	» MK-INTTYP
359	» MK-LISTYP»	359	» MK-LISTYP»
360	MK-PRODTYP	360	MK-PRODTYP
361	» MK-INTTYP»	361	» MK-INTTYP»
362	MK-LET%lhs_coeffs%560»	362	MK-LET%lhs_coeffs%662»
363	FUN%9770%561»
364	FUN%9770%562»
365	FUN%6~~431%55~~»	363	FUN%1690%663»
		364	FUN%1690%664»
		365	FUN%8867%91»
Max diff block lines reached; 5159/7372 bytes (69.98%) of diff not shown.


Offset 214, 184 lines modified		Offset 214, 184 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%363%~~546~~	221	FUN%4562%627
222	» CURRYBIND	222	» CURRYBIND
223	,SPUTPROP	223	,SPUTPROP
224	FUN%363%~~547~~	224	FUN%4562%628
225	» CURRYBIND	225	» CURRYBIND
226	,SPUTPROP	226	,SPUTPROP
227	FUN%363%~~549~~	227	FUN%4562%630
228	» CURRYBIND	228	» CURRYBIND
229	,SPUTPROP	229	,SPUTPROP
230	FUN%363%~~550~~	230	FUN%4562%631
231	» CURRYBIND	231	» CURRYBIND
232	FUN%363%~~549~~	232	FUN%4562%630
233	,SPUTPROP	233	,SPUTPROP
234	FUN%363%~~551~~	234	FUN%4562%632
235	» CURRYBIND	235	» CURRYBIND
236	FUN%363%~~550~~	236	FUN%4562%631
237	,SPUTPROP	237	,SPUTPROP
238	FUN%363%~~548~~	238	FUN%4562%629
239	» CURRYBIND	239	» CURRYBIND
240	FUN%363%~~551~~	240	FUN%4562%632
241	,SPUTPROP	241	,SPUTPROP
242	FUN%363%~~552~~	242	FUN%4562%633
243	» CURRYBIND	243	» CURRYBIND
244	,SPUTPROP	244	,SPUTPROP
245	FUN%363%~~553~~	245	FUN%4562%634
246	» CURRYBIND	246	» CURRYBIND
247	FUN%363%~~552~~	247	FUN%4562%633
248	ML-DEST_CONST»	248	ML-DEST_CONST»
249	FUN%363%546
250	FUN%363%546
251	FUN%363%546»
252	FUN%5836%113»
253	FUN%363%547
254	FUN%363%547	249	FUN%4562%627
		250	FUN%4562%627
		251	FUN%4562%627»
		252	FUN%8825%102»
		253	FUN%4562%628
		254	FUN%4562%628
255	EVALUATION»	255	EVALUATION»
256	FUN%1729%214»	256	FUN%8921%256»
257	MK-LET%I%76»	257	MK-LET%I%65»
258	FUN%5836%71»	258	FUN%8825%60»
259	pattern»	259	pattern»
260	FUN%9923%55»
261	FUN%1729%125»
262	FUN%1729%275»
263	FUN%1729%143»
264	FUN%8~~374~~%139»	260	FUN%8697%179»
265	FUN%9923%160»	261	FUN%8921%167»
266	FUN%9923%33»
267	FUN%9923%47»	262	FUN%8921%317»
		263	FUN%8921%185»
		264	FUN%3303%118»
		265	FUN%8697%284»
		266	FUN%8697%157»
		267	FUN%8697%171»
268	MK-LET%EQT_INTRO%60»	268	MK-LET%EQT_INTRO%184»
269	FUN%9923%61»
270	FUN%1729%76»
271	FUN%9923%53»
272	FUN%363%549»
273	FUN%8374%130»
274	FUN%9923%208»
275	FUN%9923%35»
276	FUN%1436%66»
277	FUN%363%549
278	FUN%363%549
279	FUN%363%550
280	FUN%363%550
281	FUN%363%550»
282	FUN%363%551
283	FUN%363%551
284	FUN%363%551»
285	FUN%363%548
286	FUN%363%548
287	FUN%~~9923~~%~~220~~»	269	FUN%8697%185»
		270	FUN%8921%118»
		271	FUN%8697%177»
		272	FUN%4562%630»
		273	FUN%3303%109»
		274	FUN%8697%332»
		275	FUN%8697%159»
		276	FUN%9559%139»
		277	FUN%4562%630
		278	FUN%4562%630
		279	FUN%4562%631
		280	FUN%4562%631
		281	FUN%4562%631»
		282	FUN%4562%632
		283	FUN%4562%632
		284	FUN%4562%632»
		285	FUN%4562%629
		286	FUN%4562%629
		287	FUN%8697%344»
288	IN_CONV»	288	IN_CONV»
289	FUN%363%552
290	FUN%363%552
291	FUN%363%552»
292	FUN%363%553
293	FUN%363%553	289	FUN%4562%633
		290	FUN%4562%633
		291	FUN%4562%633»
		292	FUN%4562%634
		293	FUN%4562%634
294	» MK-FUNTYP»	294	» MK-FUNTYP»
295	» MK-FUNTYP	295	» MK-FUNTYP
296	MK-TERMTYP	296	MK-TERMTYP
297	» MK-THMTYP»	297	» MK-THMTYP»
298	» MK-FUNTYP	298	» MK-FUNTYP
299	MK-TERMTYP	299	MK-TERMTYP
300	» MK-THMTYP»	300	» MK-THMTYP»
301	» MK-FUNTYP»	301	» MK-FUNTYP»
302	» MK-FUNTYP	302	» MK-FUNTYP
303	MK-TERMTYP	303	MK-TERMTYP
304	» MK-THMTYP»	304	» MK-THMTYP»
305	» MK-FUNTYP	305	» MK-FUNTYP
306	MK-TERMTYP	306	MK-TERMTYP
307	» MK-THMTYP»	307	» MK-THMTYP»
308	MK-LET%IN_CONV%~~545~~»	308	MK-LET%IN_CONV%626»
Max diff block lines reached; 7659/9811 bytes (78.07%) of diff not shown.


Offset 198, 90 lines modified		Offset 198, 90 lines modified
198	.comment	198	.comment
199	.note.GNU-stack	199	.note.GNU-stack
200	.rel.debug_frame	200	.rel.debug_frame
201	.ARM.attributes	201	.ARM.attributes
202	COMMON-LISP-USER	202	COMMON-LISP-USER
203	SYSTEMSPUTPROP	203	SYSTEMSPUTPROP
204	COMMON-LISPQUOTE	204	COMMON-LISPQUOTE
205	FUN%~~7280~~%~~563~~	205	FUN%1837%602
206	» CURRYBIND	206	» CURRYBIND
207	,SPUTPROP	207	,SPUTPROP
208	FUN%~~7280~~%~~564~~	208	FUN%1837%603
209	» CURRYBIND	209	» CURRYBIND
210	,SPUTPROP	210	,SPUTPROP
211	FUN%~~7280~~%~~565~~	211	FUN%1837%604
212	» CURRYBIND	212	» CURRYBIND
213	,SPUTPROP	213	,SPUTPROP
214	FUN%~~7280~~%~~566~~	214	FUN%1837%605
215	» CURRYBIND	215	» CURRYBIND
216	FUN%~~7280~~%~~565~~	216	FUN%1837%604
217	,SPUTPROP	217	,SPUTPROP
218	FUN%~~7280~~%~~567~~	218	FUN%1837%606
219	» CURRYBIND	219	» CURRYBIND
220	,SPUTPROP	220	,SPUTPROP
221	FUN%~~7280~~%~~568~~	221	FUN%1837%607
222	» CURRYBIND	222	» CURRYBIND
223	,SPUTPROP	223	,SPUTPROP
224	FUN%~~7280~~%~~569~~	224	FUN%1837%608
225	» CURRYBIND	225	» CURRYBIND
226	ML-TYPE_OF»	226	ML-TYPE_OF»
227	ML-DEST_TYPE»	227	ML-DEST_TYPE»
228	FUN%7280%563
229	FUN%~~7280~~%~~563~~	228	FUN%1837%602
		229	FUN%1837%602
230	ML-MK_COMB»	230	ML-MK_COMB»
231	FUN%9923%42»
232	FUN%7280%564
233	FUN%7280%564
234	FUN%9923%41»
235	FUN%8374%130»
236	FUN%7280%565
237	FUN%7280%565
238	FUN%7280%565»
239	FUN%7280%566
240	FUN%~~7280~~%566	231	FUN%8697%166»
		232	FUN%1837%603
		233	FUN%1837%603
		234	FUN%8697%165»
		235	FUN%3303%109»
		236	FUN%1837%604
		237	FUN%1837%604
		238	FUN%1837%604»
		239	FUN%1837%605
		240	FUN%1837%605
241	MK-LET%I%76»	241	MK-LET%I%65»
242	FUN%5836%72»
243	FUN%5836%71»
244	FUN%~~1436~~%72»	242	FUN%8825%61»
		243	FUN%8825%60»
		244	FUN%9559%145»
245	MK-LET%FORALL_EQ%95»	245	MK-LET%FORALL_EQ%219»
246	FUN%9923%98»
247	FUN%7280%567
248	FUN%~~7280~~%~~567~~	246	FUN%8697%222»
		247	FUN%1837%606
		248	FUN%1837%606
249	MK-LET%dest_conj%90»	249	MK-LET%dest_conj%132»
250	FUN%1729%92»
251	FUN%7280%568
252	FUN%72~~80%568~~	250	FUN%8921%134»
		251	FUN%1837%607
		252	FUN%1837%607
253	EVALUATION»	253	EVALUATION»
254	MK-LET%dest_forall%81»	254	MK-LET%dest_forall%123»
255	FUN%1729%83»
256	FUN%~~5836~~%113»	255	FUN%8921%125»
		256	FUN%8825%102»
257	pattern»	257	pattern»
258	Q-MK_VARTYPE»	258	Q-MK_VARTYPE»
259	FUN%~~1436~~%77»	259	FUN%9559%150»
260	» ML-GENVAR»	260	» ML-GENVAR»
261	FUN%1729%145»	261	FUN%8921%187»
262	» ML-MK_ABS»	262	» ML-MK_ABS»
263	FUN%9923%55»
264	FUN%~~9923~~%183»	263	FUN%8697%179»
		264	FUN%8697%307»
265	MK-LET%BETA_CONV%71»	265	MK-LET%BETA_CONV%144»
		266	FUN%9129%205»
		267	FUN%8697%187»
266	FUN%8~~310~~%136»	268	FUN%8921%166»
267	FUN%9~~923~~%63»	269	FUN%9559%153»
268	FUN%1729%124»	270	FUN%9129%294»
		271	FUN%9129%297»
269	FUN%1436%80»
270	FUN%8310%225»
271	FUN%8310%228»
272	MK-LET%ALL_TAC%96»	272	MK-LET%ALL_TAC%114»
273	MK-LET%CONJ_TAC%64»	273	MK-LET%CONJ_TAC%170»
274	MK-LET%MATCH_MP_TAC%65»	274	MK-LET%MATCH_MP_TAC%132»
275	FUN%7812%70»
276	FUN%8050%77»
277	FUN%~~8050~~%82»	275	FUN%3929%137»
		276	FUN%9218%95»
		277	FUN%9218%100»
278	SET_INDUCT_TAC»	278	SET_INDUCT_TAC»
279	FUN%7280%569
280	FUN%~~7280~~%~~569~~	279	FUN%1837%608
		280	FUN%1837%608
281	» MK-FUNTYP»	281	» MK-FUNTYP»
282	MK-PRODTYP	282	MK-PRODTYP
283	» MK-LISTYP	283	» MK-LISTYP
284	MK-TERMTYP	284	MK-TERMTYP
285	MK-TERMTYP»	285	MK-TERMTYP»
286	MK-PRODTYP	286	MK-PRODTYP
287	» MK-LISTYP»	287	» MK-LISTYP»
Offset 305, 23 lines modified		Offset 305, 23 lines modified
305	» MK-LISTYP	305	» MK-LISTYP
306	MK-TERMTYP	306	MK-TERMTYP
307	MK-TERMTYP»	307	MK-TERMTYP»
308	» MK-FUNTYP	308	» MK-FUNTYP
309	» MK-LISTYP	309	» MK-LISTYP
310	» MK-THMTYP	310	» MK-THMTYP
311	» MK-THMTYP»	311	» MK-THMTYP»
312	MK-LET%SET_INDUCT_TAC%~~562~~»	312	MK-LET%SET_INDUCT_TAC%601»
313	SET_INDUCT»	313	SET_INDUCT»
314	finite_sets»	314	finite_sets»
315	FUN%8211%32»
316	FUN%7280%~~563~~»	315	FUN%8263%134»
Max diff block lines reached; 320/2743 bytes (11.67%) of diff not shown.


Offset 214, 97 lines modified		Offset 214, 97 lines modified
214	.rel.debug_frame	214	.rel.debug_frame
215	.ARM.attributes	215	.ARM.attributes
216	COMMON-LISP-USER	216	COMMON-LISP-USER
217	COMMON-LISPQUOTE	217	COMMON-LISPQUOTE
218	MK-BEGIN	218	MK-BEGIN
219	prove_inductive_relation_exists	219	prove_inductive_relation_exists
220	SYSTEMSPUTPROP	220	SYSTEMSPUTPROP
221	FUN%~~4362~~%~~545~~	221	FUN%8095%660
222	» CURRYBIND	222	» CURRYBIND
223	-SPUTPROP	223	-SPUTPROP
224	FUN%~~4362~~%~~546~~	224	FUN%8095%661
225	» CURRYBIND	225	» CURRYBIND
226	FUN%~~4362~~%~~545~~	226	FUN%8095%660
227	-SPUTPROP	227	-SPUTPROP
228	FUN%~~4362~~%~~547~~	228	FUN%8095%662
229	» CURRYBIND	229	» CURRYBIND
230	ML-TYPE_OF»	230	ML-TYPE_OF»
231	» Q-MK_TYPE»	231	» Q-MK_TYPE»
232	FUN%4362%545
233	FUN%4362%545
234	FUN%4362%545»
235	FUN%4362%546
236	FUN%~~4362~~%~~546~~	232	FUN%8095%660
		233	FUN%8095%660
		234	FUN%8095%660»
		235	FUN%8095%661
		236	FUN%8095%661
237	EVALUATION»	237	EVALUATION»
238	FUN%~~7672~~%77»	238	FUN%5928%33»
239	MK_REALVAR»	239	MK_REALVAR»
240	FUN%4362%547
241	FUN%~~4362~~%~~547~~	240	FUN%8095%662
		241	FUN%8095%662
242	» MK-FUNTYP	242	» MK-FUNTYP
243	» MK-LISTYP	243	» MK-LISTYP
244	MK-TERMTYP	244	MK-TERMTYP
245	MK-TERMTYP»	245	MK-TERMTYP»
246	mk_predv	246	mk_predv
247	» MK-FUNTYP	247	» MK-FUNTYP
248	» MK-LISTYP	248	» MK-LISTYP
249	MK-TERMTYP	249	MK-TERMTYP
250	MK-TERMTYP»	250	MK-TERMTYP»
251	MK-LET%mk_predv%~~544~~»	251	MK-LET%mk_predv%659»
252	FUN%4362%546»
253	FUN%~~4362~~%~~547~~»	252	FUN%8095%661»
		253	FUN%8095%662»
254	mk_predv	254	mk_predv
255	-SPUTPROP	255	-SPUTPROP
256	FUN%~~4362~~%~~550~~	256	FUN%8095%665
257	» CURRYBIND	257	» CURRYBIND
258	-SPUTPROP	258	-SPUTPROP
259	FUN%~~4362~~%~~551~~	259	FUN%8095%666
260	» CURRYBIND	260	» CURRYBIND
261	-SPUTPROP	261	-SPUTPROP
262	FUN%~~4362~~%~~552~~	262	FUN%8095%667
263	» CURRYBIND	263	» CURRYBIND
264	-SPUTPROP	264	-SPUTPROP
265	FUN%~~4362~~%~~549~~	265	FUN%8095%664
266	» CURRYBIND	266	» CURRYBIND
267	FUN%~~4362~~%~~552~~	267	FUN%8095%667
268	-SPUTPROP	268	-SPUTPROP
269	FUN%~~4362~~%~~553~~	269	FUN%8095%668
270	» CURRYBIND	270	» CURRYBIND
271	-SPUTPROP	271	-SPUTPROP
272	FUN%~~4362~~%~~554~~	272	FUN%8095%669
273	» CURRYBIND	273	» CURRYBIND
274	-SPUTPROP	274	-SPUTPROP
275	FUN%~~4362~~%~~555~~	275	FUN%8095%670
276	» CURRYBIND	276	» CURRYBIND
277	FUN%~~4362~~%~~554~~	277	FUN%8095%669
278	pattern»	278	pattern»
279	FUN%4362%550
280	FUN%4362%550
281	FUN%4362%551
282	FUN%4362%551
283	FUN%4362%556
284	FUN%5836%113»
285	FUN%4362%552»
286	FUN%6431%33»
287	FUN%4362%550»
288	FUN%4362%551»
289	FUN%4362%552
290	FUN%4362%552
291	FUN%4362%549
292	FUN%~~4362~~%~~549~~	279	FUN%8095%665
		280	FUN%8095%665
		281	FUN%8095%666
		282	FUN%8095%666
		283	FUN%8095%671
		284	FUN%8825%102»
		285	FUN%8095%667»
		286	FUN%8867%69»
		287	FUN%8095%665»
		288	FUN%8095%666»
		289	FUN%8095%667
		290	FUN%8095%667
		291	FUN%8095%664
		292	FUN%8095%664
293	ill-formed·membership·assertion»	293	ill-formed·membership·assertion»
294	FUN%4362%553
295	FUN%4362%553
296	FUN%4362%553»
297	FUN%4362%554
298	FUN%4362%554
299	FUN%4362%554»
300	FUN%4362%555
301	FUN%4362%555
302	FUN%4362%556
303	FUN%~~4362~~%~~556~~	294	FUN%8095%668
		295	FUN%8095%668
		296	FUN%8095%668»
		297	FUN%8095%669
		298	FUN%8095%669
		299	FUN%8095%669»
		300	FUN%8095%670
		301	FUN%8095%670
		302	FUN%8095%671
		303	FUN%8095%671
304	» MK-FUNTYP	304	» MK-FUNTYP
305	» MK-LISTYP	305	» MK-LISTYP
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-LISTYP	310	» MK-LISTYP
Offset 312, 127 lines modified		Offset 312, 127 lines modified
312	» MK-FUNTYP	312	» MK-FUNTYP
Max diff block lines reached; 47502/49597 bytes (95.78%) of diff not shown.


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%5836%55»	169	FUN%8825%44»
170	» print_lib»	170	» print_lib»
171	ML-GET_FLAG_VALUE»	171	ML-GET_FLAG_VALUE»
172	FUN%~~6431~~%63	172	FUN%8867%99


Offset 193, 160 lines modified		Offset 193, 160 lines modified
193	» MK-TOKTYP	193	» MK-TOKTYP
194	» MK-TOKTYP»	194	» MK-TOKTYP»
195	» spec_list	195	» spec_list
196	» MK-LISTYP»	196	» MK-LISTYP»
197	MK-PRODTYP	197	MK-PRODTYP
198	» MK-TOKTYP	198	» MK-TOKTYP
199	» MK-TOKTYP»	199	» MK-TOKTYP»
200	MK-LET%spec_list%569»	200	MK-LET%spec_list%598»
201	» spec_list»	201	» spec_list»
202	-SPUTPROP	202	-SPUTPROP
203	FUN%4~~587~~%~~571~~	203	FUN%734%600
204	» CURRYBIND	204	» CURRYBIND
205	-SPUTPROP	205	-SPUTPROP
206	FUN%4~~587~~%~~572~~	206	FUN%734%601
207	» CURRYBIND	207	» CURRYBIND
208	MK-LETREC%split%106»	208	MK-LETREC%split%62»
209	FUN%7672%107»
210	FUN%6431%33»
211	FUN%4587%571
212	FUN%4587%571
213	FUN%4587%571»
214	FUN%7672%85»
215	FUN%4587%572
216	FUN%~~4587~~%~~572~~	209	FUN%5928%63»
		210	FUN%8867%69»
		211	FUN%734%600
		212	FUN%734%600
		213	FUN%734%600»
		214	FUN%5928%41»
		215	FUN%734%601
		216	FUN%734%601
217	» MK-FUNTYP	217	» MK-FUNTYP
218	» MK-TOKTYP	218	» MK-TOKTYP
219	» MK-TOKTYP»	219	» MK-TOKTYP»
220	» MK-FUNTYP	220	» MK-FUNTYP
221	» MK-TOKTYP	221	» MK-TOKTYP
222	» MK-TOKTYP»	222	» MK-TOKTYP»
223	MK-LET%do_char%570»	223	MK-LET%do_char%599»
224	do_char»	224	do_char»
225	FUN%4~~587~~%~~572~~	225	FUN%734%601
226	-SPUTPROP	226	-SPUTPROP
227	FUN%4~~587~~%~~574~~	227	FUN%734%603
228	» CURRYBIND	228	» CURRYBIND
229	ML-EXPLODE»	229	ML-EXPLODE»
230	FUN%6431%36»
231	FUN%5836%58»
232	FUN%4587%574
233	FUN%~~458~~7%~~574~~	230	FUN%8867%72»
		231	FUN%8825%47»
		232	FUN%734%603
		233	FUN%734%603
234	» MK-FUNTYP	234	» MK-FUNTYP
235	» MK-TOKTYP	235	» MK-TOKTYP
236	» MK-TOKTYP»	236	» MK-TOKTYP»
237	» filter_id	237	» filter_id
238	» MK-FUNTYP	238	» MK-FUNTYP
239	» MK-TOKTYP	239	» MK-TOKTYP
240	» MK-TOKTYP»	240	» MK-TOKTYP»
241	MK-LET%filter_id%~~573~~»	241	MK-LET%filter_id%602»
242	» filter_id»	242	» filter_id»
243	FUN%4~~587~~%~~574~~	243	FUN%734%603
244	-SPUTPROP	244	-SPUTPROP
245	FUN%4~~587~~%~~576~~	245	FUN%734%605
246	» CURRYBIND	246	» CURRYBIND
247	-SPUTPROP	247	-SPUTPROP
248	FUN%4~~587~~%~~577~~	248	FUN%734%606
249	» CURRYBIND	249	» CURRYBIND
250	-SPUTPROP	250	-SPUTPROP
251	FUN%4~~587~~%~~578~~	251	FUN%734%607
252	» CURRYBIND	252	» CURRYBIND
253	FUN%4~~587~~%~~577~~	253	FUN%734%606
254	-SPUTPROP	254	-SPUTPROP
255	FUN%4~~587~~%~~580~~	255	FUN%734%609
256	» CURRYBIND	256	» CURRYBIND
257	-SPUTPROP	257	-SPUTPROP
258	FUN%4~~587~~%~~579~~	258	FUN%734%608
259	» CURRYBIND	259	» CURRYBIND
260	-SPUTPROP	260	-SPUTPROP
261	FUN%4~~587~~%~~581~~	261	FUN%734%610
262	» CURRYBIND	262	» CURRYBIND
263	FUN%4587%576
264	FUN%4587%576
265	FUN%4587%577
266	FUN%4587%577
267	FUN%4587%577»
268	FUN%4587%578
269	FUN%4587%578
270	FUN%4587%580
271	FUN%4587%580
272	FUN%4587%580»
273	FUN%4~~587~~%~~582~~	263	FUN%734%605
		264	FUN%734%605
		265	FUN%734%606
		266	FUN%734%606
		267	FUN%734%606»
		268	FUN%734%607
		269	FUN%734%607
		270	FUN%734%609
		271	FUN%734%609
		272	FUN%734%609»
		273	FUN%734%611
274	explode»	274	explode»
275	FUN%5836%65»	275	FUN%8825%54»
276	ML-FLAT»	276	ML-FLAT»
277	FUN%4~~587~~%~~583~~	277	FUN%734%612
278	explode»	278	explode»
279	FUN%4587%579»
280	FUN%4587%579
281	FUN%4587%579
282	FUN%4587%576»
283	FUN%4~~587~~%578»	279	FUN%734%608»
		280	FUN%734%608
		281	FUN%734%608
		282	FUN%734%605»
		283	FUN%734%607»
284	ML-IMPLODE»	284	ML-IMPLODE»
285	FUN%4587%581
286	FUN%4587%581
287	FUN%4587%582
288	FUN%4587%582
289	FUN%4587%583
290	FUN%4~~587~~%~~583~~	285	FUN%734%610
		286	FUN%734%610
		287	FUN%734%611
		288	FUN%734%611
		289	FUN%734%612
		290	FUN%734%612
Max diff block lines reached; 1117/3191 bytes (35.00%) of diff not shown.