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

⊟

77.6 MB

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

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

⊟

1.28 KB

Files ¶

⊟

1.09 MB

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

⊟

367 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.09 MB

data.tar.xz ¶

⊟

1.09 MB

data.tar ¶

⊟

3.29 KB

file list ¶

⊟

881 B

⊟

530 KB

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

⊟

919 B

⊟

805 B

⊟

576 KB

Command `'ps2ascii {}'` failed with exit code 1. Standard output: GPL Ghostscript 10.04.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.34 MB

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

⊟

452 B

file list ¶

⊟

676 B

control.tar.xz ¶

⊟

648 B

control.tar ¶

⊟

578 B

./control ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.34 MB

data.tar.xz ¶

⊟

1.34 MB

data.tar ¶

⊟

35.3 KB

file list ¶

⊟

26.5 KB

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

⊟

26.4 KB

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

⊟

9.25 KB

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

⊟

9.13 KB

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

⊟

714 B

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

⊟

598 B

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

⊟

4.78 KB

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

⊟

4.66 KB

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

⊟

4.32 KB

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

⊟

4.2 KB

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

⊟

1.7 KB

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

⊟

1.58 KB

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

⊟

1.74 KB

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

⊟

1.62 KB

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

⊟

10.7 KB

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

⊟

10.6 KB

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

⊟

3.27 KB

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

⊟

3.15 KB

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

⊟

3.83 KB

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

⊟

3.71 KB

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

⊟

3.34 KB

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

⊟

3.22 KB

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

⊟

7.32 KB

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

⊟

7.2 KB

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

⊟

6.62 KB

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

⊟

6.5 KB

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

⊟

6.23 KB

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

⊟

6.11 KB

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

⊟

11.8 KB

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

⊟

11.7 KB

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

⊟

6.32 KB

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

⊟

6.21 KB

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

⊟

5.03 KB

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

⊟

4.91 KB

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

⊟

1.11 KB

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

⊟

1010 B

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

⊟

2.77 KB

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

⊟

2.64 KB

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

⊟

17.7 KB

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

⊟

17.6 KB

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

⊟

7.39 KB

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

⊟

7.26 KB

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

⊟

9.94 KB

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

⊟

9.8 KB

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

⊟

2.86 KB

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

⊟

2.73 KB

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

⊟

48.6 KB

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

⊟

48.5 KB

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

⊟

413 B

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

⊟

285 B

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

⊟

3.35 KB

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

⊟

3.23 KB

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

⊟

15.6 KB

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

⊟

15.5 KB

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

⊟

5.02 KB

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

⊟

4.89 KB

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

⊟

3.8 KB

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

⊟

3.67 KB

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

⊟

12.6 KB

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

⊟

12.4 KB

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

⊟

4.08 KB

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

⊟

3.94 KB

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

⊟

5.71 KB

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

⊟

5.57 KB

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

⊟

1.68 KB

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

⊟

1.55 KB

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

⊟

3.43 KB

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

⊟

3.29 KB

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

⊟

2.87 KB

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

⊟

2.74 KB

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

⊟

62.6 KB

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

⊟

62.4 KB

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

⊟

9.45 KB

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

⊟

9.34 KB

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

⊟

12.8 KB

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

⊟

12.7 KB

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

⊟

3.83 KB

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

⊟

3.72 KB

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

⊟

14.7 KB

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

⊟

14.6 KB

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

⊟

16.8 KB

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

⊟

16.7 KB

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

⊟

13.2 KB

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

⊟

13.1 KB

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

⊟

853 B

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

⊟

741 B

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

⊟

11.9 KB

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

⊟

11.8 KB

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

⊟

19.0 KB

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

⊟

18.9 KB

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

⊟

60.3 KB

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

⊟

60.2 KB

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

⊟

11.4 KB

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

⊟

11.3 KB

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

⊟

7.33 KB

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

⊟

7.21 KB

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

⊟

2.99 KB

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

⊟

2.87 KB

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

⊟

10.5 KB

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

⊟

10.4 KB

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

⊟

4.07 KB

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

⊟

3.93 KB

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

⊟

5.03 KB

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

⊟

4.89 KB

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

⊟

5.7 KB

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

⊟

5.55 KB

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

⊟

1.11 KB

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

⊟

987 B

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

⊟

5.86 KB

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

⊟

5.71 KB

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

⊟

1.34 KB

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

⊟

1.2 KB

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

⊟

1.51 KB

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

⊟

1.36 KB

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

⊟

45.6 KB

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

⊟

45.5 KB

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

⊟

17.7 KB

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

⊟

17.6 KB

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

⊟

14.7 KB

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

⊟

14.5 KB

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

⊟

17.7 KB

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

⊟

17.6 KB

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

⊟

21.5 KB

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

⊟

21.4 KB

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

⊟

71.7 KB

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

⊟

71.6 KB

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

⊟

23.5 KB

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

⊟

23.4 KB

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

⊟

5.02 KB

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

⊟

4.87 KB

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

⊟

3.71 KB

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

⊟

3.57 KB

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

⊟

12.6 KB

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

⊟

12.4 KB

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

⊟

1.62 KB

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

⊟

1.49 KB

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

⊟

7.76 KB

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

⊟

7.62 KB

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

⊟

33.7 KB

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

⊟

33.5 KB

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

⊟

41.5 KB

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

⊟

41.3 KB

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

⊟

19.3 KB

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

⊟

19.1 KB

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

⊟

3.22 KB

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

⊟

3.08 KB

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

⊟

37.2 KB

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

⊟

37.1 KB

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

⊟

8.78 KB

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

⊟

8.65 KB

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

⊟

3.66 KB

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

⊟

3.54 KB

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

⊟

2.62 KB

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

⊟

2.5 KB

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

⊟

13.3 KB

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

⊟

13.2 KB

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

⊟

31.0 KB

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

⊟

30.9 KB

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

⊟

11.4 KB

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

⊟

11.3 KB

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

⊟

7.27 KB

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

⊟

7.15 KB

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

⊟

2.97 KB

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

⊟

2.85 KB

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

⊟

2.18 KB

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

⊟

2.07 KB

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

⊟

1.57 KB

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

⊟

1.45 KB

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

⊟

2.77 KB

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

⊟

2.64 KB

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

⊟

1.45 KB

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

⊟

1.33 KB

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

⊟

17.4 KB

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

⊟

17.3 KB

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

⊟

4.64 KB

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

⊟

4.52 KB

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

⊟

20.3 KB

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

⊟

20.1 KB

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

⊟

6.94 KB

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

⊟

6.83 KB

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

⊟

8.6 KB

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

⊟

8.49 KB

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

⊟

1.35 KB

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

⊟

1.24 KB

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

⊟

13.5 KB

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

⊟

13.4 KB

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

⊟

19.9 KB

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

⊟

19.8 KB

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

⊟

707 B

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

⊟

591 B

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

⊟

8.74 KB

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

⊟

8.63 KB

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

⊟

30.0 KB

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

⊟

29.9 KB

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

⊟

11.5 KB

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

⊟

11.4 KB

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

⊟

8.73 KB

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

⊟

8.61 KB

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

⊟

16.7 KB

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

⊟

16.5 KB

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

⊟

22.1 KB

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

⊟

22.0 KB

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

⊟

35.9 KB

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

⊟

35.8 KB

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

⊟

613 B

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

⊟

487 B

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

⊟

846 B

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

⊟

716 B

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

⊟

11.4 KB

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

⊟

11.3 KB

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

⊟

21.9 KB

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

⊟

21.7 KB

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

⊟

5.3 KB

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

⊟

5.18 KB

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

⊟

1.29 KB

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

⊟

1.18 KB

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

⊟

36.2 KB

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

⊟

36.1 KB

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

⊟

1.19 KB

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

⊟

1.08 KB

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

⊟

3.06 KB

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

⊟

2.94 KB

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

⊟

18.0 KB

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

⊟

17.9 KB

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

⊟

318 KB

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

⊟

370 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

318 KB

data.tar.xz ¶

⊟

318 KB

data.tar ¶

⊟

1.54 KB

⊟

685 B

⊟

543 B

⊟

58.2 KB

⊟

20.2 KB

⊟

5.19 KB

⊟

5.73 KB

⊟

900 B

⊟

176 KB

⊟

9.85 KB

⊟

3.97 KB

⊟

1.69 KB

⊟

14.1 KB

⊟

7.95 KB

⊟

6.75 KB

⊟

4.16 KB

⊟

74.9 MB

hol88_2.02.19940316dfsg-5_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

⊟

74.9 MB

data.tar.xz ¶

⊟

74.9 MB

data.tar ¶

⊟

27.8 MB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

190 KB

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

⊟

27.6 MB

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

⊟

44.4 MB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

446 KB

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

⊟

44.0 MB

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

⊟

2.72 MB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

31.6 KB

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

⊟

2.69 MB

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


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

1	·1f4b7d998ac883dda702bb96595c3f83·23444·math·optional·hol88-contrib-help_2.02.19940316dfsg-5_all.deb	1	·1f4b7d998ac883dda702bb96595c3f83·23444·math·optional·hol88-contrib-help_2.02.19940316dfsg-5_all.deb
2	·b3a739f2c95b2c4c96556a080f14172b·725520·math·optional·hol88-contrib-source_2.02.19940316dfsg-5_all.deb	2	·b3a739f2c95b2c4c96556a080f14172b·725520·math·optional·hol88-contrib-source_2.02.19940316dfsg-5_all.deb
3	·1d3a26d~~cc7cd14~~326~~b1b83~~a~~48a~~6e0~~9cf~~·1064880·doc·optional·hol88-doc_2.02.19940316dfsg-5_all.deb	3	·c82edb948736e3c63067aa71c6ad03e7·1064824·doc·optional·hol88-doc_2.02.19940316dfsg-5_all.deb
4	·13149c402b486edede2163284c6a62ee·209292·math·optional·hol88-help_2.02.19940316dfsg-5_all.deb	4	·13149c402b486edede2163284c6a62ee·209292·math·optional·hol88-help_2.02.19940316dfsg-5_all.deb
5	·2e76bef766713f7ddfe80641586b7d3f·227748·math·optional·hol88-library-help_2.02.19940316dfsg-5_all.deb	5	·2e76bef766713f7ddfe80641586b7d3f·227748·math·optional·hol88-library-help_2.02.19940316dfsg-5_all.deb
6	·59939b639d170e3323a4a5c396bc44ea·417084·math·optional·hol88-library-source_2.02.19940316dfsg-5_all.deb	6	·59939b639d170e3323a4a5c396bc44ea·417084·math·optional·hol88-library-source_2.02.19940316dfsg-5_all.deb
7	·3408c02bd0433dc40db3959caa3d91bb·3643564·math·optional·hol88-library_2.02.19940316dfsg-5_armhf.deb
8	·f3bf84e72bc1d7de27a73acc90770f32·294028·math·optional·hol88-source_2.02.19940316dfsg-5_all.deb
9	·ec89ff~~f114279~~5~~3f92e9~~7520919d3942·~~533556~~4·math·optional·hol88_2.02.19940316dfsg-5_armhf.deb	7	·c16fefaaa0d1b515a34317e32b9a9dd9·3641884·math·optional·hol88-library_2.02.19940316dfsg-5_armhf.deb
		8	·2f027a22e36c59465debf3b7e2c40d4b·294032·math·optional·hol88-source_2.02.19940316dfsg-5_all.deb
		9	·c6b672c5aa4bd08fbabec704c688755a·5381168·math·optional·hol88_2.02.19940316dfsg-5_armhf.deb


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


Offset 1, 10 lines modified		Offset 1, 10 lines modified
00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·		00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·
00000010:·5465·5820·6f75·7470·7574·2032·3032·342e··TeX·output·2024.		00000010:·5465·5820·6f75·7470·7574·2032·3032·342e··TeX·output·2024.
00000020:·3131·2e30·363a·3131·3539·8b00·0000·0100··11.06:1~~159~~......		00000020:·3131·2e30·373a·3134·3331·8b00·0000·0100··11.07:1431......
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 1, 3953 lines modified		Offset 1, 3953 lines modified
00000000:·1f8b·0800·0000·0000·0203·ec3c·5d73·e336··...........<]s.6		00000000:·1f8b·0800·0000·0000·0203·ec3c·5d73·e336··...........<]s.6
00000010:·92ef·f815·c85e·a5d6·ae1a·8ba4·64cb·~~63d7~~··.....^......d.c.		00000010:·92ef·f815·c85e·a5d6·ae1a·8ba4·e48f·b1eb··.....^..........
00000020:·~~ddd5~~·~~f863~~·5c35·a919·c56b·4d26·def2·b976··.~~..c~~\5...kM&...v		00000020:·ee6a·2c7b·5c35·a919·c56b·4d26·def2·b976··.j,{\5...kM&...v
00000030:·2912·b218·5324·4352·b2b4·58fd·f7eb·6e00··)...S$CR..X...n.		00000030:·2912·b218·5324·4352·b2b4·58fd·f7eb·6e00··)...S$CR..X...n.
00000040:·2448·51b2·93cd·5ddd·c339·1911·6c34·1a8d··$HQ...]..9..l4..		00000040:·2448·51b2·93cd·5ddd·c339·1911·6c34·1a8d··$HQ...]..9..l4..
00000050:·46a3·bb01·a1f5·fd77·b7e3·a38b·309d·88a3··F......w....0...		00000050:·46a3·bb01·a1f5·fd77·b7e3·a3cb·309d·88a3··F......w....0...
00000060:·7ecf·65df·7f7f·950b·bf4c·f373·1e2e·a3ac··~.e......L.s....		00000060:·7ecf·65df·7f7f·950b·bf4c·f30b·1e2e·a3ac··~.e......L......
00000070:·3878·3ee4·7db7·7fdc·f3f8·c157·71cf·3f47··8x>.}......Wq.?G		00000070:·3878·3ee4·7db7·7fdc·f3f8·c157·71cf·3f47··8x>.}......Wq.?G
00000080:·4b81·8013·2714·cb43·ceaf·d26c·9d47·4fb3··K...'..C...l.GO.		00000080:·4b81·8013·2714·cb43·ceaf·d26c·9d47·4fb3··K...'..C...l.GO.
00000090:·92b0·f89d·1f46·811f·f38f·6bc1·c7e9·b47c··.....F....k....\|		00000090:·92b0·f89d·1f46·811f·f38f·6bc1·c7e9·b47c··.....F....k....\|
000000a0:·f173·0134·bf46·652c·ceb9·48c2·cc7f·1245··.s.4.Fe,..H....E		000000a0:·f173·0134·bf46·652c·2eb8·48c2·cc7f·1245··.s.4.Fe,..H....E
000000b0:·0f48·9b9e·a234·b9f6·4ba8·1c2f·12fe·839f··.H...4..K../....		000000b0:·0f48·9b9e·a234·b9f6·4ba8·1c2f·12fe·839f··.H...4..K../....
000000c0:·70fe·9ef7·fbe7·9e77·7e3c·~~449a~~·0340·~~bcc5~~··p......w~~~<D.~~.@..		000000c0:·70fe·9ef7·fb17·9e77·717c·8a34·0780·788b··p......wq\|.4..x.
000000d0:·46e7·fc58·177f·cc43·01fc·5d14·0110·04d8··F..X...C..].....
000000e0:·~~65ba~~·48c2·2~~879~~·~~ba4c~~·~~57e7~~·~~dc85~~·~~ff4e~~·~~ce86~~··e.H.(y.LW....N..		000000d0:·8d2e·f8b1·2efe·9887·02f8·bb2c·0220·08b0··...........,.·..
		000000e0:·61ba·48c2·2879·1aa6·ab0b·eec2·7f27·e7a7··a.H.(y.......'..
000000f0:·fcfd·711f·aaae·d360·3117·4979·9326·2550··..q....`1.Iy.&%P		000000f0:·fcfd·711f·aaae·d360·3117·4979·9326·2550··..q....`1.Iy.&%P
00000100:·b8fa·72e7·b9f8·7986·1fef·2d84·5b3f·13f9··..r...y...-.[?..		00000100:·b8fa·72e7·b9f8·798e·1fef·2d84·5b3f·13f9··..r...y...-.[?..
00000110:·38fa·07f6·e363·471f·93f0·2a9d·6355·c1be··8....cG...*.cU..		00000110:·38fa·07f6·e363·471f·93f0·2a9d·6355·c1be··8....cG...*.cU..
00000120:·bffe·f6e9·76fc·b398·60ef·e7fc·e0e5·e5a5··....v...`.......		00000120:·bffe·f6e9·76fc·b398·60ef·17fc·e0e5·e5a5··....v...`.......
00000130:·97ab·918a·b5e8·05e9·fc50·e360·133f·093f··.........P.`.?.?		00000130:·97ab·918a·b5e8·05e9·fc50·e360·133f·093f··.........P.`.?.?
00000140:·4789·d002·ac06·ad31·6efd·dc9f·8b52·e4d0··G......1n....R..		00000140:·4789·d002·ac06·ad31·6efd·dc9f·8b52·e4d0··G......1n....R..
00000150:·5198·45ff·3174·5d5d·334e·1779·00cd·38ca··Q.E.1t]]3N.y..8.
00000160:·395d·94d9·a2d4·a2f7·7aee·1024·7272·8683··9]......z..$rr..
00000170:·154f·5172·9ba7·c158·94e7·bc14·ab5e·96a7··.OQr...X.....^..
00000180:·386a·f6fd·77cc·81a6·d751·50f2·81eb·f210··8j..w....QP.....
00000190:·0ba1·9872·039c·6053·6724·01b6·817f·cea5··...r..`Sg$......
000001a0:·9c44·4988·289b·9133·9662·15cc·a070·2fc7··.DI.(..3.b...p/.
000001b0:·6cb4·b974·2e64·b8c8·e0f9·f54e·96b9·9f14··l..t.d.....N....
000001c0:·31cc·1254·4745·5cf0·a91f·1782·8f9c·6501··1..TGE\.......e.
000001d0:·12e3·9ec7·4ffb·7cbe·8801·3223·c8fb·de09··....O.\|...2#....
000001e0:·8098·02c5·2090·2c5e·1467·aea4·76d4·f707··....·.,^.g..v...
000001f0:·509a·2891·484d·3eb8·dcc2·f1f8·91b7·9147··P.(.HM>........G
00000200:·1ef7·36d1·5460·3f2e·83e1·3d06·6912·f825··..6.T`?...=.i..%
00000210:·c0b0·b33b·51a4·f102·9507·86b9·44c8·b716··...;Q.......D...
00000220:·2811·4fbc·c009·e2d4·07b3·7ab0·51a1·2562··(.O.......z.Q.%b
00000230:·ab81·20bf·2e27·3948·0be7·4823·d1d8·6850··..·..'9H..H#..hP
00000240:·ae61·edeb·1d32·64e1·dab4·1551·d3da·e37e··.a...2d....Q...~
00000250:·1852·175f·ef1e·d8dc·2ff3·68c5·8345·9e83··.R._..../.h..E..
00000260:·8aa9·3779·c12f·788e·cacc·8bc5·84fb·9382··..7y./x.........
00000270:·bb3d·17fe·3c1e·9792·2aa0·b7cd·34cd·fd38··.=..<...*...4..8
00000280:·5688·0c99·d56d·b0f8·5808·4d0c·a6ea·038e··V....m..X.M.....
00000290:·1964·9009·a9a6·adcc·1730·6b30·a71f·4049··.d.......0k0..@I
000002a0:·177e·3c15·2294·ac28·fd72·51a0·b638·3558··.~<."..(.rQ..85X
000002b0:·e182·0a22·7690·6691·28a4·f36f·aac0·ef01··..."v.f.(..o....
000002c0:·78f3·c52f·1f3c·5a6e·47f4·7864·23e7·e6f2··x../.<ZnG.xd#...
000002d0:·f2c1·2598·fb38·7292·040a·23e7·d347·f50c··..%..8r...#..G..
000002e0:·ca9c·9ee1·f4a8·f4a3·5862·fd7b·a5a5·230e··........Xb.{..#.
000002f0:·6552·4fe6·e052·fdba·ce04·1f00·2ebe·7c51··eRO..R........\|Q
00000300:·a29a·2665·bed2·a04b·58ea·1c3a·8386·0554··..&e...KX..:...T
00000310:·264f·cec4·87d9·b8e7·7e9e·fb6b·e65c·46d0··&O......~..k.\F.
00000320:·0ad6·debd·73b9·88e2·f06a·e6e7·123f·e84d··....s....j...?.M
00000330:·e420·9b8f·4990·a2cd·e0c8·dd08·1729·bf90··.·..I........)..
00000340:·ce34·4d39·4870·0a5d·6cfa·8c88·7118·337c··.4M9Hp.]l...q.3\|
00000350:·2ca1·6b1e·a77e·0843·005e·4130·663c·0f20··,.k..~.C.^A0f<.·
00000360:·8c62·aa47·26b1·e841·5171·8b42·e223·a647··.b.G&..AQq.B.#.G
00000370:·0c88·e1b4·90a0·0c88·75af·701e·a8ad·cbe1··........u.p.....
00000380:·812a·4b92·e375·838f·324b·33ec·f182·c1b2··.*K..u..2K3.....
00000390:·01b3·82bc·553c·5e3a·572f·f20a·58e7·b148··....U<^:W/..X..H
000003a0:·9eca·193f·21cd·7912·5435·6b54·1d9b·2a86··...?!.y.T5kT..*.
000003b0:·752b·e9f5·df73·bb7e·60ea·f189·28eb·46f3··u+...s.~`...(.F.
000003c0:·7e55·edf5·4f09·8501·4eb8·6a20·7976·f791··~U..O...N.j·yv..
000003d0:·aa2a·612e·1d35·4b58·8451·4a94·1c20·9104··.*a..5KX.QJ..·..
000003e0:·e11f·534b·6384·ca8d·6c57·f324·0b7f·897a··..SKc...lW.$...z
000003f0:·e081·8683·c68f·f985·9a67·e4a2·cfc1·7689··.........g....v.
00000400:·1595·c7f5·8cd3·2b11·87ce·ef39·08cf·cc13··......+....9....
00000410:·0c76·05cf·ab15·bf5a·f3ab·1971·8a2f·2fd4··.v.....Z...q.//.
00000420:·f9d5·9a81·5003·3f98·0970·6c51·20b0·02b0··....P.?..plQ·...
00000430:·7019·d46a·7e04·6e10·da50·d335·efd1·701f··p..j~.n..P.5..p.
00000440:·e555·b489·e660·e2e7·7ef1·cc72·5180·f714··.U...`..~..rQ...
00000450:·3090·6be9·0401·f0d0·2982·47b4·1b49·528f··0.k.....).G..IR.
00000460:·0750·9151·34fa·49d2·1e0f·d68c·39a9·16b4··.P.Q4.I.....9...
00000470:·bd68·0bfc·a292·c658·4de0·942c·0ed0·62d8··.h.....XM..,..b.
00000480:·8d51·56fc·6744·7de9·7c92·d0a5·7abd·86d7··.QV.gD}.\|...z...
00000490:·499a·c945·2172·b203·f072·344b·d367·fe9c··I..E!r...r4K.g..
000004a0:·a42f·8964·e61d·a839·e34f·9ca6·65c4·950d··./.d...9.O..e...
000004b0:·27d9·ccd3·a528·53e7·1bef·b26b·c09f·477c··'....(S....k..G\|
000004c0:·5d90·f124·93e5·2a00·d943·64a1·7776·8646··]..$..*..Cd.wv.F
000004d0:·cef9·cbb7·8d74·eebe·19fb·4a2b·0e7d·18ae··.....t....J+.}..
000004e0:·02f8·072b·5700·a30c·98d0·82e6·15d3·a2c9··...+W...........
000004f0:·b4a8·79e6·c52c·7d41·278c·4611·cc5d·5e4a··..y..,}A'.F..]^J
00000500:·5635·a377·bb61·0d20·e181·06d9·46fd·deb1··V5.w.a.·....F...
00000510:·5f98·e792·a75d·3ae0·c241·07a0·1a0d·4aff··_....]:..A....J.
00000520:·64a8·4c11·48a9·af4d·140c·d983·8a13·8908··d.L.H..M........
00000530:·a0ca·7c30·7469·e883·2144·366a·fa82·655e··..\|0ti..!D6j..e^
00000540:·c007·d917·b4f3·34ec·e1c9·e97b·af77·3aa4··......4....{.w:.
00000550:·6e94·4fb9·6f02·95d3·bddf·8c98·1346·a8ec··n.O.o........F..
00000560:·e861·c3f5·5ad6·af68·7bd6·a502·7806·506a··.a..Z..h{...x.Pj
00000570:·8c7e·05d0·1803·a600·9954·d5e2·5779·74e6··.~.......T..Wyt.
00000580:·c22a·0457·2148·9abc·7add·10ce·a01b·8719··.*.W!H..z.......
00000590:·1c7c·d793·6a1e·23e7·6ecb·878c·9ccb·eb14··.\|..j.#.n.......
000005a0:·1637·8846·4b0d·b060·d982·6fb9·5b93·8dfd··.7.FK..`..o.[...
000005b0:·~~2681~~·~~afbb~~·~~6fce~~·~~5222~~·~~e41e~~·6bef·~~f9b7~~·~~cd25~~··&...o.~~R".~~.k....%		00000150:·5198·45ff·71ea·baba·669c·2ef2·009a·7194··Q.E.q...f.....q.
		00000160:·73ba·28b3·45a9·45ef·f5dc·b30b·ef78·e0e1··s.(.E.E......x..
		00000170:·60c5·5394·dce6·6930·16e5·052f·c5aa·97e5··`.S...i0.../....
		00000180:·298e·9a7d·ff1d·73a0·e975·1494·7ce0·ba3c··)..}..s..u..\|..<
		00000190:·c442·28a6·dc00·27d8·d419·4980·6de0·9f33··.B(...'...I.m..3
		000001a0:·9493·2809·1165·3372·c652·ac82·1914·eee5··..(..e3r.R......
		000001b0:·988d·3643·e752·868b·0c9e·5fef·6499·fb49··..6C.R...._.d..I
		000001c0:·11c3·2c41·7554·c405·9ffa·7121·f8c8·5916··..,AuT....q!..Y.
		000001d0:·2031·ee79·fcac·cfe7·8b18·2033·82bc·ef9d···1.y......·3....
		000001e0:·0088·2950·0c02·c9e2·4571·ee4a·6a47·7d7f··..)P....Eq.JjG}.
		000001f0:·00a5·8912·89d4·e483·cb2d·1c8f·1f79·1b79··.........-...y.y
		00000200:·e471·6f13·4d05·f6e3·3218·de63·9026·815f··.qo.M...2..c.&._
		00000210:·020c·3bbb·1345·1a2f·5079·6098·4b84·7c6b··..;..E./Py`.K.\|k
		00000220:·8112·f1c4·0b9c·204e·7d30·ab07·1b15·5a22··......·N}0....Z"
		00000230:·b61a·08f2·eb72·9283·b470·8e34·128d·8d06··.....r...p.4....
		00000240:·e51a·d6be·de21·4316·ae4d·5b11·35ad·3dee··.....!C..M[.5.=.
		00000250:·8721·75f1·f5ee·81cd·fd32·8f56·3c58·e439··.!u......2.V<X.9
		00000260:·a898·7a93·97fc·92e7·a8cc·bc58·4cb8·3f29··..z........XL.?)
		00000270:·b8db·73e1·cfe3·7129·a902·7adb·4cd3·dc8f··..s...q)..z.L...
		00000280:·6385·c890·59dd·068b·8f85·d0c4·60aa·3ee0··c...Y.......`.>.
		00000290:·9841·0699·906a·daca·7c01·b306·73fa·0194··.A...j..\|...s...
		000002a0:·74e1·c753·2142·c98a·d22f·1705·6a8b·5383··t..S!B.../..j.S.
		000002b0:·152e·a820·6207·6916·8942·3aff·a60a·fc1e··...·b.i..B:.....
		000002c0:·8037·5ffc·f2c1·a3e5·7644·8f47·3672·6e86··.7_.....vD.G6rn.
		000002d0:·c307·9760·eee3·c849·1228·8c9c·4f1f·d533··...`...I.(..O..3
		000002e0:·2873·7a86·d3a3·d28f·6289·f5ef·9596·8e38··(sz.....b......8
		000002f0:·9449·3d99·834b·f5eb·3a13·7c00·b8f8·f245··.I=..K..:.\|....E
		00000300:·896a·9a94·f94a·8386·b0d4·3974·060d·0ba8··.j...J....9t....
		00000310:·4c9e·9c89·0fb3·71cf·fd3c·f7d7·cc19·46d0··L.....q..<....F.
		00000320:·0ad6·debd·335c·4471·7835·f373·891f·f426··....3\Dqx5.s...&
		00000330:·7290·cdc7·2448·d166·70e4·6e84·8b94·5f4a··r...$H.fp.n..._J
		00000340:·679a·a61c·2438·852e·367d·46c4·388c·193e··g...$8..6}F.8..>
		00000350:·96d0·358f·533f·8421·00af·2018·339e·0710··..5.S?.!..·.3...
		00000360:·4631·d523·9358·f4a0·a8b8·4521·f111·d323··F1.#.X....E!...#
		00000370:·06c4·705a·4850·06c4·ba57·380f·d4d6·e5f0··..pZHP...W8.....
Max diff block lines reached; 530251/542279 bytes (97.78%) of diff not shown.


Offset 12, 20 lines modified		Offset 12, 20 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)·····1864·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.dvi	16	-rw-r--r--···0·root·········(0)·root·········(0)·····1864·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.dvi
17	-rw-r--r--···0·root·········(0)·root·········(0)····63241·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.ps.gz	17	-rw-r--r--···0·root·········(0)·root·········(0)····63241·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.ps.gz
18	-rw-r--r--···0·root·········(0)·root·········(0)······952·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.dvi.gz	18	-rw-r--r--···0·root·········(0)·root·········(0)······952·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.dvi.gz
19	-rw-r--r--···0·root·········(0)·root·········(0)····68597·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.ps.gz	19	-rw-r--r--···0·root·········(0)·root·········(0)····68598·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.ps.gz
20	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Description/	20	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Description/
21	-rw-r--r--···0·root·········(0)·root·········(0)···368903·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Description/description.dvi.gz	21	-rw-r--r--···0·root·········(0)·root·········(0)···368904·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Description/description.dvi.gz
22	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Guide/	22	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Guide/
23	-rw-r--r--···0·root·········(0)·root·········(0)····73078·1993-09-28·10:51:26.000000·./usr/share/doc/hol88-doc/Manual/Guide/guide.ps.gz	23	-rw-r--r--···0·root·········(0)·root·········(0)····73078·1993-09-28·10:51:26.000000·./usr/share/doc/hol88-doc/Manual/Guide/guide.ps.gz
24	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Libraries/	24	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Libraries/
25	-rw-r--r--···0·root·········(0)·root·········(0)·····2300·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Libraries/libraries.dvi	25	-rw-r--r--···0·root·········(0)·root·········(0)·····2300·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Libraries/libraries.dvi
26	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Reference/	26	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Reference/
27	-rw-r--r--···0·root·········(0)·root·········(0)···345523·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Reference/reference.dvi.gz	27	-rw-r--r--···0·root·········(0)·root·········(0)···345524·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Reference/reference.dvi.gz
28	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Tutorial/	28	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Tutorial/
29	-rw-r--r--···0·root·········(0)·root·········(0)···115448·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Tutorial/tutorial.dvi.gz	29	-rw-r--r--···0·root·········(0)·root·········(0)···115447·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Tutorial/tutorial.dvi.gz
30	-rw-r--r--···0·root·········(0)·root·········(0)······506·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/changelog.Debian.gz	30	-rw-r--r--···0·root·········(0)·root·········(0)······506·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/changelog.Debian.gz
31	-rw-r--r--···0·root·········(0)·root·········(0)·····1124·2010-11-05·16:09:32.000000·./usr/share/doc/hol88-doc/copyright	31	-rw-r--r--···0·root·········(0)·root·········(0)·····1124·2010-11-05·16:09:32.000000·./usr/share/doc/hol88-doc/copyright


Offset 1, 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:·3131·2e30·363a·3131·3536·8b00·0000·0100··11.06:1~~156~~......		00000020:·3131·2e30·373a·3134·3238·8b00·0000·0100··11.07:1428......
00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................		00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................
00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................		00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................
00000050:·0000·00ff·ffff·ff8d·ef1a·6865·6164·6572··..........header		00000050:·0000·00ff·ffff·ff8d·ef1a·6865·6164·6572··..........header
00000060:·3d6c·3362·6163·6b65·6e64·2d64·7669·7073··=l3backend-dvips		00000060:·3d6c·3362·6163·6b65·6e64·2d64·7669·7073··=l3backend-dvips
00000070:·2e70·726f·8ea0·02cc·0555·8da0·fd46·d30e··.pro.....U...F..		00000070:·2e70·726f·8ea0·02cc·0555·8da0·fd46·d30e··.pro.....U...F..
00000080:·a002·942f·df8d·a0fd·6cd0·218d·9112·c761··.../....l.!....a		00000080:·a002·942f·df8d·a0fd·6cd0·218d·9112·c761··.../....l.!....a
00000090:·f325·c2d6·4ea0·000c·0000·000c·0000·0006··.%..N...........		00000090:·f325·c2d6·4ea0·000c·0000·000c·0000·0006··.%..N...........
000000a0:·636d·6278·3132·d056·4552·5349·4f4e·9604··cmbx12.VERSION..		000000a0:·636d·6278·3132·d056·4552·5349·4f4e·9604··cmbx12.VERSION..
000000b0:·8000·3293·2866·6f72·9348·4f4c·3838·2e32··..2.(for.HOL88.2		000000b0:·8000·3293·2866·6f72·9348·4f4c·3838·2e32··..2.(for.HOL88.2
000000c0:·2e30·2992·00af·b040·4e6f·95a0·0076·9365··.0)....@No...v.e		000000c0:·2e30·2992·00af·b040·4e6f·95a0·0076·9365··.0)....@No...v.e
000000d0:·6d93·6290·6000·6572·9604·8000·362c·9332··m.b.`.er....6,.2		000000d0:·6d93·6290·6000·6572·9604·8000·372c·9332··m.b.`.er....7,.2
000000e0:·3032·348e·a000·ccfe·898d·9200·8b24·aef3··024..........$..		000000e0:·3032·348e·a000·ccfe·898d·9200·8b24·aef3··024..........$..
000000f0:·27c2·d64e·a000·18e1·4800·0c00·0000·0663··'..N....H......c		000000f0:·27c2·d64e·a000·18e1·4800·0c00·0000·0663··'..N....H......c
00000100:·6d62·7831·32d2·5468·6596·0954·7b48·4f4c··mbx12.The..T{HOL		00000100:·6d62·7831·32d2·5468·6596·0954·7b48·4f4c··mbx12.The..T{HOL
00000110:·9353·7973·7465·6d8e·9f1f·72d9·8d92·00a3··.System...r.....		00000110:·9353·7973·7465·6d8e·9f1f·72d9·8d92·00a3··.System...r.....
00000120:·896f·f329·c2d6·4ea0·0014·bd71·000c·0000··.o.)..N....q....		00000120:·896f·f329·c2d6·4ea0·0014·bd71·000c·0000··.o.)..N....q....
00000130:·0006·636d·6278·3132·d444·4553·4352·4950··..cmbx12.DESCRIP		00000130:·0006·636d·6278·3132·d444·4553·4352·4950··..cmbx12.DESCRIP
00000140:·5449·4f4e·8ea0·0180·a8d1·8d8d·8d9e·e663··TION...........c		00000140:·5449·4f4e·8ea0·0180·a8d1·8d8d·8d9e·e663··TION...........c


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:·3131·2e30·363a·3131·3535·8b00·0000·0100··11.06:1~~155~~......		00000020:·3131·2e30·373a·3134·3238·8b00·0000·0100··11.07:1428......
00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................		00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................
00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................		00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................
00000050:·0000·00ff·ffff·ff8d·ef1a·6865·6164·6572··..........header		00000050:·0000·00ff·ffff·ff8d·ef1a·6865·6164·6572··..........header
00000060:·3d6c·3362·6163·6b65·6e64·2d64·7669·7073··=l3backend-dvips		00000060:·3d6c·3362·6163·6b65·6e64·2d64·7669·7073··=l3backend-dvips
00000070:·2e70·726f·8ea0·02cc·0555·8da0·fd46·d30e··.pro.....U...F..		00000070:·2e70·726f·8ea0·02cc·0555·8da0·fd46·d30e··.pro.....U...F..
00000080:·a002·942f·df8d·a0fd·6cd0·218d·9112·c761··.../....l.!....a		00000080:·a002·942f·df8d·a0fd·6cd0·218d·9112·c761··.../....l.!....a
00000090:·f325·c2d6·4ea0·000c·0000·000c·0000·0006··.%..N...........		00000090:·f325·c2d6·4ea0·000c·0000·000c·0000·0006··.%..N...........
000000a0:·636d·6278·3132·d056·4552·5349·4f4e·9b04··cmbx12.VERSION..		000000a0:·636d·6278·3132·d056·4552·5349·4f4e·9b04··cmbx12.VERSION..
000000b0:·8000·3292·0112·e208·4e6f·95a0·0076·9365··..2.....No...v.e		000000b0:·8000·3292·0112·e208·4e6f·95a0·0076·9365··..2.....No...v.e
000000c0:·6d93·6290·6000·6572·9836·2c98·3230·3234··m.b.`.er.6,.2024		000000c0:·6d93·6290·6000·6572·9837·2c98·3230·3234··m.b.`.er.7,.2024
000000d0:·8ea0·00cc·53dd·8d92·008b·24ae·f327·c2d6··....S.....$..'..		000000d0:·8ea0·00cc·53dd·8d92·008b·24ae·f327·c2d6··....S.....$..'..
000000e0:·4ea0·0018·e148·000c·0000·0006·636d·6278··N....H......cmbx		000000e0:·4ea0·0018·e148·000c·0000·0006·636d·6278··N....H......cmbx
000000f0:·3132·d254·6865·9609·547b·484f·4c93·5379··12.The..T{HOL.Sy		000000f0:·3132·d254·6865·9609·547b·484f·4c93·5379··12.The..T{HOL.Sy
00000100:·7374·656d·8e9f·1f72·d98d·9200·b794·abf3··stem...r........		00000100:·7374·656d·8e9f·1f72·d98d·9200·b794·abf3··stem...r........
00000110:·29c2·d64e·a000·14bd·7100·0c00·0000·0663··)..N....q......c		00000110:·29c2·d64e·a000·14bd·7100·0c00·0000·0663··)..N....q......c
00000120:·6d62·7831·32d4·5455·544f·5249·414c·8ea0··mbx12.TUTORIAL..		00000120:·6d62·7831·32d4·5455·544f·5249·414c·8ea0··mbx12.TUTORIAL..
00000130:·0180·a8d1·8d8d·8d9e·e663·8d8d·913a·5b61··.........c...:[a		00000130:·0180·a8d1·8d8d·8d9e·e663·8d8d·913a·5b61··.........c...:[a


Offset 1, 13 lines modified		Offset 1, 13 lines modified
1	Package:·hol88-library	1	Package:·hol88-library
2	Source:·hol88	2	Source:·hol88
3	Version:·2.02.19940316dfsg-5	3	Version:·2.02.19940316dfsg-5
4	Architecture:·armhf	4	Architecture:·armhf
5	Maintainer:·Camm·Maguire·<camm@debian.org>	5	Maintainer:·Camm·Maguire·<camm@debian.org>
6	Installed-Size:·19321	6	Installed-Size:·19322
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%3~~992~~%118	245	FUN%873%99
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%3~~992~~%111»	251	FUN%873%92»
252	ML-HELP_SEARCH_PATH»	252	ML-HELP_SEARCH_PATH»
253	FUN%~~2280~~%108»	253	FUN%6099%127»
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%4545%517
259	FUN%4545%517
260	FUN%4545%518
261	FUN%~~4545~~%~~518~~	258	FUN%2802%473
		259	FUN%2802%473
		260	FUN%2802%474
		261	FUN%2802%474
262	ML-INT_OF_STRING»	262	ML-INT_OF_STRING»
263	FUN%4545%519
264	FUN%4545%519
265	FUN%4545%520
266	FUN%~~4545~~%~~520~~	263	FUN%2802%475
		264	FUN%2802%475
		265	FUN%2802%476
		266	FUN%2802%476
267	ML-DEST_CONST»	267	ML-DEST_CONST»
268	FUN%4545%521
269	FUN%~~4545~~%~~521~~	268	FUN%2802%477
		269	FUN%2802%477
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%~~515~~	285	MK-LET%int_to_term%471
286	MK-LET%term_to_int%~~516~~»	286	MK-LET%term_to_int%472»
287	EVALUATION»	287	EVALUATION»
288	» Q-MK_TYPE»	288	» Q-MK_TYPE»
289	FUN%~~4545~~%~~517~~	289	FUN%2802%473
290	mk_const»	290	mk_const»
291	FUN%3992%163»
292	FUN%3992%143»
293	FUN%~~4545%518~~	291	FUN%873%144»
		292	FUN%873%124»
		293	FUN%2802%474
294	string_of_int»	294	string_of_int»
295	FUN%3992%121»
296	FUN%~~4545%519~~	295	FUN%873%102»
		296	FUN%2802%475
297	int_of_string	297	int_of_string
298	FUN%4545%520
299	FUN%~~4545~~%~~521~~	298	FUN%2802%476
		299	FUN%2802%477
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%~~4545~~%~~524~~	304	FUN%2802%480
305	» CURRYBIND	305	» CURRYBIND
306	-SPUTPROP	306	-SPUTPROP
307	FUN%~~4545~~%~~523~~	307	FUN%2802%479
308	» CURRYBIND	308	» CURRYBIND
309	FUN%4545%524
310	FUN%4545%524»
311	FUN%4545%524
312	FUN%4545%524
313	FUN%4545%523
314	FUN%~~4545~~%~~523~~	309	FUN%2802%480
		310	FUN%2802%480»
		311	FUN%2802%480
		312	FUN%2802%480
		313	FUN%2802%479
		314	FUN%2802%479
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%~~522~~»	326	MK-LETREC%for%478»
327	FUN%~~4545~~%~~523~~»	327	FUN%2802%479»
328	-SPUTPROP	328	-SPUTPROP
329	FUN%~~4545~~%~~526~~	329	FUN%2802%482
330	» CURRYBIND	330	» CURRYBIND
331	MK-LET%I%132»	331	MK-LET%I%113»
332	FUN%4545%526»
333	FUN%4545%526
334	FUN%~~4545~~%526	332	FUN%2802%482»
		333	FUN%2802%482
		334	FUN%2802%482
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%~~525~~»	343	MK-LETREC%ol%481»
344	-SPUTPROP	344	-SPUTPROP
345	FUN%~~4545~~%~~529~~	345	FUN%2802%485
346	» CURRYBIND	346	» CURRYBIND
Max diff block lines reached; 24811/26999 bytes (91.90%) 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%1694%565	204	FUN%6316%486
205	» CURRYBIND	205	» CURRYBIND
206	,SPUTPROP	206	,SPUTPROP
207	FUN%~~1694~~%~~566~~	207	FUN%6316%487
208	» CURRYBIND	208	» CURRYBIND
209	,SPUTPROP	209	,SPUTPROP
210	FUN%~~1694~~%~~567~~	210	FUN%6316%488
211	» CURRYBIND	211	» CURRYBIND
212	FUN%~~1694~~%~~566~~	212	FUN%6316%487
213	EVALUATION»	213	EVALUATION»
214	ML-MK_CONST»	214	ML-MK_CONST»
215	ML-MK_COMB»	215	ML-MK_COMB»
216	FUN%1694%565
217	FUN%1694%565	216	FUN%6316%486
		217	FUN%6316%486
218	» Q-MK_TYPE»	218	» Q-MK_TYPE»
219	FUN%1694%565»
220	FUN%1694%566
221	FUN%1694%566
222	FUN%1694%566»
223	FUN%1694%567
224	FUN%1694%567	219	FUN%6316%486»
		220	FUN%6316%487
		221	FUN%6316%487
		222	FUN%6316%487»
		223	FUN%6316%488
		224	FUN%6316%488
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%~~564~~»	244	MK-LET%mk_arith_op%485»
245	mk_arith_op»	245	mk_arith_op»
246	FUN%~~1694~~%~~567~~	246	FUN%6316%488
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%~~568~~	280	MK-LET%mk_plus%489
281	MK-LET%mk_minus%~~569~~	281	MK-LET%mk_minus%490
282	MK-LET%mk_mult%~~570~~»	282	MK-LET%mk_mult%491»
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%~~1694~~%~~572~~	288	FUN%6316%493
289	» CURRYBIND	289	» CURRYBIND
290	,SPUTPROP	290	,SPUTPROP
291	FUN%~~1694~~%~~573~~	291	FUN%6316%494
292	» CURRYBIND	292	» CURRYBIND
293	,SPUTPROP	293	,SPUTPROP
294	FUN%1694%574	294	FUN%6316%495
295	» CURRYBIND	295	» CURRYBIND
296	,SPUTPROP	296	,SPUTPROP
297	FUN%~~1694~~%~~575~~	297	FUN%6316%496
298	» CURRYBIND	298	» CURRYBIND
299	FUN%1694%574	299	FUN%6316%495
300	ML-DEST_CONST»	300	ML-DEST_CONST»
301	FUN%1694%572
302	FUN%~~1694~~%~~572~~	301	FUN%6316%493
		302	FUN%6316%493
303	ML-DEST_COMB»	303	ML-DEST_COMB»
304	MK-LET%I%132»	304	MK-LET%I%113»
305	FUN%3992%128»
306	FUN%~~1694%576~~	305	FUN%873%109»
		306	FUN%6316%497
307	» dest_comb»	307	» dest_comb»
308	FUN%3992%121»
309	FUN%3992%127»
310	FUN%1694%573
311	FUN%1694%573
312	FUN%1694%572»
313	FUN%3992%169»
314	FUN%1694%573»
315	FUN%1694%574
316	FUN%1694%574
317	FUN%1694%574»
318	FUN%1694%575
319	FUN%1694%575
320	FUN%1694%576
321	FUN%~~1694%576~~	308	FUN%873%102»
		309	FUN%873%108»
		310	FUN%6316%494
		311	FUN%6316%494
		312	FUN%6316%493»
		313	FUN%873%150»
		314	FUN%6316%494»
		315	FUN%6316%495
		316	FUN%6316%495
		317	FUN%6316%495»
		318	FUN%6316%496
		319	FUN%6316%496
		320	FUN%6316%497
		321	FUN%6316%497
322	» MK-FUNTYP	322	» MK-FUNTYP
323	» MK-TOKTYP»	323	» MK-TOKTYP»
324	» MK-FUNTYP	324	» MK-FUNTYP
Max diff block lines reached; 7193/9299 bytes (77.35%) of diff not shown.


Offset 166, 15 lines modified		Offset 166, 15 lines modified
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%567»	171	MK-LETREF%ONE_PLUS%567»
172	ONE_PLUS»	172	ONE_PLUS»
173	MK-LET%TRUTH%155	173	MK-LET%TRUTH%68
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%568»	178	MK-LETREF%ZERO_PLUS%568»
179	» ZERO_PLUS	179	» ZERO_PLUS
180	» MK-THMTYP»	180	» MK-THMTYP»
Offset 287, 15 lines modified		Offset 287, 15 lines modified
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
291	» MK-THMTYP»	291	» MK-THMTYP»
292	"MK-LETREF%CONJ_ASSOC_NORM_CONV%587»	292	"MK-LETREF%CONJ_ASSOC_NORM_CONV%587»
293	CONJ_ASSOC_NORM_CONV»	293	CONJ_ASSOC_NORM_CONV»
294	MK-LET%ALL_CONV%137	294	MK-LET%ALL_CONV%110
295	» MK-FUNTYP	295	» MK-FUNTYP
296	MK-TERMTYP	296	MK-TERMTYP
297	» MK-THMTYP»	297	» MK-THMTYP»
298	» MK-LETREF	298	» MK-LETREF
299	DISJ_ASSOC_NORM_CONV	299	DISJ_ASSOC_NORM_CONV
300	» MK-FUNTYP	300	» MK-FUNTYP
301	MK-TERMTYP	301	MK-TERMTYP


Offset 195, 114 lines modified		Offset 195, 114 lines modified
195	.comment	195	.comment
196	.note.GNU-stack	196	.note.GNU-stack
197	.rel.debug_frame	197	.rel.debug_frame
198	.ARM.attributes	198	.ARM.attributes
199	COMMON-LISP-USER	199	COMMON-LISP-USER
200	SYSTEMSPUTPROP	200	SYSTEMSPUTPROP
201	COMMON-LISPQUOTE	201	COMMON-LISPQUOTE
202	FUN%1902%591	202	FUN%1402%590
203	» CURRYBIND	203	» CURRYBIND
204	MK-LET%is_suc%~~614~~»	204	MK-LET%is_suc%535»
205	FUN%3~~992~~%165»	205	FUN%873%146»
206	MK-LET%SUC_CONV%~~624~~»	206	MK-LET%SUC_CONV%570»
207	FUN%7529%527»
208	FUN%~~7529~~%509»	207	FUN%4672%569»
		208	FUN%4672%551»
209	MK-LET%is_plus%580»	209	MK-LET%is_plus%501»
210	MK-LET%ADD_CONV%~~652~~»	210	MK-LET%ADD_CONV%598»
211	FUN%~~7529~~%536»	211	FUN%4672%578»
212	MK-LET%is_mult%582»	212	MK-LET%is_mult%503»
213	MK-LET%MUL_CONV%663»	213	MK-LET%MUL_CONV%609»
214	FUN%~~7529~~%507»	214	FUN%4672%549»
215	FUN%1902%591	215	FUN%1402%590
216	FUN%1902%591	216	FUN%1402%590
217	» MK-FUNTYP	217	» MK-FUNTYP
218	MK-TERMTYP	218	MK-TERMTYP
219	» MK-THMTYP»	219	» MK-THMTYP»
220	NUM_REDUCE_QCONV	220	NUM_REDUCE_QCONV
221	» MK-FUNTYP	221	» MK-FUNTYP
222	MK-TERMTYP	222	MK-TERMTYP
223	» MK-THMTYP»	223	» MK-THMTYP»
224	» MK-LETREC»	224	» MK-LETREC»
225	MK-LETREC%NUM_REDUCE_QCONV%590»	225	MK-LETREC%NUM_REDUCE_QCONV%589»
226	FUN%1902%591»	226	FUN%1402%590»
227	NUM_REDUCE_QCONV	227	NUM_REDUCE_QCONV
228	,SPUTPROP	228	,SPUTPROP
229	FUN%1902%593	229	FUN%1402%592
230	» CURRYBIND	230	» CURRYBIND
231	MK-LET%is_eq%~~200~~»	231	MK-LET%is_eq%125»
232	MK-LET%NEQ_CONV%568»	232	MK-LET%NEQ_CONV%514»
233	MK-LET%is_leq%~~604~~»	233	MK-LET%is_leq%525»
234	MK-LET%LE_CONV%597»	234	MK-LET%LE_CONV%543»
235	MK-LET%is_less%~~603~~»	235	MK-LET%is_less%524»
236	MK-LET%LT_CONV%576»	236	MK-LET%LT_CONV%522»
237	MK-LET%is_geq%~~606~~»	237	MK-LET%is_geq%527»
238	MK-LET%GE_CONV%~~604~~»	238	MK-LET%GE_CONV%550»
239	MK-LET%is_great%~~605~~»	239	MK-LET%is_great%526»
240	MK-LET%GT_CONV%583»	240	MK-LET%GT_CONV%529»
241	FUN%1902%593	241	FUN%1402%592
242	FUN%1902%593	242	FUN%1402%592
243	» MK-FUNTYP	243	» MK-FUNTYP
244	MK-TERMTYP	244	MK-TERMTYP
245	» MK-THMTYP»	245	» MK-THMTYP»
246	INEQ_REDUCE_QCONV	246	INEQ_REDUCE_QCONV
247	» MK-FUNTYP	247	» MK-FUNTYP
248	MK-TERMTYP	248	MK-TERMTYP
249	» MK-THMTYP»	249	» MK-THMTYP»
250	MK-LET%INEQ_REDUCE_QCONV%592»	250	MK-LET%INEQ_REDUCE_QCONV%591»
251	INEQ_REDUCE_QCONV»	251	INEQ_REDUCE_QCONV»
252	FUN%1902%593	252	FUN%1402%592
253	,SPUTPROP	253	,SPUTPROP
254	FUN%1902%595	254	FUN%1402%594
255	» CURRYBIND	255	» CURRYBIND
256	MK-LET%is_num_reln%~~607~~»	256	MK-LET%is_num_reln%528»
257	FUN%~~1694~~%~~608~~»	257	FUN%6316%529»
258	MK-LET%is_neg%~~202~~»	258	MK-LET%is_neg%127»
259	MK-LET%NOT_CONV%507»	259	MK-LET%NOT_CONV%555»
260	MK-LET%is_conj%197»	260	MK-LET%is_conj%122»
261	MK-LET%AND_CONV%510»	261	MK-LET%AND_CONV%558»
262	MK-LET%is_disj%198»	262	MK-LET%is_disj%123»
263	MK-LET%OR_CONV%517»	263	MK-LET%OR_CONV%565»
264	MK-LET%is_imp%199»	264	MK-LET%is_imp%124»
265	MK-LET%IMP_CONV%524»	265	MK-LET%IMP_CONV%572»
266	MK-LET%BEQ_CONV%531»	266	MK-LET%BEQ_CONV%579»
267	FUN%1902%595	267	FUN%1402%594
268	FUN%1902%595	268	FUN%1402%594
269	» MK-FUNTYP	269	» MK-FUNTYP
270	MK-TERMTYP	270	MK-TERMTYP
271	» MK-THMTYP»	271	» MK-THMTYP»
272	BOOL_REDUCE_QCONV	272	BOOL_REDUCE_QCONV
273	» MK-FUNTYP	273	» MK-FUNTYP
274	MK-TERMTYP	274	MK-TERMTYP
275	» MK-THMTYP»	275	» MK-THMTYP»
276	MK-LETREC%BOOL_REDUCE_QCONV%594»	276	MK-LETREC%BOOL_REDUCE_QCONV%593»
277	FUN%1902%595»	277	FUN%1402%594»
278	BOOL_REDUCE_QCONV	278	BOOL_REDUCE_QCONV
279	,SPUTPROP	279	,SPUTPROP
280	FUN%1902%598	280	FUN%1402%597
281	» CURRYBIND	281	» CURRYBIND
282	,SPUTPROP	282	,SPUTPROP
283	FUN%1902%597	283	FUN%1402%596
284	» CURRYBIND	284	» CURRYBIND
285	FUN%1902%598	285	FUN%1402%597
286	EVALUATION»	286	EVALUATION»
287	MK-LET%dest_exists%150»	287	MK-LET%dest_exists%75»
288	FUN%~~2558~~%152»	288	FUN%6000%77»
289	ML-DEST_VAR»	289	ML-DEST_VAR»
290	FUN%~~2280~~%93»	290	FUN%6099%112»
291	MK-LET%term_of_int%~~621~~»	291	MK-LET%term_of_int%542»
292	FUN%1694%622»
293	FUN%~~2558~~%~~211~~»	292	FUN%6316%543»
		293	FUN%6000%136»
294	FUN%1902%598»	294	FUN%1402%597»
295	FUN%690%182»	295	FUN%820%95»
296	FUN%~~7529~~%504»	296	FUN%4672%546»
		297	FUN%820%70»
297	FUN%690%157»
298	FUN%1902%598
299	FUN%1902%598
300	FUN%1902%597	298	FUN%1402%597
301	FUN%1902%597	299	FUN%1402%597
		300	FUN%1402%596
		301	FUN%1402%596
302	» MK-FUNTYP	302	» MK-FUNTYP
303	» MK-LISTYP»	303	» MK-LISTYP»
304	MK-PRODTYP	304	MK-PRODTYP
305	» MK-TOKTYP	305	» MK-TOKTYP
306	» MK-INTTYP»	306	» MK-INTTYP»
307	» MK-FUNTYP	307	» MK-FUNTYP
308	MK-TERMTYP	308	MK-TERMTYP
Offset 311, 69 lines modified		Offset 311, 69 lines modified
311	» MK-LISTYP»	311	» MK-LISTYP»
312	MK-PRODTYP	312	MK-PRODTYP
313	» MK-TOKTYP	313	» MK-TOKTYP
314	» MK-INTTYP»	314	» MK-INTTYP»
315	» MK-FUNTYP	315	» MK-FUNTYP
316	MK-TERMTYP	316	MK-TERMTYP
317	» MK-THMTYP»	317	» MK-THMTYP»
Max diff block lines reached; 1468/4715 bytes (31.13%) 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%~~2656~~%645	228	FUN%6125%613
229	» CURRYBIND	229	» CURRYBIND
230	,SPUTPROP	230	,SPUTPROP
231	FUN%~~2656~~%646	231	FUN%6125%614
232	» CURRYBIND	232	» CURRYBIND
233	» ML-IS_VAR»	233	» ML-IS_VAR»
234	ML-IS_CONST»	234	ML-IS_CONST»
235	FUN%~~1694~~%~~618~~»	235	FUN%6316%539»
236	EVALUATION»	236	EVALUATION»
237	FUN%~~1694~~%~~616~~»	237	FUN%6316%537»
238	MK-LET%is_suc%~~614~~»	238	MK-LET%is_suc%535»
239	FUN%3992%165»
240	FUN%2558%341»
241	FUN%2~~656~~%645»	239	FUN%873%146»
		240	FUN%6000%266»
		241	FUN%6125%613»
242	MK-LET%is_plus%580»	242	MK-LET%is_plus%501»
243	MK-LET%arg1%~~625~~»	243	MK-LET%arg1%546»
244	FUN%3~~992~~%120»	244	FUN%873%101»
245	MK-LET%is_mult%582»	245	MK-LET%is_mult%503»
		246	FUN%6125%613
		247	FUN%6125%613
246	FUN%~~2656~~%645	248	FUN%6125%614
247	FUN%~~2656~~%645	249	FUN%6125%614
248	FUN%2656%646
249	FUN%2656%646
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%644»	257	MK-LET%contains_var%612»
258	contains_var»	258	contains_var»
259	FUN%~~2656~~%646	259	FUN%6125%614
260	,SPUTPROP	260	,SPUTPROP
261	FUN%~~2656~~%648	261	FUN%6125%616
262	» CURRYBIND	262	» CURRYBIND
263	MK-LET%dest_mult%579»	263	MK-LET%dest_mult%500»
264	FUN%~~1694~~%~~573~~»	264	FUN%6316%494»
265	is_linear_mult»	265	is_linear_mult»
266	FUN%2656%648
267	FUN%~~2656~~%648	266	FUN%6125%616
		267	FUN%6125%616
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%647»	275	MK-LET%is_linear_mult%615»
276	FUN%~~2656~~%648	276	FUN%6125%616
277	,SPUTPROP	277	,SPUTPROP
278	FUN%~~2656~~%650	278	FUN%6125%618
279	» CURRYBIND	279	» CURRYBIND
280	MK-LET%dest_forall%147»	280	MK-LET%dest_forall%72»
281	FUN%2558%149»
282	FUN%26~~56%650~~»	281	FUN%6000%74»
		282	FUN%6125%618»
283	MK-LET%dest_exists%150»	283	MK-LET%dest_exists%75»
284	FUN%2558%152»
285	FUN%~~2558~~%176»	284	FUN%6000%77»
		285	FUN%6000%101»
286	MK-LET%dest_suc%~~611~~»	286	MK-LET%dest_suc%532»
287	FUN%~~1694~~%~~613~~»	287	FUN%6316%534»
288	MK-LET%is_conj%197»	288	MK-LET%is_conj%122»
289	MK-LET%is_disj%198»	289	MK-LET%is_disj%123»
290	MK-LET%is_imp%199»	290	MK-LET%is_imp%124»
291	MK-LET%is_eq%~~200~~»	291	MK-LET%is_eq%125»
292	MK-LET%is_less%~~603~~»	292	MK-LET%is_less%524»
293	MK-LET%is_leq%~~604~~»	293	MK-LET%is_leq%525»
294	MK-LET%is_great%~~605~~»	294	MK-LET%is_great%526»
295	MK-LET%is_geq%~~606~~»	295	MK-LET%is_geq%527»
296	MK-LET%is_minus%581»	296	MK-LET%is_minus%502»
297	FUN%2280%108»
298	FUN%2656%650
299	FUN%~~2656~~%~~650~~	297	FUN%6099%127»
		298	FUN%6125%618
		299	FUN%6125%618
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%649»	310	%MK-LETREC%non_presburger_subterms%617»
311	non_presburger_subterms	311	non_presburger_subterms
312	FUN%~~2656~~%652	312	FUN%6125%620
313	FUN%~~2656~~%652	313	FUN%6125%620
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%651»	321	MK-LET%is_presburger%619»
322	FUN%~~2656~~%652	322	FUN%6125%620
323	FUN%2340%52»
324	FUN%3992%121»	323	FUN%2794%106»
		324	FUN%873%102»
325	is_presburger	325	is_presburger
326	,SPUTPROP	326	,SPUTPROP
327	FUN%~~2656~~%654	327	FUN%6125%622
328	» CURRYBIND	328	» CURRYBIND
329	,SPUTPROP	329	,SPUTPROP
330	FUN%~~2656~~%655	330	FUN%6125%623
331	» CURRYBIND	331	» CURRYBIND
332	,SPUTPROP	332	,SPUTPROP
333	FUN%~~2656~~%656	333	FUN%6125%624
334	» CURRYBIND	334	» CURRYBIND
335	,SPUTPROP	335	,SPUTPROP
336	FUN%~~2656~~%657	336	FUN%6125%625
337	» CURRYBIND	337	» CURRYBIND
Max diff block lines reached; 1002/4244 bytes (23.61%) of diff not shown.


Offset 161, 56 lines modified		Offset 161, 56 lines modified
161	.comment	161	.comment
162	.note.GNU-stack	162	.note.GNU-stack
163	.rel.debug_frame	163	.rel.debug_frame
164	.ARM.attributes	164	.ARM.attributes
165	COMMON-LISP-USER	165	COMMON-LISP-USER
166	SYSTEMSPUTPROP	166	SYSTEMSPUTPROP
167	COMMON-LISPQUOTE	167	COMMON-LISPQUOTE
168	FUN%~~8747~~%~~518~~	168	FUN%1414%484
169	» CURRYBIND	169	» CURRYBIND
170	,SPUTPROP	170	,SPUTPROP
171	FUN%~~8747~~%~~519~~	171	FUN%1414%485
172	» CURRYBIND	172	» CURRYBIND
173	FUN%~~8747~~%~~518~~	173	FUN%1414%484
174	,SPUTPROP	174	,SPUTPROP
175	FUN%~~8747~~%~~520~~	175	FUN%1414%486
176	» CURRYBIND	176	» CURRYBIND
177	FUN%~~8747~~%~~519~~	177	FUN%1414%485
178	MK-LETREC%strip_forall%287»	178	MK-LETREC%strip_forall%212»
179	FUN%2558%288»
180	FUN%2280%113»
181	FUN%8747%521
182	FUN%~~8747~~%~~522~~	179	FUN%6000%213»
		180	FUN%6099%132»
		181	FUN%1414%487
		182	FUN%1414%488
183	type_of»	183	type_of»
184	FUN%3992%121»
185	FUN%~~2340%45~~»	184	FUN%873%102»
		185	FUN%2794%99»
186	MK-LETREC%combine%116»	186	MK-LETREC%combine%135»
187	FUN%2280%117»
188	FUN%2558%211»
189	FUN%2558%270»
190	FUN%690%157»
191	FUN%690%162»	187	FUN%6099%136»
		188	FUN%6000%136»
		189	FUN%6000%195»
		190	FUN%820%70»
		191	FUN%820%75»
192	MK-LET%GENL%169»	192	MK-LET%GENL%82»
193	FUN%~~2280~~%85»	193	FUN%6099%104»
194	MK-LET%EQT_INTRO%164»	194	MK-LET%EQT_INTRO%77»
195	FUN%690%165»
196	FUN%8747%518
197	FUN%8747%518
198	FUN%8747%518»
199	FUN%8747%519
200	FUN%8747%519
201	FUN%8747%519»
202	FUN%8747%520
203	FUN%8747%~~520~~	195	FUN%820%78»
		196	FUN%1414%484
		197	FUN%1414%484
		198	FUN%1414%484»
		199	FUN%1414%485
		200	FUN%1414%485
		201	FUN%1414%485»
		202	FUN%1414%486
		203	FUN%1414%486
204	» ML-GENVAR»	204	» ML-GENVAR»
205	FUN%8747%521
206	FUN%~~8747~~%~~521~~	205	FUN%1414%487
		206	FUN%1414%487
207	ML-TYPE_OF»	207	ML-TYPE_OF»
208	FUN%8747%522
209	FUN%~~8747~~%~~522~~	208	FUN%1414%488
		209	FUN%1414%488
210	» MK-FUNTYP»	210	» MK-FUNTYP»
211	» MK-FUNTYP	211	» MK-FUNTYP
212	MK-TERMTYP	212	MK-TERMTYP
213	» MK-LISTYP	213	» MK-LISTYP
214	MK-TERMTYP»	214	MK-TERMTYP»
215	» MK-FUNTYP»	215	» MK-FUNTYP»
216	» MK-FUNTYP	216	» MK-FUNTYP
Offset 228, 10 lines modified		Offset 228, 10 lines modified
228	» MK-FUNTYP»	228	» MK-FUNTYP»
229	» MK-FUNTYP	229	» MK-FUNTYP
230	MK-TERMTYP	230	MK-TERMTYP
231	» MK-THMTYP»	231	» MK-THMTYP»
232	» MK-FUNTYP	232	» MK-FUNTYP
233	MK-TERMTYP	233	MK-TERMTYP
234	» MK-THMTYP»	234	» MK-THMTYP»
235	MK-LET%INSTANCE_T_CONV%~~517~~»	235	MK-LET%INSTANCE_T_CONV%483»
236	INSTANCE_T_CONV»	236	INSTANCE_T_CONV»
237	FUN%~~8747~~%~~520~~	237	FUN%1414%486


Offset 16, 4273 lines modified		Offset 16, 4273 lines modified
000000f0:·e1a8·0f45·d769·309f·89a4·bc49·9312·285c··...E.i0....I..(\		000000f0:·e1a8·0f45·d769·309f·89a4·bc49·9312·285c··...E.i0....I..(\
00000100:·ddde·7fc0·2fcf·b5ca·eefc·4ce4·c3e8·576c··..../.....L...Wl		00000100:·ddde·7fc0·2fcf·b5ca·eefc·4ce4·c3e8·576c··..../.....L...Wl
00000110:·c23f·8282·4f49·7895·ceb0·a860·efae·bf7d··.?..OIx....`...}		00000110:·c23f·8282·4f49·7895·ceb0·a860·efae·bf7d··.?..OIx....`...}
00000120:·be1b·fe24·46d8·f039·df7b·7979·e9e5·aa9b··...$F..9.{yy....		00000120:·be1b·fe24·46d8·f039·df7b·7979·e9e5·aa9b··...$F..9.{yy....
00000130:·6225·7a41·3adb·d738·58c5·4fc2·2f51·22b4··b%zA:..8X.O./Q".		00000130:·6225·7a41·3adb·d738·58c5·4fc2·2f51·22b4··b%zA:..8X.O./Q".
00000140:·f4ac·1e6b·9c3b·3ff7·67a2·1439·3415·66d1··...k.;?.g..94.f.		00000140:·f4ac·1e6b·9c3b·3ff7·67a2·1439·3415·66d1··...k.;?.g..94.f.
Diff chunk too large, falling back to line-by-line diff (4266 lines added, 4266 lines removed)
00000150:·7f9c·b8ae·2e19·a6f3·3c80·8a1c·c59c·cecb··........<.......		00000150:·7f9c·b8ae·2e19·a6f3·3c80·8a1c·c59c·cecb··........<.......
00000160:·6c5e·6ac9·7b3d·f704·~~c471~~·~~7c86~~·~~3d15~~·~~9328~~··l^j.{=...q\|.=..(		00000160:·6c5e·6ac9·7b3d·f7f4·dc3b·3af4·b0a7·6212··l^j.{=...;:...b.
00000170:·~~b9cb~~·~~d360~~·284a·~~10a8~~·~~58f6~~·~~b23c~~·~~c52e~~·~~b377~~··~~...`(J~~..X..<...w		00000170:·2577·791a·0c45·0902·15cb·5e96·a7d8·65f6··%wy..E....^...e.
00000180:·df31·~~07aa~~·5e47·~~41c9~~·~~0f5d~~·~~9787~~·~~7813~~·8a31··.1..~~^GA~~..]..~~x..~~1		00000180:·ee3b·e640·d5eb·2828·f9a1·ebf2·106f·4231··.;.@..((.....oB1
00000190:·~~37c0~~·~~1156~~·~~7506~~·~~1260~~·6~~bf8~~·732e·e528·4a42··7..Vu..`k.s..~~(JB~~		00000190:·e606·38c2·aace·4002·6c0d·7fce·a51c·4549··..8...@.l.....EI
000001a0:·~~4459~~·~~0f9c~~·~~a11~~4·~~cb60~~·~~0a37~~·~~0f72~~·~~c806~~·~~eb4b~~··DY.....`.7.r...K		000001a0:·8828·eb81·3394·6219·4ce1·e641·0ed9·607d··.(..3.b.L..A..`}
000001b0:·e~~742~~·~~86f3~~·~~0cae~~·5fef·~~6599~~·~~fb49~~·~~11c3~~·1~~041~~··.B...._.~~e..I..~~.A		000001b0:·e95c·c870·9ec1·f5eb·bd2c·733f·2962·1822··.\.p.....,s?)b."
000001c0:·~~7154~~·~~c405~~·~~1ffb~~·7121·~~f8c0~~·~~5914~~·~~2033~~·~~ee79~~··qT...~~.q!~~..Y.·3.y		000001c0:·288e·8ab8·e063·3f2e·041f·388b·0264·c63d··(....c?...8..d.=
000001d0:·~~fcb4~~·cf67·f318·~~2053~~·~~827c~~·~~e81~~d·0388·2950··...g..·S.\|....)P		000001d0:·8f9f·f6f9·6c1e·0364·4a90·0fbd·6300·3105··....l..dJ...c.1.
000001e0:·~~0c22~~·~~c9e2~~·~~7971~~·~~e64a~~·~~aa47~~·~~6d7f~~·~~049d~~·~~8912~~··.~~"..yq~~.~~J.Gm~~.....		000001e0:·8a41·2459·3c2f·ce5c·49f5·a8ed·8fa0·3351··.A$Y</.\I.....3Q
000001f0:·~~89d4~~·~~e4a3~~·~~cb2d~~·~~1c8f~~·~~1f78~~·6~~b79~~·~~e071~~·~~6f1~~d··...~~..-~~...~~xky~~.qo.		000001f0:·2291·9a7c·74b9·85e3·f103·6f2d·0f3c·eead··"..\|t.....o-.<..
00000200:·~~8d05~~·~~b6e3~~·~~32e8~~·d~~e53~~·~~9026~~·~~815f~~·~~020c~~·~~1bbb~~··....2..S.&._....		00000200:·a3b1·c076·5c06·dd7b·0ad2·24f0·4b80·6163··...v\..{..$.K.ac
00000210:·1745·~~1acf~~·~~5173~~·~~a09b~~·0b84·7c6b·~~8112~~·~~31e1~~··.E..Qs....~~\|k..1.~~		00000210:·f7a2·48e3·396a·0e74·7381·906f·2d50·2226··..H.9j.ts..o-P"&
00000220:·~~050e~~·11a7·~~3698~~·~~d582~~·~~8d0a~~·~~3511~~·~~5b75~~·~~04f9~~··....6.....5.[u..		00000220:·bcc0·21e2·d406·b35a·b051·a126·62ab·8e20··..!....Z.Q.&b..·
00000230:·~~7539~~·~~c941~~·~~5a38~~·071a·~~89fa~~·~~469d~~·~~720d~~·6~~b5f~~··u9.~~AZ8~~..~~..F~~.r.k_		00000230:·bf2e·2739·480b·e740·2351·dfa8·53ae·61ed··..'9H..@#Q..S.a.
00000240:·e~~f91~~·~~210b~~·~~d7a6~~·~~ad88~~·~~9ada~~·~~1ef7~~·~~c390~~·~~9af8~~··.~~.!.~~............		00000240:·eb3d·3264·e1da·b415·5153·dbe3·7e18·5213··.=2d....QS..~.R.
00000250:·~~7af~~f·~~c866~~·~~7e99~~·~~474b~~·~~1ecc~~·~~f31c~~·~~944c~~·~~3dc9~~··z..~~f~.GK~~.....~~L=.~~		00000250:·5fef·1fd9·cc2f·f368·c983·799e·8392·a927··_..../.h..y....'
00000260:·~~0b7e~~·c173·~~d464~~·~~5ecc~~·~~47dc~~·~~1f15~~·~~dced~~·~~b9f0~~··~~.~.s~~.d^.G.......		00000260:·79c1·2f78·8e9a·cc8b·f988·fba3·82bb·3d17··y./x..........=.
00000270:·~~f178~~·5c4a·~~2a80~~·d6d6·~~e334~~·f7e3·5821·~~3264~~··.x\J*....4.~~.X!2d~~		00000270:·3e1e·8f4b·4905·d0da·7a9c·e67e·1c2b·4486··>..KI...z..~.+D.
00000280:·~~56d7~~·~~c1db~~·~~a742~~·6862·~~3054~~·~~1fb1~~·~~cf20~~·~~834c~~··V....~~Bhb0T~~...·.L		00000280:·ccea·3a78·fb54·084d·0c86·ea23·f619·6490··..:x.T.M...#..d.
00000290:·~~4835~~·~~6c65~~·~~3e8~~7·~~5183~~·3~~1fd~~·~~086a~~·~~3af~~7·e3b1··~~H5le>~~.~~Q.1~~..j:...		00000290:·09a9·86ad·cce7·306a·30a6·1f41·4de7·7e3c··......0j0..AM.~<
000002a0:·1~~0a1~~·6445·~~e997~~·~~f302~~·~~b5c5~~·~~a9c1~~·~~0a17~~·~~5410~~··..dE.....~~...~~..T.		000002a0:·1622·94ac·28fd·725e·a0b6·3835·58e1·820a··."..(.r^..85X...
000002b0:·~~b183~~·~~348b~~·4421·~~9d7f~~·~~5337~~·~~fc01~~·8037·~~b77e~~··..4.D!..S7...7.~		000002b0:·2276·9066·9128·a4f3·6fea·863f·00f0·e6d6··"v.f.(..o..?....
000002c0:·~~f9e8~~·~~d15c~~·3ba0·~~cb13~~·~~1b38~~·3797·~~978f~~·~~2ec1~~··..~~.\;~~.~~...87~~.....		000002c0:·2f1f·3d9a·6b07·7479·6203·e7e6·f2f2·d125··/.=.k.tyb......%
000002d0:·~~dca7~~·~~8193~~·~~2470~~·~~3370~~·3e7f·~~52d7~~·~~a0cc~~·e91a··..~~..$p3p>~~.R.....		000002d0:·98fb·3470·9204·6e06·cee7·4fea·1a94·395d··..4p..n...O...9]
000002e0:·~~8e0f~~·4~~a3f~~·~~8a25~~·~~967f~~·~~505~~a·~~3ae0~~·~~704f~~·~~eac9~~··..~~J?.%~~..~~PZ:~~.~~pO..~~		000002e0:·c3f1·41e9·47b1·c4f2·0f4a·4b07·1cee·493d··..A.G....JK...I=
000002f0:·~~1c9c~~·~~a75f~~·~~5799~~·~~e087~~·808b·~~0fb7~~·~~4a54~~·~~e3a4~~··...~~_W.~~......~~JT.~~.		000002f0:·9983·f3f4·eb2a·13fc·1070·f1e1·5689·6a9c··.....*...p..V.j.
00000300:·~~cc97~~·~~1a74~~·~~09f3~~·9c43·6~~350~~·~~b180~~·~~c264~~·~~e28~~c··...t..~~.CcP~~...d..		00000300:·94f9·5283·2e61·9e73·680c·2a16·5098·4c9c··..R..a.sh.*.P.L.
00000310:·~~7c18~~·~~8d07~~·~~eee7~~·~~b9bf~~·62ce·~~6504~~·~~b560~~·~~f63d~~··\|.......b.e..`.=		00000310:·910f·a3f1·c0fd·3cf7·57cc·b98c·a016·ccbe··......<.W.......
00000320:·~~389~~7·~~f328~~·~~0eaf~~·~~a67e~~·~~2ef1~~·~~8b9e~~·~~440e~~·~~b2f9~~··8..(...~....D...		00000320:·07e7·721e·c5e1·d5d4·cf25·7ed1·93c8·4136··..r......%~...A6
00000330:·9~~404~~·2~~91a~~·~~0c8e~~·~~dc0d~~·~~3858~~·~~117e~~·2~~19d~~·~~719a~~··..).....8X.~!.q.		00000330:·9f92·2045·83c1·91bb·0107·2bc2·2fa4·334e··..·E......+./.3N


Offset 1, 149 lines modified		Offset 1, 149 lines modified
1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./	1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./
2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/	2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/
3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/	3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/
4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/	4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/
5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/	5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/
6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/abs_theory/	6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/abs_theory/
7	-rw-r--r--···0·root·········(0)·root·········(0)···287839·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/abs_theory/abs_theory_ml.o	7	-rw-r--r--···0·root·········(0)·root·········(0)···287817·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/abs_theory/abs_theory_ml.o
8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/	8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/
9	-rw-r--r--···0·root·········(0)·root·········(0)···123268·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/arith_cons_ml.o	9	-rw-r--r--···0·root·········(0)·root·········(0)···123262·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/arith_cons_ml.o
10	-rw-r--r--···0·root·········(0)·root·········(0)···124443·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/decls_ml.o	10	-rw-r--r--···0·root·········(0)·root·········(0)···124442·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/decls_ml.o
11	-rw-r--r--···0·root·········(0)·root·········(0)····66159·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/exists_arith_ml.o	11	-rw-r--r--···0·root·········(0)·root·········(0)····66151·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/exists_arith_ml.o
12	-rw-r--r--···0·root·········(0)·root·········(0)····8~~3000~~·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/gen_arith_ml.o	12	-rw-r--r--···0·root·········(0)·root·········(0)····82993·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/gen_arith_ml.o
13	-rw-r--r--···0·root·········(0)·root·········(0)····28178·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/instance_ml.o	13	-rw-r--r--···0·root·········(0)·root·········(0)····28173·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/instance_ml.o
14	-rw-r--r--···0·root·········(0)·root·········(0)····47404·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/int_extra_ml.o	14	-rw-r--r--···0·root·········(0)·root·········(0)····47404·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/int_extra_ml.o
15	-rw-r--r--···0·root·········(0)·root·········(0)···192725·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_arith_ml.o	15	-rw-r--r--···0·root·········(0)·root·········(0)···192716·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_arith_ml.o
16	-rw-r--r--···0·root·········(0)·root·········(0)····60758·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_bool_ml.o	16	-rw-r--r--···0·root·········(0)·root·········(0)····60791·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_bool_ml.o
17	-rw-r--r--···0·root·········(0)·root·········(0)····65785·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_ineqs_ml.o	17	-rw-r--r--···0·root·········(0)·root·········(0)····65786·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_ineqs_ml.o
18	-rw-r--r--···0·root·········(0)·root·········(0)····48899·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/prenex_ml.o	18	-rw-r--r--···0·root·········(0)·root·········(0)····48870·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/prenex_ml.o
19	-rw-r--r--···0·root·········(0)·root·········(0)···108527·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/qconv_ml.o	19	-rw-r--r--···0·root·········(0)·root·········(0)···108519·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/qconv_ml.o
20	-rw-r--r--···0·root·········(0)·root·········(0)···104696·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/rationals_ml.o	20	-rw-r--r--···0·root·········(0)·root·········(0)···104696·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/rationals_ml.o
21	-rw-r--r--···0·root·········(0)·root·········(0)···129056·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sol_ranges_ml.o	21	-rw-r--r--···0·root·········(0)·root·········(0)···129058·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sol_ranges_ml.o
22	-rw-r--r--···0·root·········(0)·root·········(0)···187374·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/solve_ineqs_ml.o	22	-rw-r--r--···0·root·········(0)·root·········(0)···187363·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/solve_ineqs_ml.o
23	-rw-r--r--···0·root·········(0)·root·········(0)····91893·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/solve_ml.o	23	-rw-r--r--···0·root·········(0)·root·········(0)····91806·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/solve_ml.o
24	-rw-r--r--···0·root·········(0)·root·········(0)····6~~4975~~·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/streams_ml.o	24	-rw-r--r--···0·root·········(0)·root·········(0)····65058·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/streams_ml.o
25	-rw-r--r--···0·root·········(0)·root·········(0)····24644·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/string_extra_ml.o	25	-rw-r--r--···0·root·········(0)·root·········(0)····24644·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/string_extra_ml.o
26	-rw-r--r--···0·root·········(0)·root·········(0)····59007·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sub_and_cond_ml.o	26	-rw-r--r--···0·root·········(0)·root·········(0)····59001·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sub_and_cond_ml.o
27	-rw-r--r--···0·root·········(0)·root·········(0)···241062·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sup-inf_ml.o	27	-rw-r--r--···0·root·········(0)·root·········(0)···241064·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sup-inf_ml.o
28	-rw-r--r--···0·root·········(0)·root·········(0)···116440·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/term_coeffs_ml.o	28	-rw-r--r--···0·root·········(0)·root·········(0)···116439·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/term_coeffs_ml.o
29	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/	29	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/
30	-rw-r--r--···0·root·········(0)·root·········(0)···207049·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/fset_conv_ml.o	30	-rw-r--r--···0·root·········(0)·root·········(0)···207025·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/fset_conv_ml.o
31	-rw-r--r--···0·root·········(0)·root·········(0)····58137·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/set_ind_ml.o	31	-rw-r--r--···0·root·········(0)·root·········(0)····58117·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/set_ind_ml.o
32	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/	32	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/
33	-rw-r--r--···0·root·········(0)·root·········(0)···668~~353~~·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/ind-defs_ml.o	33	-rw-r--r--···0·root·········(0)·root·········(0)···668297·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/ind-defs_ml.o
34	-rw-r--r--···0·root·········(0)·root·········(0)····18622·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/ind_defs_ml.o	34	-rw-r--r--···0·root·········(0)·root·········(0)····18621·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/ind_defs_ml.o
35	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/	35	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/
36	-rw-r--r--···0·root·········(0)·root·········(0)····60433·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/filters_ml.o	36	-rw-r--r--···0·root·········(0)·root·········(0)····60430·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/filters_ml.o
37	-rw-r--r--···0·root·········(0)·root·········(0)···153675·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/formaters_ml.o	37	-rw-r--r--···0·root·········(0)·root·········(0)···153672·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/formaters_ml.o
38	-rw-r--r--···0·root·········(0)·root·········(0)····75245·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/hol_trees_ml.o	38	-rw-r--r--···0·root·········(0)·root·········(0)····75247·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/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%~~4313~~%~~484~~	223	FUN%6985%555
224	» CURRYBIND	224	» CURRYBIND
225	FUN%4313%484
226	FUN%~~4313~~%~~484~~	225	FUN%6985%555
		226	FUN%6985%555
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%~~483~~»	233	MK-LET%abs%554»
234	FUN%~~4313~~%~~484~~	234	FUN%6985%555
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%~~4313~~%~~486~~	239	FUN%6985%557
240	» CURRYBIND	240	» CURRYBIND
241	,SPUTPROP	241	,SPUTPROP
242	FUN%~~4313~~%~~487~~	242	FUN%6985%558
243	» CURRYBIND	243	» CURRYBIND
244	FUN%4313%486
245	FUN%4313%486
246	FUN%4313%486
247	FUN%4313%486»
248	FUN%4313%487
249	FUN%~~4313~~%487	244	FUN%6985%557
		245	FUN%6985%557
		246	FUN%6985%557
		247	FUN%6985%557»
		248	FUN%6985%558
		249	FUN%6985%558
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%~~485~~»	260	MK-LET%mod%556»
261	FUN%~~4313~~%~~487~~	261	FUN%6985%558
262	,SPUTPROP	262	,SPUTPROP
263	FUN%~~4313~~%~~489~~	263	FUN%6985%560
264	» CURRYBIND	264	» CURRYBIND
265	,SPUTPROP	265	,SPUTPROP
266	FUN%~~4313~~%~~490~~	266	FUN%6985%561
267	» CURRYBIND	267	» CURRYBIND
268	FUN%4313%489
269	FUN%4313%489
270	FUN%~~4313~~%4~~89»~~	268	FUN%6985%560
		269	FUN%6985%560
		270	FUN%6985%560»
271	EVALUATION»	271	EVALUATION»
272	FUN%4313%490
273	FUN%~~4313~~%~~490~~	272	FUN%6985%561
		273	FUN%6985%561
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%~~488~~»	284	MK-LET%gcd%559»
285	FUN%~~4313~~%~~490~~	285	FUN%6985%561
286	,SPUTPROP	286	,SPUTPROP
287	FUN%~~4313~~%~~492~~	287	FUN%6985%563
288	» CURRYBIND	288	» CURRYBIND
289	FUN%4313%492
290	FUN%~~4313~~%~~492~~	289	FUN%6985%563
		290	FUN%6985%563
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%~~491~~»	301	MK-LET%lcm%562»
302	FUN%~~4313~~%~~492~~	302	FUN%6985%563


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%~~4363~~%~~534~~	251	FUN%3515%485
252	» CURRYBIND	252	» CURRYBIND
253	EVALUATION»	253	EVALUATION»
254	MK-LET%is_plus%580»	254	MK-LET%is_plus%501»
255	FUN%3~~992~~%165»	255	FUN%873%146»
256	MK-LET%arg1%~~625~~»	256	MK-LET%arg1%546»
257	FUN%3~~992~~%120»	257	FUN%873%101»
258	ML-IS_CONST»	258	ML-IS_CONST»
259	FUN%~~2558~~%~~341~~»	259	FUN%6000%266»
260	MK-LET%ADD_CONV%380»	260	MK-LET%ADD_CONV%420»
261	FUN%6863%315»
262	FUN%~~686~~3%318»	261	FUN%5953%288»
		262	FUN%5953%291»
263	MK-LETREF%ADD_ASSOC_CONV%599»	263	MK-LETREF%ADD_ASSOC_CONV%599»
264	FUN%6863%139»
265	FUN%~~3204~~%~~389~~»	264	FUN%5953%112»
		265	FUN%7985%429»
266	COLLECT_NUM_CONSTS_CONV»	266	COLLECT_NUM_CONSTS_CONV»
267	FUN%4363%534
268	FUN%~~4363~~%~~534~~	267	FUN%3515%485
		268	FUN%3515%485
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%~~533~~»	276	"MK-LET%COLLECT_NUM_CONSTS_CONV%484»
277	FUN%~~4363~~%~~534~~	277	FUN%3515%485
278	,SPUTPROP	278	,SPUTPROP
279	FUN%~~4363~~%~~536~~	279	FUN%3515%487
280	» CURRYBIND	280	» CURRYBIND
281	,SPUTPROP	281	,SPUTPROP
282	FUN%~~4363~~%~~537~~	282	FUN%3515%488
283	» CURRYBIND	283	» CURRYBIND
284	FUN%~~4363~~%~~536~~	284	FUN%3515%487
285	,SPUTPROP	285	,SPUTPROP
286	FUN%~~4363~~%~~538~~	286	FUN%3515%489
287	» CURRYBIND	287	» CURRYBIND
288	FUN%~~4363~~%~~537~~	288	FUN%3515%488
289	MK-LET%is_neg%~~202~~»	289	MK-LET%is_neg%127»
290	MK-LET%is_eq%~~200~~»	290	MK-LET%is_eq%125»
291	FUN%7529%523»
292	FUN%7529%527»
293	FUN%7529%530»
294	FUN%7529%510»
295	FUN%~~7529~~%536»	291	FUN%4672%565»
		292	FUN%4672%569»
		293	FUN%4672%572»
		294	FUN%4672%552»
		295	FUN%4672%578»
296	"MK-LETREF%NOT_NUM_EQ_NORM_CONV%615»	296	"MK-LETREF%NOT_NUM_EQ_NORM_CONV%615»
297	MK-LET%is_leq%~~604~~»	297	MK-LET%is_leq%525»
298	MK-LETREF%NOT_LEQ_NORM_CONV%613»	298	MK-LETREF%NOT_LEQ_NORM_CONV%613»
299	MK-LET%is_less%~~603~~»	299	MK-LET%is_less%524»
300	·MK-LETREF%NOT_LESS_NORM_CONV%614»	300	·MK-LETREF%NOT_LESS_NORM_CONV%614»
301	MK-LET%is_great%~~605~~»	301	MK-LET%is_great%526»
302	!MK-LETREF%NOT_GREAT_NORM_CONV%612»	302	!MK-LETREF%NOT_GREAT_NORM_CONV%612»
303	MK-LET%is_geq%~~606~~»	303	MK-LET%is_geq%527»
304	MK-LETREF%NOT_GEQ_NORM_CONV%611»	304	MK-LETREF%NOT_GEQ_NORM_CONV%611»
305	FUN%~~7529~~%509»	305	FUN%4672%551»
306	MK-LETREF%NUM_EQ_NORM_CONV%616»	306	MK-LETREF%NUM_EQ_NORM_CONV%616»
307	MK-LETREF%LESS_NORM_CONV%608»	307	MK-LETREF%LESS_NORM_CONV%608»
308	MK-LETREF%GREAT_NORM_CONV%606»	308	MK-LETREF%GREAT_NORM_CONV%606»
309	MK-LETREF%GEQ_NORM_CONV%605»	309	MK-LETREF%GEQ_NORM_CONV%605»
310	NUM_RELN_NORM_QCONV»	310	NUM_RELN_NORM_QCONV»
311	FUN%7529%501»
312	FUN%4363%536
313	FUN%4363%536
314	FUN%4~~363~~%536»	311	FUN%4672%543»
315	FUN%4363%537
316	FUN%4363%537
317	FUN%4363%537»
318	FUN%4363%538
319	FUN%~~4363~~%~~538~~	312	FUN%3515%487
		313	FUN%3515%487
		314	FUN%3515%487»
		315	FUN%3515%488
		316	FUN%3515%488
		317	FUN%3515%488»
		318	FUN%3515%489
		319	FUN%3515%489
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%~~535~~»	343	MK-LET%NUM_RELN_NORM_QCONV%486»
344	FUN%~~4363~~%~~538~~	344	FUN%3515%489
345	,SPUTPROP	345	,SPUTPROP
346	FUN%~~4363~~%~~540~~	346	FUN%3515%491
347	» CURRYBIND	347	» CURRYBIND
348	MK-LET%dest_mult%579»	348	MK-LET%dest_mult%500»
349	FUN%1694%573»
350	FUN%~~1694~~%~~620~~»	349	FUN%6316%494»
		350	FUN%6316%541»
351	MK-LETREF%ZERO_MULT%572»	351	MK-LETREF%ZERO_MULT%572»
352	FUN%690%159»	352	FUN%820%72»
353	MK-LETREF%ONE_MULT%573»	353	MK-LETREF%ONE_MULT%573»
354	MK-LET%num_CONV%394»	354	MK-LET%num_CONV%377»
355	FUN%~~686~~3%~~317~~»	355	FUN%5953%290»
356	MK-LETREF%MULT_SUC%576»	356	MK-LETREF%MULT_SUC%576»
357	MK-LET%term_of_int%~~621~~»	357	MK-LET%term_of_int%542»
358	FUN%1694%622»
359	FUN%2558%191»
360	FUN%2558%334»
361	FUN%690%~~139~~»	358	FUN%6316%543»
		359	FUN%6000%116»
		360	FUN%6000%259»
Max diff block lines reached; 7899/10770 bytes (73.34%) 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%~~954~~%526	204	FUN%7687%558
205	» CURRYBIND	205	» CURRYBIND
206	,SPUTPROP	206	,SPUTPROP
207	FUN%~~954~~%525	207	FUN%7687%557
208	» CURRYBIND	208	» CURRYBIND
209	FUN%~~954~~%526	209	FUN%7687%558
210	EVALUATION»	210	EVALUATION»
211	FUN%~~7529~~%507»	211	FUN%4672%549»
212	MK-LET%is_neg%~~202~~»	212	MK-LET%is_neg%127»
213	FUN%3992%165»
214	FUN%~~954~~%~~525~~»	213	FUN%873%146»
		214	FUN%7687%557»
215	FUN%~~7529~~%526»	215	FUN%4672%568»
216	MK-LET%is_eq%~~200~~»	216	MK-LET%is_eq%125»
217	MK-LETREF%EQ_EXPAND_CONV%589»	217	MK-LETREF%EQ_EXPAND_CONV%589»
218	FUN%7529%536»
219	FUN%~~7529~~%509»	218	FUN%4672%578»
		219	FUN%4672%551»
220	MK-LET%is_imp%199»	220	MK-LET%is_imp%124»
221	MK-LETREF%IMP_EXPAND_CONV%590»	221	MK-LETREF%IMP_EXPAND_CONV%590»
222	FUN%~~7529~~%535»	222	FUN%4672%577»
223	EQ_IMP_ELIM_QCONV»	223	EQ_IMP_ELIM_QCONV»
224	FUN%7529%501»
225	FUN%954%526
226	FUN%954%526
227	FUN%954%526»
228	FUN%954%525
229	FUN%~~954~~%525	224	FUN%4672%543»
		225	FUN%7687%558
		226	FUN%7687%558
		227	FUN%7687%558»
		228	FUN%7687%557
		229	FUN%7687%557
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%524»	246	MK-LETREC%EQ_IMP_ELIM_QCONV%556»
247	,SPUTPROP	247	,SPUTPROP
248	FUN%~~954~~%529	248	FUN%7687%561
249	» CURRYBIND	249	» CURRYBIND
250	,SPUTPROP	250	,SPUTPROP
251	FUN%~~954~~%530	251	FUN%7687%562
252	» CURRYBIND	252	» CURRYBIND
253	FUN%~~954~~%529	253	FUN%7687%561
254	,SPUTPROP	254	,SPUTPROP
255	FUN%~~954~~%528	255	FUN%7687%560
256	» CURRYBIND	256	» CURRYBIND
257	FUN%954%530
258	FUN%2558%341»
259	FUN%~~954~~%530»	257	FUN%7687%562
		258	FUN%6000%266»
		259	FUN%7687%562»
260	MK-LETREF%NOT_NOT_NORM_CONV%596»	260	MK-LETREF%NOT_NOT_NORM_CONV%596»
261	MK-LET%is_conj%197»	261	MK-LET%is_conj%122»
262	·MK-LETREF%NOT_CONJ_NORM_CONV%594»	262	·MK-LETREF%NOT_CONJ_NORM_CONV%594»
263	MK-LET%is_disj%198»	263	MK-LET%is_disj%123»
264	·MK-LETREF%NOT_DISJ_NORM_CONV%595»	264	·MK-LETREF%NOT_DISJ_NORM_CONV%595»
265	MOVE_NOT_DOWN_QCONV»	265	MOVE_NOT_DOWN_QCONV»
266	FUN%954%529
267	FUN%954%529
268	FUN%954%529»
269	FUN%954%530
270	FUN%954%530
271	FUN%954%528
272	FUN%~~954~~%528	266	FUN%7687%561
		267	FUN%7687%561
		268	FUN%7687%561»
		269	FUN%7687%562
		270	FUN%7687%562
		271	FUN%7687%560
		272	FUN%7687%560
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%527»	296	!MK-LETREC%MOVE_NOT_DOWN_QCONV%559»
297	FUN%~~954~~%528	297	FUN%7687%560
298	,SPUTPROP	298	,SPUTPROP
299	FUN%~~954~~%532	299	FUN%7687%564
300	» CURRYBIND	300	» CURRYBIND
301	MK-LET%arg1%~~625~~»	301	MK-LET%arg1%546»
302	FUN%3992%120»
303	FUN%7529%523»
304	FUN%7~~529~~%~~527~~»	302	FUN%873%101»
		303	FUN%4672%565»
		304	FUN%4672%569»
305	"MK-LETREF%DISJ_ASSOC_NORM_CONV%588»	305	"MK-LETREF%DISJ_ASSOC_NORM_CONV%588»
306	FUN%~~7529~~%510»	306	FUN%4672%552»
307	DISJ_LINEAR_QCONV»	307	DISJ_LINEAR_QCONV»
308	FUN%954%532
309	FUN%~~954~~%532	308	FUN%7687%564
		309	FUN%7687%564
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
314	» MK-FUNTYP	314	» MK-FUNTYP
Max diff block lines reached; 712/3177 bytes (22.41%) 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%3881%552	210	FUN%8184%554
211	» CURRYBIND	211	» CURRYBIND
212	,SPUTPROP	212	,SPUTPROP
213	FUN%3881%553	213	FUN%8184%555
214	» CURRYBIND	214	» CURRYBIND
215	FUN%3881%552	215	FUN%8184%554
216	EVALUATION»	216	EVALUATION»
217	MK-LET%dest_leq%~~600~~»	217	MK-LET%dest_leq%521»
218	FUN%~~1694~~%595»	218	FUN%6316%516»
219	MK-LET%mk_plus%~~568~~»	219	MK-LET%mk_plus%489»
220	FUN%1694%565»	220	FUN%6316%486»
221	MK-LET%mk_leq%590»	221	MK-LET%mk_leq%511»
222	FUN%~~1694~~%586»	222	FUN%6316%507»
223	MK-LETREF%LEQ_PLUS_CONV%623»	223	MK-LETREF%LEQ_PLUS_CONV%623»
224	FUN%690%137»	224	FUN%820%50»
225	ADD_TERM_TO_LEQ_CONV»	225	ADD_TERM_TO_LEQ_CONV»
226	FUN%3881%552	226	FUN%8184%554
227	FUN%3881%552	227	FUN%8184%554
228	FUN%3881%552»	228	FUN%8184%554»
229	FUN%3881%553	229	FUN%8184%555
230	FUN%3881%553	230	FUN%8184%555
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%551»	242	MK-LET%ADD_TERM_TO_LEQ_CONV%553»
243	FUN%3881%553	243	FUN%8184%555
244	,SPUTPROP	244	,SPUTPROP
245	FUN%3881%555	245	FUN%8184%557
246	» CURRYBIND	246	» CURRYBIND
247	,SPUTPROP	247	,SPUTPROP
248	FUN%3881%556	248	FUN%8184%558
249	» CURRYBIND	249	» CURRYBIND
250	,SPUTPROP	250	,SPUTPROP
251	FUN%3881%557	251	FUN%8184%559
252	» CURRYBIND	252	» CURRYBIND
253	MK-LET%ALL_QCONV%506»	253	MK-LET%ALL_QCONV%548»
254	MK-LET%term_of_int%~~621~~»	254	MK-LET%term_of_int%542»
255	FUN%~~1694~~%~~622~~»	255	FUN%6316%543»
256	MK-LET%mk_num_var%~~623~~»	256	MK-LET%mk_num_var%544»
257	FUN%~~1694~~%~~624~~»	257	FUN%6316%545»
258	MK-LET%mk_mult%~~570~~»	258	MK-LET%mk_mult%491»
259	FUN%3881%555»	259	FUN%8184%557»
		260	FUN%4672%552»
		261	FUN%8184%557
		262	FUN%8184%557
260	FUN%~~7529~~%510»	263	FUN%4672%551»
261	FUN%3881%555
262	FUN%3881%555
263	FUN%7529%509»
264	ADD_COEFFS_TO_LEQ_QCONV»	264	ADD_COEFFS_TO_LEQ_QCONV»
265	FUN%~~7529~~%501»	265	FUN%4672%543»
266	FUN%3881%556	266	FUN%8184%558
267	FUN%3881%556	267	FUN%8184%558
268	FUN%3881%556»	268	FUN%8184%558»
269	FUN%3881%557	269	FUN%8184%559
270	FUN%3881%557	270	FUN%8184%559
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%554»	292	"MK-LET%ADD_COEFFS_TO_LEQ_QCONV%556»
293	FUN%3881%557	293	FUN%8184%559
294	,SPUTPROP	294	,SPUTPROP
295	FUN%3881%560	295	FUN%8184%562
296	» CURRYBIND	296	» CURRYBIND
297	,SPUTPROP	297	,SPUTPROP
298	FUN%3881%559	298	FUN%8184%561
299	» CURRYBIND	299	» CURRYBIND
300	FUN%3881%560	300	FUN%8184%562
301	,SPUTPROP	301	,SPUTPROP
302	FUN%3881%561	302	FUN%8184%563
303	» CURRYBIND	303	» CURRYBIND
304	FUN%3881%560»	304	FUN%8184%562»
305	FUN%~~4357~~%530»	305	FUN%3608%480»
306	FUN%3881%560	306	FUN%8184%562
307	FUN%3881%560	307	FUN%8184%562
308	FUN%3881%559
309	FUN%3881%559	308	FUN%8184%561
		309	FUN%8184%561
310	FUN%~~1109~~%504»	310	FUN%7711%505»
311	FUN%~~1109~~%511»	311	FUN%7711%512»
312	"MK-LET%NORM_ZERO_AND_ONE_QCONV%575»	312	"MK-LET%NORM_ZERO_AND_ONE_QCONV%526»
313	·MK-LET%SORT_AND_GATHER_QCONV%571»	313	·MK-LET%SORT_AND_GATHER_QCONV%522»
314	FUN%~~7529~~%536»	314	FUN%4672%578»
315	LESS_OR_EQ_GATHER_QCONV»	315	LESS_OR_EQ_GATHER_QCONV»
316	FUN%3881%561	316	FUN%8184%563
317	FUN%3881%561	317	FUN%8184%563
318	» MK-FUNTYP	318	» MK-FUNTYP
319	MK-TERMTYP	319	MK-TERMTYP
320	» MK-THMTYP»	320	» MK-THMTYP»
321	LESS_OR_EQ_GATHER_QCONV	321	LESS_OR_EQ_GATHER_QCONV
322	» MK-FUNTYP	322	» MK-FUNTYP
323	MK-TERMTYP	323	MK-TERMTYP
324	» MK-THMTYP»	324	» MK-THMTYP»
325	"MK-LET%LESS_OR_EQ_GATHER_QCONV%558»	325	"MK-LET%LESS_OR_EQ_GATHER_QCONV%560»
326	FUN%3881%559»
327	FUN%3881%561	326	FUN%8184%561»
		327	FUN%8184%563
328	,SPUTPROP	328	,SPUTPROP
329	FUN%3881%563	329	FUN%8184%565
330	» CURRYBIND	330	» CURRYBIND
Max diff block lines reached; 253/3742 bytes (6.76%) 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%9~~422~~%~~493~~	201	FUN%851%521
202	» CURRYBIND	202	» CURRYBIND
203	EVALUATION»	203	EVALUATION»
204	MK-LET%dest_eq%164»	204	MK-LET%dest_eq%89»
205	FUN%~~2558~~%166»	205	FUN%6000%91»
206	MK-LET%is_forall%194»	206	MK-LET%is_forall%119»
207	FUN%3~~992~~%165»	207	FUN%873%146»
208	MK-LET%is_exists%195»	208	MK-LET%is_exists%120»
209	MK-LET%EQ_IMP_THM%184»	209	MK-LET%EQ_IMP_THM%173»
210	FUN%690%162»	210	FUN%820%75»
211	QUANT_EQ_IMP_CONV»	211	QUANT_EQ_IMP_CONV»
212	FUN%9422%493
213	FUN%9~~422~~%~~493~~	212	FUN%851%521
		213	FUN%851%521
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%~~492~~»	221	MK-LET%QUANT_EQ_IMP_CONV%520»
222	FUN%9~~422~~%~~493~~	222	FUN%851%521
223	,SPUTPROP	223	,SPUTPROP
224	FUN%9~~422~~%~~496~~	224	FUN%851%524
225	» CURRYBIND	225	» CURRYBIND
226	,SPUTPROP	226	,SPUTPROP
227	FUN%9~~422~~%~~495~~	227	FUN%851%523
228	» CURRYBIND	228	» CURRYBIND
229	ML-DEST_COMB»	229	ML-DEST_COMB»
230	FUN%9422%496»
231	FUN%2558%345»
232	FUN%9422%496
233	FUN%~~9422%496~~	230	FUN%851%524»
		231	FUN%6000%270»
		232	FUN%851%524
		233	FUN%851%524
234	MK-LET%dest_forall%147»	234	MK-LET%dest_forall%72»
235	FUN%2558%149»
236	FUN%~~9422~~%495»	235	FUN%6000%74»
		236	FUN%851%523»
237	MK-LET%dest_exists%150»	237	MK-LET%dest_exists%75»
238	FUN%2558%152»
239	FUN%9422%495
240	FUN%~~9422~~%~~495~~	238	FUN%6000%77»
		239	FUN%851%523
		240	FUN%851%523
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%~~494~~»	249	MK-LETREC%is_prenex%522»
250	» is_prenex	250	» is_prenex
251	,SPUTPROP	251	,SPUTPROP
252	FUN%9~~422~~%~~498~~	252	FUN%851%526
253	» CURRYBIND	253	» CURRYBIND
254	,SPUTPROP	254	,SPUTPROP
255	FUN%9~~422~~%~~499~~	255	FUN%851%527
256	» CURRYBIND	256	» CURRYBIND
257	MK-LET%is_neg%~~202~~»	257	MK-LET%is_neg%127»
258	MK-LET%NOT_EXISTS_CONV%237»	258	MK-LET%NOT_EXISTS_CONV%210»
259	MK-LET%NOT_FORALL_CONV%235»	259	MK-LET%NOT_FORALL_CONV%208»
260	FUN%~~686~~3%143»	260	FUN%5953%116»
261	MK-LET%is_conj%197»	261	MK-LET%is_conj%122»
262	·MK-LET%RIGHT_AND_EXISTS_CONV%265»	262	·MK-LET%RIGHT_AND_EXISTS_CONV%238»
263	MK-LET%LEFT_AND_EXISTS_CONV%263»	263	MK-LET%LEFT_AND_EXISTS_CONV%236»
264	MK-LET%AND_EXISTS_CONV%261»	264	MK-LET%AND_EXISTS_CONV%234»
265	·MK-LET%RIGHT_AND_FORALL_CONV%251»	265	·MK-LET%RIGHT_AND_FORALL_CONV%224»
266	MK-LET%LEFT_AND_FORALL_CONV%249»	266	MK-LET%LEFT_AND_FORALL_CONV%222»
267	MK-LET%AND_FORALL_CONV%247»	267	MK-LET%AND_FORALL_CONV%220»
268	FUN%~~686~~3%144»	268	FUN%5953%117»
269	MK-LET%is_disj%198»	269	MK-LET%is_disj%123»
270	MK-LET%RIGHT_OR_EXISTS_CONV%257»	270	MK-LET%RIGHT_OR_EXISTS_CONV%230»
271	MK-LET%LEFT_OR_EXISTS_CONV%255»	271	MK-LET%LEFT_OR_EXISTS_CONV%228»
272	MK-LET%OR_EXISTS_CONV%253»	272	MK-LET%OR_EXISTS_CONV%226»
273	MK-LET%RIGHT_OR_FORALL_CONV%273»	273	MK-LET%RIGHT_OR_FORALL_CONV%246»
274	MK-LET%LEFT_OR_FORALL_CONV%271»	274	MK-LET%LEFT_OR_FORALL_CONV%244»
275	MK-LET%OR_FORALL_CONV%269»	275	MK-LET%OR_FORALL_CONV%242»
276	MK-LET%is_imp%199»	276	MK-LET%is_imp%124»
277	·MK-LET%RIGHT_IMP_EXISTS_CONV%285»	277	·MK-LET%RIGHT_IMP_EXISTS_CONV%258»
278	MK-LET%LEFT_IMP_EXISTS_CONV%277»	278	MK-LET%LEFT_IMP_EXISTS_CONV%250»
279	·MK-LET%RIGHT_IMP_FORALL_CONV%279»	279	·MK-LET%RIGHT_IMP_FORALL_CONV%252»
280	MK-LET%LEFT_IMP_FORALL_CONV%283»	280	MK-LET%LEFT_IMP_FORALL_CONV%256»
281	MK-LET%is_eq%~~200~~»	281	MK-LET%is_eq%125»
282	FUN%9422%498
283	FUN%9422%498
284	FUN%9458%125»
285	FUN%9422%498»
286	FUN%6863%208»
287	FUN%9422%499
288	FUN%9~~422~~%~~499~~	282	FUN%851%526
		283	FUN%851%526
		284	FUN%5113%63»
		285	FUN%851%526»
		286	FUN%5953%181»
		287	FUN%851%527
		288	FUN%851%527
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%~~497~~»	296	MK-LET%PRENEX_CONV%525»
297	PRENEX_CONV»	297	PRENEX_CONV»
298	FUN%9~~422~~%~~499~~	298	FUN%851%527


Offset 218, 108 lines modified		Offset 218, 108 lines modified
218	.rel.debug_frame	218	.rel.debug_frame
219	.ARM.attributes	219	.ARM.attributes
220	COMMON-LISP-USER	220	COMMON-LISP-USER
221	COMMON-LISPPROGN»	221	COMMON-LISPPROGN»
222	SYSTEMSETVV	222	SYSTEMSETVV
223	» MK-TOKTYP»	223	» MK-TOKTYP»
224	» MK-TOKTYP»	224	» MK-TOKTYP»
225	MK-LET%qconv%~~499~~»	225	MK-LET%qconv%541»
226	-SPUTPROP	226	-SPUTPROP
227	FUN%~~7529~~%501	227	FUN%4672%543
228	» CURRYBIND	228	» CURRYBIND
229	-SPUTPROP	229	-SPUTPROP
230	FUN%~~7529~~%502	230	FUN%4672%544
231	» CURRYBIND	231	» CURRYBIND
232	FUN%~~7529~~%501	232	FUN%4672%543
233	EVALUATION»	233	EVALUATION»
234	FUN%7529%501
235	FUN%7529%501
236	FUN%7529%501»
237	FUN%7529%502
238	FUN%~~7529~~%502	234	FUN%4672%543
		235	FUN%4672%543
		236	FUN%4672%543»
		237	FUN%4672%544
		238	FUN%4672%544
239	» MK-FUNTYP	239	» MK-FUNTYP
240	» MK-TOKTYP»	240	» MK-TOKTYP»
241	» MK-FUNTYP	241	» MK-FUNTYP
242	» MK-TOKTYP	242	» MK-TOKTYP
243	» qfailwith	243	» qfailwith
244	» MK-FUNTYP	244	» MK-FUNTYP
245	» MK-TOKTYP»	245	» MK-TOKTYP»
246	» MK-FUNTYP	246	» MK-FUNTYP
247	» MK-TOKTYP	247	» MK-TOKTYP
248	MK-LET%qfailwith%500»	248	MK-LET%qfailwith%542»
249	» qfailwith»	249	» qfailwith»
250	FUN%~~7529~~%502	250	FUN%4672%544
251	-SPUTPROP	251	-SPUTPROP
252	FUN%~~7529~~%504	252	FUN%4672%546
253	» CURRYBIND	253	» CURRYBIND
254	-SPUTPROP	254	-SPUTPROP
255	FUN%~~7529~~%505	255	FUN%4672%547
256	» CURRYBIND	256	» CURRYBIND
257	FUN%~~7529~~%504	257	FUN%4672%546
258	FUN%~~9458~~%125»	258	FUN%5113%63»
259	FUN%~~7529~~%504	259	FUN%4672%546
260	FUN%~~7529~~%504	260	FUN%4672%546
261	FUN%~~7529~~%504»	261	FUN%4672%546»
262	FUN%7529%505
263	FUN%~~7529~~%505	262	FUN%4672%547
		263	FUN%4672%547
264	» MK-FUNTYP»	264	» MK-FUNTYP»
265	» MK-FUNTYP	265	» MK-FUNTYP
266	MK-TERMTYP	266	MK-TERMTYP
267	» MK-THMTYP»	267	» MK-THMTYP»
268	» MK-FUNTYP	268	» MK-FUNTYP
269	MK-TERMTYP	269	MK-TERMTYP
270	» MK-THMTYP»	270	» MK-THMTYP»
271	» MK-FUNTYP»	271	» MK-FUNTYP»
272	» MK-FUNTYP	272	» MK-FUNTYP
273	MK-TERMTYP	273	MK-TERMTYP
274	» MK-THMTYP»	274	» MK-THMTYP»
275	» MK-FUNTYP	275	» MK-FUNTYP
276	MK-TERMTYP	276	MK-TERMTYP
277	» MK-THMTYP»	277	» MK-THMTYP»
278	MK-LET%QCONV%503»	278	MK-LET%QCONV%545»
279	FUN%~~7529~~%505	279	FUN%4672%547
280	-SPUTPROP	280	-SPUTPROP
281	FUN%~~7529~~%507	281	FUN%4672%549
282	» CURRYBIND	282	» CURRYBIND
283	FUN%~~7529~~%507	283	FUN%4672%549
284	» MK-FUNTYP	284	» MK-FUNTYP
285	MK-TERMTYP	285	MK-TERMTYP
286	» MK-THMTYP»	286	» MK-THMTYP»
287	» ALL_QCONV	287	» ALL_QCONV
288	» MK-FUNTYP	288	» MK-FUNTYP
289	MK-TERMTYP	289	MK-TERMTYP
290	» MK-THMTYP»	290	» MK-THMTYP»
291	MK-LET%ALL_QCONV%506»	291	MK-LET%ALL_QCONV%548»
292	» ALL_QCONV»	292	» ALL_QCONV»
293	FUN%~~7529~~%507	293	FUN%4672%549
294	MK-NULLTYP»	294	MK-NULLTYP»
295	MK-APPN»	295	MK-APPN»
296	ML-ML_CURRIED_INFIX	296	ML-ML_CURRIED_INFIX
297	-SPUTPROP	297	-SPUTPROP
298	FUN%~~7529~~%509	298	FUN%4672%551
299	» CURRYBIND	299	» CURRYBIND
300	-SPUTPROP	300	-SPUTPROP
301	FUN%~~7529~~%510	301	FUN%4672%552
302	» CURRYBIND	302	» CURRYBIND
303	FUN%~~7529~~%509	303	FUN%4672%551
304	-SPUTPROP	304	-SPUTPROP
305	FUN%~~7529~~%511	305	FUN%4672%553
306	» CURRYBIND	306	» CURRYBIND
		307	FUN%4672%552
		308	FUN%6000%116»
		309	FUN%6000%259»
		310	FUN%820%52»
307	FUN%~~7529~~%510	311	FUN%4672%551
308	FUN%2558%191»
309	FUN%2558%334»
310	FUN%690%139»
311	FUN%7529%509
312	FUN%7529%509
313	FUN%7529%509»
314	FUN%~~7529~~%510	312	FUN%4672%551
315	FUN%7529%510
316	FUN%~~7529~~%510»	313	FUN%4672%551»
317	FUN%7529%511
318	FUN%~~7529~~%511	314	FUN%4672%552
		315	FUN%4672%552
		316	FUN%4672%552»
		317	FUN%4672%553
		318	FUN%4672%553
319	» MK-FUNTYP»	319	» MK-FUNTYP»
320	» MK-FUNTYP	320	» MK-FUNTYP
321	MK-TERMTYP	321	MK-TERMTYP
322	» MK-THMTYP»	322	» MK-THMTYP»
323	» MK-FUNTYP»	323	» MK-FUNTYP»
324	» MK-FUNTYP	324	» MK-FUNTYP
325	MK-TERMTYP	325	MK-TERMTYP
Offset 334, 37 lines modified		Offset 334, 37 lines modified
334	» MK-FUNTYP»	334	» MK-FUNTYP»
335	» MK-FUNTYP	335	» MK-FUNTYP
336	MK-TERMTYP	336	MK-TERMTYP
337	» MK-THMTYP»	337	» MK-THMTYP»
338	» MK-FUNTYP	338	» MK-FUNTYP
Max diff block lines reached; 5125/7324 bytes (69.98%) 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%548	227	ABS%rat%542
228	-SPUTPROP	228	-SPUTPROP
229	ABS%rat%548	229	ABS%rat%542
230	» ABSTYNAME	230	» ABSTYNAME
231	-SPUTPROP	231	-SPUTPROP
232	FUN%5378%558	232	FUN%1873%552
233	» CURRYBIND	233	» CURRYBIND
234	-SPUTPROP	234	-SPUTPROP
235	FUN%5378%559	235	FUN%1873%553
236	» CURRYBIND	236	» CURRYBIND
237	-SPUTPROP	237	-SPUTPROP
238	FUN%5378%560	238	FUN%1873%554
239	» CURRYBIND	239	» CURRYBIND
240	-SPUTPROP	240	-SPUTPROP
241	FUN%5378%561	241	FUN%1873%555
242	» CURRYBIND	242	» CURRYBIND
243	-SPUTPROP	243	-SPUTPROP
244	FUN%5378%562	244	FUN%1873%556
245	» CURRYBIND	245	» CURRYBIND
246	-SPUTPROP	246	-SPUTPROP
247	FUN%5378%563	247	FUN%1873%557
248	» CURRYBIND	248	» CURRYBIND
249	FUN%5378%562	249	FUN%1873%556
250	-SPUTPROP	250	-SPUTPROP
251	FUN%5378%564	251	FUN%1873%558
252	» CURRYBIND	252	» CURRYBIND
253	-SPUTPROP	253	-SPUTPROP
254	FUN%5378%565	254	FUN%1873%559
255	» CURRYBIND	255	» CURRYBIND
256	FUN%5378%564	256	FUN%1873%558
257	-SPUTPROP	257	-SPUTPROP
258	FUN%5378%566	258	FUN%1873%560
259	» CURRYBIND	259	» CURRYBIND
260	-SPUTPROP	260	-SPUTPROP
261	FUN%5378%567	261	FUN%1873%561
262	» CURRYBIND	262	» CURRYBIND
263	FUN%5378%566	263	FUN%1873%560
264	-SPUTPROP	264	-SPUTPROP
265	FUN%5378%568	265	FUN%1873%562
266	» CURRYBIND	266	» CURRYBIND
267	-SPUTPROP	267	-SPUTPROP
268	FUN%5378%569	268	FUN%1873%563
269	» CURRYBIND	269	» CURRYBIND
270	FUN%5378%568	270	FUN%1873%562
271	-SPUTPROP	271	-SPUTPROP
272	FUN%5378%570	272	FUN%1873%564
273	» CURRYBIND	273	» CURRYBIND
274	EVALUATION»	274	EVALUATION»
275	FUN%4313%484»
276	FUN%4313%490»
277	FUN%5378%558
278	FUN%5378%558
279	FUN%5378%559
280	FUN%5378%559
281	FUN%5378%560
282	FUN%~~5378~~%560	275	FUN%6985%555»
		276	FUN%6985%561»
		277	FUN%1873%552
		278	FUN%1873%552
		279	FUN%1873%553
		280	FUN%1873%553
		281	FUN%1873%554
		282	FUN%1873%554
283	rat_inv»	283	rat_inv»
		284	FUN%1873%555
		285	FUN%1873%555
		286	FUN%1873%556
		287	FUN%1873%556
		288	FUN%1873%556»
		289	FUN%1873%557
		290	FUN%1873%557
		291	FUN%1873%558
		292	FUN%1873%558
		293	FUN%1873%558»
		294	FUN%1873%559
		295	FUN%1873%559
		296	FUN%1873%560
		297	FUN%1873%560
		298	FUN%1873%560»
284	FUN%5378%561	299	FUN%1873%561
285	FUN%5378%561	300	FUN%1873%561
286	FUN%5378%562
287	FUN%5378%562
288	FUN%5378%562»
289	FUN%5378%563
290	FUN%5378%563
291	FUN%5378%564
292	FUN%5378%564
293	FUN%5378%564»
294	FUN%5378%565
295	FUN%5378%565
296	FUN%5378%566
297	FUN%5378%566
298	FUN%5378%566»
299	FUN%5378%567
300	FUN%5378%567
301	rat_div»	301	rat_div»
302	FUN%5378%568
303	FUN%5378%568
304	FUN%5378%568»
305	FUN%5378%569
306	FUN%5378%569	302	FUN%1873%562
		303	FUN%1873%562
		304	FUN%1873%562»
		305	FUN%1873%563
		306	FUN%1873%563
307	ML-PRINT_INT»	307	ML-PRINT_INT»
308	PSTRING»	308	PSTRING»
309	FUN%5378%570
310	FUN%5378%570	309	FUN%1873%564
		310	FUN%1873%564
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%548»	316	ABS%rat%542»
317	MK-PRODTYP»	317	MK-PRODTYP»
318	» MK-FUNTYP	318	» MK-FUNTYP
319	ABS%rat%548	319	ABS%rat%542
Max diff block lines reached; 4493/6601 bytes (68.07%) of diff not shown.


Offset 235, 164 lines modified		Offset 235, 164 lines modified
235	.comment	235	.comment
236	.note.GNU-stack	236	.note.GNU-stack
237	.rel.debug_frame	237	.rel.debug_frame
238	.ARM.attributes	238	.ARM.attributes
239	COMMON-LISP-USER	239	COMMON-LISP-USER
240	SYSTEMSPUTPROP	240	SYSTEMSPUTPROP
241	COMMON-LISPQUOTE	241	COMMON-LISPQUOTE
242	FUN%~~291~~3%~~484~~	242	FUN%8283%553
243	» CURRYBIND	243	» CURRYBIND
244	,SPUTPROP	244	,SPUTPROP
245	FUN%~~291~~3%~~485~~	245	FUN%8283%554
246	» CURRYBIND	246	» CURRYBIND
247	FUN%~~291~~3%~~484~~	247	FUN%8283%553
248	EVALUATION»	248	EVALUATION»
249	Neg_inf»	249	Neg_inf»
250	Pos_inf»	250	Pos_inf»
251	FUN%5378%581»	251	FUN%1873%575»
252	pattern»	252	pattern»
253	less_bound»	253	less_bound»
254	FUN%2913%484
255	FUN%2913%484
256	FUN%2913%484»
257	FUN%2913%485
258	FUN%~~291~~3%~~485~~	254	FUN%8283%553
		255	FUN%8283%553
		256	FUN%8283%553»
		257	FUN%8283%554
		258	FUN%8283%554
259	» MK-FUNTYP	259	» MK-FUNTYP
260	CONC%bound%548»	260	CONC%bound%522»
261	» MK-FUNTYP	261	» MK-FUNTYP
262	CONC%bound%548	262	CONC%bound%522
263	MK-BOOLTYP»	263	MK-BOOLTYP»
264	less_bound	264	less_bound
265	» MK-FUNTYP	265	» MK-FUNTYP
266	CONC%bound%548»	266	CONC%bound%522»
267	» MK-FUNTYP	267	» MK-FUNTYP
268	CONC%bound%548	268	CONC%bound%522
269	MK-BOOLTYP»	269	MK-BOOLTYP»
270	MK-LET%less_bound%~~483~~»	270	MK-LET%less_bound%552»
271	FUN%~~291~~3%~~485~~	271	FUN%8283%554
272	,SPUTPROP	272	,SPUTPROP
273	FUN%~~291~~3%~~487~~	273	FUN%8283%556
274	» CURRYBIND	274	» CURRYBIND
275	MK-LET%rat_zero%578»	275	MK-LET%rat_zero%572»
276	is_neg_bound»	276	is_neg_bound»
277	FUN%2913%487
278	FUN%~~291~~3%~~487~~	277	FUN%8283%556
		278	FUN%8283%556
279	» MK-FUNTYP	279	» MK-FUNTYP
280	CONC%bound%548	280	CONC%bound%522
281	MK-BOOLTYP»	281	MK-BOOLTYP»
282	is_neg_bound	282	is_neg_bound
283	» MK-FUNTYP	283	» MK-FUNTYP
284	CONC%bound%548	284	CONC%bound%522
285	MK-BOOLTYP»	285	MK-BOOLTYP»
286	MK-LET%is_neg_bound%~~486~~»	286	MK-LET%is_neg_bound%555»
287	FUN%~~291~~3%~~487~~	287	FUN%8283%556
288	,SPUTPROP	288	,SPUTPROP
289	FUN%~~291~~3%~~489~~	289	FUN%8283%558
290	» CURRYBIND	290	» CURRYBIND
291	is_finite_bound»	291	is_finite_bound»
292	FUN%2913%489
293	FUN%~~291~~3%~~489~~	292	FUN%8283%558
		293	FUN%8283%558
294	» MK-FUNTYP	294	» MK-FUNTYP
295	CONC%bound%548	295	CONC%bound%522
296	MK-BOOLTYP»	296	MK-BOOLTYP»
297	is_finite_bound	297	is_finite_bound
298	» MK-FUNTYP	298	» MK-FUNTYP
299	CONC%bound%548	299	CONC%bound%522
300	MK-BOOLTYP»	300	MK-BOOLTYP»
301	MK-LET%is_finite_bound%~~488~~»	301	MK-LET%is_finite_bound%557»
302	FUN%~~291~~3%~~489~~	302	FUN%8283%558
303	,SPUTPROP	303	,SPUTPROP
304	FUN%~~291~~3%~~491~~	304	FUN%8283%560
305	» CURRYBIND	305	» CURRYBIND
306	rat_of_bound»	306	rat_of_bound»
307	FUN%2913%491
308	FUN%~~291~~3%~~491~~	307	FUN%8283%560
		308	FUN%8283%560
309	» MK-FUNTYP	309	» MK-FUNTYP
310	CONC%bound%548	310	CONC%bound%522
311	ABS%rat%548»	311	ABS%rat%542»
312	rat_of_bound	312	rat_of_bound
313	» MK-FUNTYP	313	» MK-FUNTYP
314	CONC%bound%548	314	CONC%bound%522
315	ABS%rat%548»	315	ABS%rat%542»
316	MK-LET%rat_of_bound%~~490~~»	316	MK-LET%rat_of_bound%559»
317	FUN%~~291~~3%~~491~~	317	FUN%8283%560
318	,SPUTPROP	318	,SPUTPROP
319	FUN%~~291~~3%~~493~~	319	FUN%8283%562
320	» CURRYBIND	320	» CURRYBIND
321	,SPUTPROP	321	,SPUTPROP
322	FUN%~~291~~3%~~494~~	322	FUN%8283%563
323	» CURRYBIND	323	» CURRYBIND
324	FUN%2913%493
325	FUN%5378%577»
326	FUN%5378%575»
327	FUN%2913%493
328	FUN%2913%493
329	FUN%2913%493»
330	FUN%2913%494
331	FUN%~~291~~3%~~494~~	324	FUN%8283%562
		325	FUN%1873%571»
		326	FUN%1873%569»
		327	FUN%8283%562
		328	FUN%8283%562
		329	FUN%8283%562»
		330	FUN%8283%563
		331	FUN%8283%563
332	» MK-FUNTYP	332	» MK-FUNTYP
333	ABS%rat%548»	333	ABS%rat%542»
334	» MK-FUNTYP	334	» MK-FUNTYP
335	ABS%rat%548	335	ABS%rat%542
336	MK-BOOLTYP»	336	MK-BOOLTYP»
337	is_int_range	337	is_int_range
338	» MK-FUNTYP	338	» MK-FUNTYP
339	ABS%rat%548»	339	ABS%rat%542»
340	» MK-FUNTYP	340	» MK-FUNTYP
341	ABS%rat%548	341	ABS%rat%542
342	MK-BOOLTYP»	342	MK-BOOLTYP»
343	MK-LET%is_int_range%~~492~~»	343	MK-LET%is_int_range%561»
344	is_int_range»	344	is_int_range»
345	FUN%~~291~~3%~~494~~	345	FUN%8283%563
346	,SPUTPROP	346	,SPUTPROP
347	FUN%~~291~~3%~~496~~	347	FUN%8283%565
Max diff block lines reached; 3677/6206 bytes (59.25%) 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%~~6594~~%565	230	FUN%3360%530
231	» CURRYBIND	231	» CURRYBIND
232	,SPUTPROP	232	,SPUTPROP
233	FUN%~~6594~~%566	233	FUN%3360%531
234	» CURRYBIND	234	» CURRYBIND
235	FUN%~~2558~~%~~341~~»	235	FUN%6000%266»
236	MK-LET%is_mult%582»	236	MK-LET%is_mult%503»
237	FUN%3~~992~~%165»	237	FUN%873%146»
238	MK-LETREC%FAST_MULT_CONV%~~545~~»	238	MK-LETREC%FAST_MULT_CONV%496»
		239	FUN%4672%569»
239	FUN%~~7529~~%527»	240	FUN%4672%572»
240	FUN%7529%530»
241	MK-LETREF%MULT_ASSOC_CONV%609»	241	MK-LETREF%MULT_ASSOC_CONV%609»
242	FUN%7529%509»
243	FUN%~~7529~~%510»	242	FUN%4672%551»
		243	FUN%4672%552»
244	#MK-LETREF%LEFT_ADD_DISTRIB_CONV%607»	244	#MK-LETREF%LEFT_ADD_DISTRIB_CONV%607»
245	FUN%6594%565
246	FUN%~~6594~~%565	245	FUN%3360%530
		246	FUN%3360%530
247	EVALUATION»	247	EVALUATION»
248	FUN%~~6594~~%565»	248	FUN%3360%530»
249	ML-IS_CONST»	249	ML-IS_CONST»
250	FUN%~~4363~~%~~546~~»	250	FUN%3515%497»
251	MK-LET%arg1%~~625~~»	251	MK-LET%arg1%546»
252	FUN%3~~992~~%120»	252	FUN%873%101»
253	CONST_TIMES_ARITH_QCONV»	253	CONST_TIMES_ARITH_QCONV»
254	FUN%7529%501»
255	FUN%6594%566
256	FUN%~~6594~~%566	254	FUN%4672%543»
		255	FUN%3360%531
		256	FUN%3360%531
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%564»	264	"MK-LET%CONST_TIMES_ARITH_QCONV%529»
265	FUN%~~6594~~%566	265	FUN%3360%531
266	,SPUTPROP	266	,SPUTPROP
267	FUN%~~6594~~%568	267	FUN%3360%533
268	» CURRYBIND	268	» CURRYBIND
269	,SPUTPROP	269	,SPUTPROP
270	FUN%~~6594~~%569	270	FUN%3360%534
271	» CURRYBIND	271	» CURRYBIND
272	,SPUTPROP	272	,SPUTPROP
273	FUN%~~6594~~%570	273	FUN%3360%535
274	» CURRYBIND	274	» CURRYBIND
275	,SPUTPROP	275	,SPUTPROP
276	FUN%~~6594~~%571	276	FUN%3360%536
277	» CURRYBIND	277	» CURRYBIND
278	,SPUTPROP	278	,SPUTPROP
279	FUN%~~6594~~%572	279	FUN%3360%537
280	» CURRYBIND	280	» CURRYBIND
281	FUN%6594%571»
282	FUN%6594%568
283	FUN%6594%568
284	FUN%6594%569
285	FUN%6594%569
286	FUN%690%139»
287	FUN%6594%570
288	FUN%~~6594~~%570	281	FUN%3360%536»
		282	FUN%3360%533
		283	FUN%3360%533
		284	FUN%3360%534
		285	FUN%3360%534
		286	FUN%820%52»
		287	FUN%3360%535
		288	FUN%3360%535
289	MK-LET%dest_leq%~~600~~»	289	MK-LET%dest_leq%521»
290	FUN%1694%595»
291	FUN%1694%620»
292	FUN%~~7529~~%507»	290	FUN%6316%516»
		291	FUN%6316%541»
		292	FUN%4672%549»
293	MK-LET%term_of_int%~~621~~»	293	MK-LET%term_of_int%542»
294	FUN%~~1694~~%~~622~~»	294	FUN%6316%543»
295	MK-LET%num_CONV%394»	295	MK-LET%num_CONV%377»
296	FUN%4129%395»
297	FUN%~~690~~%137»	296	FUN%453%378»
		297	FUN%820%50»
298	MK-LETREF%MULT_LEQ_SUC%579»	298	MK-LETREF%MULT_LEQ_SUC%579»
		299	FUN%820%72»
		300	FUN%6000%116»
299	FUN%690%159»	301	FUN%6000%259»
		302	FUN%3360%534»
		303	FUN%5953%288»
		304	FUN%5953%291»
		305	FUN%3360%533»
300	FUN%2558%191»	306	FUN%5953%112»
		307	FUN%4672%578»
		308	FUN%3360%535»
301	FUN%2558%334»
302	FUN%6594%569»
303	FUN%6863%315»
304	FUN%6863%318»
305	FUN%6594%568»
306	FUN%6863%139»
307	FUN%7529%536»
308	FUN%6594%570»
309	MULT_LEQ_BY_CONST_QCONV»	309	MULT_LEQ_BY_CONST_QCONV»
310	FUN%6594%571
311	FUN%6594%571
312	FUN%6594%571»
313	FUN%6594%572
314	FUN%~~6594~~%572	310	FUN%3360%536
		311	FUN%3360%536
		312	FUN%3360%536»
		313	FUN%3360%537
		314	FUN%3360%537
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; 9365/11883 bytes (78.81%) of diff not shown.


Offset 205, 192 lines modified		Offset 205, 192 lines modified
205	.comment	205	.comment
206	.note.GNU-stack	206	.note.GNU-stack
207	.rel.debug_frame	207	.rel.debug_frame
208	.ARM.attributes	208	.ARM.attributes
209	COMMON-LISP-USER	209	COMMON-LISP-USER
210	SYSTEMSPUTPROP	210	SYSTEMSPUTPROP
211	COMMON-LISPQUOTE	211	COMMON-LISPQUOTE
212	FUN%7~~381~~%~~552~~	212	FUN%603%473
213	» CURRYBIND	213	» CURRYBIND
214	,SPUTPROP	214	,SPUTPROP
215	FUN%7~~381~~%~~553~~	215	FUN%603%474
216	» CURRYBIND	216	» CURRYBIND
217	,SPUTPROP	217	,SPUTPROP
218	FUN%7~~381~~%~~554~~	218	FUN%603%475
219	» CURRYBIND	219	» CURRYBIND
220	,SPUTPROP	220	,SPUTPROP
221	FUN%7~~381~~%~~555~~	221	FUN%603%476
222	» CURRYBIND	222	» CURRYBIND
223	,SPUTPROP	223	,SPUTPROP
224	FUN%7~~381~~%~~556~~	224	FUN%603%477
225	» CURRYBIND	225	» CURRYBIND
226	FUN%7~~381~~%~~555~~	226	FUN%603%476
227	,SPUTPROP	227	,SPUTPROP
228	FUN%7~~381~~%~~557~~	228	FUN%603%478
229	» CURRYBIND	229	» CURRYBIND
230	FUN%7381%552
231	FUN%7381%552
232	FUN%7381%553
233	FUN%7~~381~~%553	230	FUN%603%473
		231	FUN%603%473
		232	FUN%603%474
		233	FUN%603%474
234	$MK-LETREF%ZERO_LESS_EQ_ONE_TIMES%582»	234	$MK-LETREF%ZERO_LESS_EQ_ONE_TIMES%582»
235	MK-LET%mk_num_var%~~623~~»	235	MK-LET%mk_num_var%544»
236	FUN%1694%624»
237	FUN%690%159»
238	FUN%7381%554
239	FUN%7381%554
240	FUN%~~9458~~%~~139~~»	236	FUN%6316%545»
		237	FUN%820%72»
		238	FUN%603%475
		239	FUN%603%475
		240	FUN%5113%77»
241	#MK-LETREF%IMP_IMP_CONJ_IMP_CONV%592»	241	#MK-LETREF%IMP_IMP_CONJ_IMP_CONV%592»
242	FUN%6863%226»
243	FUN%7381%555
244	FUN%7381%555
245	FUN%7381%555»
246	FUN%7381%556
247	FUN%7381%~~556~~	242	FUN%5953%199»
		243	FUN%603%476
		244	FUN%603%476
		245	FUN%603%476»
		246	FUN%603%477
		247	FUN%603%477
248	EVALUATION»	248	EVALUATION»
249	MK-LETREC%conjuncts%281»	249	MK-LETREC%conjuncts%206»
250	FUN%~~2558~~%282»	250	FUN%6000%207»
251	MK-LET%coeffs_of_leq%505»	251	MK-LET%coeffs_of_leq%506»
252	FUN%2340%45»
253	FUN%7381%552»
254	FUN%2340%60»
255	FUN%~~7381~~%~~558~~	252	FUN%2794%99»
		253	FUN%603%473»
		254	FUN%2794%114»
		255	FUN%603%479
256	ML-FLAT»	256	ML-FLAT»
257	FUN%7381%559
258	FUN%2280%113»
259	FUN%7~~381~~%5~~53»~~	257	FUN%603%480
		258	FUN%6099%132»
		259	FUN%603%474»
260	MK-LETREC%VAR_ELIM%593»	260	MK-LETREC%VAR_ELIM%558»
261	FUN%6594%594»
262	FUN%7381%554»	261	FUN%3360%559»
		262	FUN%603%475»
263	MK-LET%PROVE_HYP%111»	263	MK-LET%PROVE_HYP%100»
264	FUN%~~2280~~%85»	264	FUN%6099%104»
265	FUN%~~1109~~%513»	265	FUN%7711%514»
266	FUN%~~9458~~%123»	266	FUN%5113%61»
267	MK-LET%LEQ_CONV%573»	267	MK-LET%LEQ_CONV%538»
268	MK-LETREC%last%124»	268	MK-LETREC%last%143»
269	FUN%2280%125»
270	FUN%~~7381~~%~~556~~»	269	FUN%6099%144»
		270	FUN%603%477»
271	MK-LETREC%butlast%126»	271	MK-LETREC%butlast%145»
272	FUN%~~2280~~%127»	272	FUN%6099%146»
273	MK-LETREF%IMP_F_EQ_F_CONV%591»	273	MK-LETREF%IMP_F_EQ_F_CONV%591»
274	INEQS_FALSE_CONV»	274	INEQS_FALSE_CONV»
275	FUN%7381%557
276	FUN%7381%557
277	FUN%7381%558
278	FUN%7381%558
279	FUN%7381%559
280	FUN%7~~381~~%~~559~~	275	FUN%603%478
		276	FUN%603%478
		277	FUN%603%479
		278	FUN%603%479
		279	FUN%603%480
		280	FUN%603%480
281	» MK-FUNTYP	281	» MK-FUNTYP
282	MK-TERMTYP	282	MK-TERMTYP
283	» MK-THMTYP»	283	» MK-THMTYP»
284	INEQS_FALSE_CONV	284	INEQS_FALSE_CONV
285	» MK-FUNTYP	285	» MK-FUNTYP
286	MK-TERMTYP	286	MK-TERMTYP
287	» MK-THMTYP»	287	» MK-THMTYP»
288	MK-LET%INEQS_FALSE_CONV%~~551~~»	288	MK-LET%INEQS_FALSE_CONV%472»
289	FUN%7~~381~~%~~557~~	289	FUN%603%478
290	,SPUTPROP	290	,SPUTPROP
291	FUN%7~~381~~%~~561~~	291	FUN%603%482
292	» CURRYBIND	292	» CURRYBIND
293	MK-LET%is_disj%198»	293	MK-LET%is_disj%123»
294	FUN%3~~992~~%165»	294	FUN%873%146»
295	MK-LETREF%OR_F_CONV%597»	295	MK-LETREF%OR_F_CONV%597»
296	FUN%7529%527»
297	FUN%7529%530»
298	FUN%7529%510»
299	FUN%~~7529~~%509»	296	FUN%4672%569»
		297	FUN%4672%572»
		298	FUN%4672%552»
		299	FUN%4672%551»
300	DISJ_INEQS_FALSE_QCONV»	300	DISJ_INEQS_FALSE_QCONV»
301	FUN%7529%501»
302	FUN%7381%561
303	FUN%~~7381~~%561	301	FUN%4672%543»
		302	FUN%603%482
Max diff block lines reached; 3702/6302 bytes (58.74%) 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%517	234	CONC%stream%508
235	-SPUTPROP	235	-SPUTPROP
236	CONC%stream%517	236	CONC%stream%508
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%517	241	CONC%stream%508
242	CONC%stream%517	242	CONC%stream%508
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%517	248	CONC%stream%508
249	CONC%stream%517	249	CONC%stream%508
250	CONC%stream%517»	250	CONC%stream%508»
251	MK-RECTYPE»	251	MK-RECTYPE»
252	-SPUTPROP	252	-SPUTPROP
253	FUN%~~947~~%520	253	FUN%5039%511
254	» CURRYBIND	254	» CURRYBIND
255	-SPUTPROP	255	-SPUTPROP
256	FUN%~~947~~%521	256	FUN%5039%512
257	» CURRYBIND	257	» CURRYBIND
258	FUN%~~947~~%520	258	FUN%5039%511
259	-SPUTPROP	259	-SPUTPROP
260	FUN%~~947~~%519	260	FUN%5039%510
261	» CURRYBIND	261	» CURRYBIND
262	FUN%947%521
263	FUN%~~947~~%521»	262	FUN%5039%512
		263	FUN%5039%512»
264	EVALUATION»	264	EVALUATION»
265	pattern»	265	pattern»
266	FUN%947%520
267	FUN%947%520
268	FUN%947%520»
269	FUN%947%521
270	FUN%947%521
271	FUN%947%519
272	FUN%~~947~~%519	266	FUN%5039%511
		267	FUN%5039%511
		268	FUN%5039%511»
		269	FUN%5039%512
		270	FUN%5039%512
		271	FUN%5039%510
		272	FUN%5039%510
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%517	278	CONC%stream%508
279	» MK-FUNTYP	279	» MK-FUNTYP
280	MK-NULLTYP	280	MK-NULLTYP
281	CONC%stream%517	281	CONC%stream%508
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%517	288	CONC%stream%508
289	» MK-FUNTYP	289	» MK-FUNTYP
290	MK-NULLTYP	290	MK-NULLTYP
291	CONC%stream%517	291	CONC%stream%508
292	» MK-LETREC»	292	» MK-LETREC»
293	MK-LETREC%stream_map%518»	293	MK-LETREC%stream_map%509»
294	FUN%~~947~~%519»	294	FUN%5039%510»
295	stream_map	295	stream_map
296	-SPUTPROP	296	-SPUTPROP
297	FUN%~~947~~%524	297	FUN%5039%515
298	» CURRYBIND	298	» CURRYBIND
299	-SPUTPROP	299	-SPUTPROP
300	FUN%~~947~~%525	300	FUN%5039%516
301	» CURRYBIND	301	» CURRYBIND
302	FUN%~~947~~%524	302	FUN%5039%515
303	-SPUTPROP	303	-SPUTPROP
304	FUN%~~947~~%523	304	FUN%5039%514
305	» CURRYBIND	305	» CURRYBIND
306	FUN%947%525
307	FUN%947%525»
308	FUN%947%524
309	FUN%947%524
310	FUN%947%524»
311	FUN%947%525
312	FUN%947%525
313	FUN%947%523
314	FUN%~~947~~%523	306	FUN%5039%516
		307	FUN%5039%516»
		308	FUN%5039%515
		309	FUN%5039%515
		310	FUN%5039%515»
		311	FUN%5039%516
		312	FUN%5039%516
		313	FUN%5039%514
		314	FUN%5039%514
315	» MK-FUNTYP»	315	» MK-FUNTYP»
316	» MK-FUNTYP	316	» MK-FUNTYP
317	MK-NULLTYP	317	MK-NULLTYP
318	CONC%stream%517	318	CONC%stream%508
319	» MK-FUNTYP»	319	» MK-FUNTYP»
320	» MK-FUNTYP	320	» MK-FUNTYP
321	MK-NULLTYP	321	MK-NULLTYP
322	CONC%stream%517	322	CONC%stream%508
323	» MK-FUNTYP	323	» MK-FUNTYP
324	MK-NULLTYP	324	MK-NULLTYP
325	CONC%stream%517	325	CONC%stream%508
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%517	330	CONC%stream%508
331	» MK-FUNTYP»	331	» MK-FUNTYP»
332	» MK-FUNTYP	332	» MK-FUNTYP
333	MK-NULLTYP	333	MK-NULLTYP
334	CONC%stream%517	334	CONC%stream%508
335	» MK-FUNTYP	335	» MK-FUNTYP
336	MK-NULLTYP	336	MK-NULLTYP
337	CONC%stream%517	337	CONC%stream%508
338	MK-LETREC%stream_append%522»	338	MK-LETREC%stream_append%513»
Max diff block lines reached; 2643/4975 bytes (53.13%) of diff not shown.


Offset 166, 47 lines modified		Offset 166, 47 lines modified
166	.comment	166	.comment
167	.note.GNU-stack	167	.note.GNU-stack
168	.rel.debug_frame	168	.rel.debug_frame
169	.ARM.attributes	169	.ARM.attributes
170	COMMON-LISP-USER	170	COMMON-LISP-USER
171	SYSTEMSPUTPROP	171	SYSTEMSPUTPROP
172	COMMON-LISPQUOTE	172	COMMON-LISPQUOTE
173	FUN%~~4357~~%529	173	FUN%3608%479
174	» CURRYBIND	174	» CURRYBIND
175	,SPUTPROP	175	,SPUTPROP
176	FUN%~~4357~~%528	176	FUN%3608%478
177	» CURRYBIND	177	» CURRYBIND
178	FUN%~~4357~~%529	178	FUN%3608%479
179	,SPUTPROP	179	,SPUTPROP
180	FUN%~~4357~~%530	180	FUN%3608%480
181	» CURRYBIND	181	» CURRYBIND
182	,SPUTPROP	182	,SPUTPROP
183	FUN%~~4357~~%531	183	FUN%3608%481
184	» CURRYBIND	184	» CURRYBIND
185	FUN%~~4357~~%530	185	FUN%3608%480
186	ML-ASCII_CODE»	186	ML-ASCII_CODE»
187	FUN%4357%529
188	FUN%4357%529
189	FUN%4357%529»
190	FUN%4357%528
191	FUN%4357%528
192	FUN%43~~57%528»~~	187	FUN%3608%479
		188	FUN%3608%479
		189	FUN%3608%479»
		190	FUN%3608%478
		191	FUN%3608%478
		192	FUN%3608%478»
193	ML-EXPLODE»	193	ML-EXPLODE»
194	FUN%4357%530
195	FUN%4357%530
196	FUN%4357%530»
197	FUN%4357%531
198	FUN%~~4357~~%~~531~~	194	FUN%3608%480
		195	FUN%3608%480
		196	FUN%3608%480»
		197	FUN%3608%481
		198	FUN%3608%481
199	» MK-FUNTYP	199	» MK-FUNTYP
200	» MK-TOKTYP»	200	» MK-TOKTYP»
201	» MK-FUNTYP	201	» MK-FUNTYP
202	» MK-TOKTYP	202	» MK-TOKTYP
203	MK-BOOLTYP»	203	MK-BOOLTYP»
204	string_less	204	string_less
205	» MK-FUNTYP	205	» MK-FUNTYP
206	» MK-TOKTYP»	206	» MK-TOKTYP»
207	» MK-FUNTYP	207	» MK-FUNTYP
208	» MK-TOKTYP	208	» MK-TOKTYP
209	MK-BOOLTYP»	209	MK-BOOLTYP»
210	MK-LET%string_less%527»	210	MK-LET%string_less%477»
211	string_less»	211	string_less»
212	FUN%~~4357~~%531	212	FUN%3608%481


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%7~~167~~%538	204	FUN%7899%569
205	» CURRYBIND	205	» CURRYBIND
206	EVALUATION»	206	EVALUATION»
207	ML-DEST_ABS»	207	ML-DEST_ABS»
208	FUN%2558%298»
209	FUN%2340%43»
210	FUN%7167%539
211	FUN%3992%121»
212	FUN%7167%540
213	FUN%~~3992~~%~~169~~»	208	FUN%6000%223»
		209	FUN%2794%97»
		210	FUN%7899%570
		211	FUN%873%102»
		212	FUN%7899%571
		213	FUN%873%150»
214	MK-LET%I%132»	214	MK-LET%I%113»
215	FUN%3~~992~~%127»	215	FUN%873%108»
216	» ML-MK_ABS»	216	» ML-MK_ABS»
217	MK-LET%COND_ABS%188»	217	MK-LET%COND_ABS%177»
218	ML-TYPE_OF»	218	ML-TYPE_OF»
219	Q-MK_VARTYPE»	219	Q-MK_VARTYPE»
220	FUN%9458%136»
221	FUN%690%162»
222	FUN%~~2256~~%156»	220	FUN%5113%74»
		221	FUN%820%75»
		222	FUN%4362%145»
223	MK-LET%BETA_CONV%130»	223	MK-LET%BETA_CONV%68»
224	FUN%6863%315»
225	FUN%6863%318»
226	FUN%6863%140»
227	FUN%6863%321»
228	FUN%~~686~~3%226»	224	FUN%5953%288»
		225	FUN%5953%291»
		226	FUN%5953%113»
		227	FUN%5953%294»
		228	FUN%5953%199»
229	COND_ABS_CONV»	229	COND_ABS_CONV»
230	FUN%7167%538
231	FUN%7167%538
232	FUN%7167%539
233	FUN%7~~167~~%539	230	FUN%7899%569
		231	FUN%7899%569
		232	FUN%7899%570
		233	FUN%7899%570
234	FREEVARS»	234	FREEVARS»
235	FUN%7167%540
236	FUN%7~~167~~%540	235	FUN%7899%571
		236	FUN%7899%571
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%537»	244	MK-LET%COND_ABS_CONV%568»
245	FUN%7~~167~~%538	245	FUN%7899%569
246	,SPUTPROP	246	,SPUTPROP
247	FUN%7~~167~~%542	247	FUN%7899%573
248	» CURRYBIND	248	» CURRYBIND
249	,SPUTPROP	249	,SPUTPROP
250	FUN%7~~167~~%543	250	FUN%7899%574
251	» CURRYBIND	251	» CURRYBIND
252	,SPUTPROP	252	,SPUTPROP
253	FUN%7~~167~~%544	253	FUN%7899%575
254	» CURRYBIND	254	» CURRYBIND
255	FUN%2558%340»
256	FUN%7167%542»
257	FUN%7167%542
258	FUN%~~7167~~%~~542~~	255	FUN%6000%265»
		256	FUN%7899%573»
		257	FUN%7899%573
		258	FUN%7899%573
259	ML-DEST_CONST»	259	ML-DEST_CONST»
260	·MK-LETREF%NUM_COND_RAND_CONV%626»	260	·MK-LETREF%NUM_COND_RAND_CONV%626»
261	FUN%7167%543
262	FUN%7167%543
263	FUN%7~~167~~%543»	261	FUN%7899%574
		262	FUN%7899%574
		263	FUN%7899%574»
264	!MK-LETREF%NUM_COND_RATOR_CONV%625»	264	!MK-LETREF%NUM_COND_RATOR_CONV%625»
265	MK-LETREF%COND_EXPAND_CONV%630»	265	MK-LETREF%COND_EXPAND_CONV%630»
266	MK-LETREF%SUB_NORM_CONV%627»	266	MK-LETREF%SUB_NORM_CONV%627»
267	FUN%6863%144»
268	FUN%6863%208»
269	FUN%7167%544
270	FUN%~~7167~~%~~544~~	267	FUN%5953%117»
		268	FUN%5953%181»
		269	FUN%7899%575
		270	FUN%7899%575
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%541»	278	!MK-LET%SUB_AND_COND_ELIM_CONV%572»
279	FUN%7~~167~~%544»	279	FUN%7899%575»
280	SUB_AND_COND_ELIM_CONV	280	SUB_AND_COND_ELIM_CONV
281	,SPUTPROP	281	,SPUTPROP
282	FUN%7~~167~~%546	282	FUN%7899%577
283	» CURRYBIND	283	» CURRYBIND
284	,SPUTPROP	284	,SPUTPROP
285	FUN%7~~167~~%547	285	FUN%7899%578
286	» CURRYBIND	286	» CURRYBIND
287	,SPUTPROP	287	,SPUTPROP
288	FUN%7~~167~~%548	288	FUN%7899%579
289	» CURRYBIND	289	» CURRYBIND
290	FUN%7167%546»
291	FUN%7167%546
292	FUN%7~~167~~%546	290	FUN%7899%577»
		291	FUN%7899%577
		292	FUN%7899%577
293	MK-LETREF%COND_RAND_CONV%629»	293	MK-LETREF%COND_RAND_CONV%629»
294	FUN%7167%547
295	FUN%7167%547
296	FUN%7~~167~~%547»	294	FUN%7899%578
		295	FUN%7899%578
		296	FUN%7899%578»
Max diff block lines reached; 248/2653 bytes (9.35%) of diff not shown.


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


Offset 214, 23 lines modified		Offset 214, 23 lines modified
214	.comment	214	.comment
215	.note.GNU-stack	215	.note.GNU-stack
216	.rel.debug_frame	216	.rel.debug_frame
217	.ARM.attributes	217	.ARM.attributes
218	COMMON-LISP-USER	218	COMMON-LISP-USER
219	SYSTEMSPUTPROP	219	SYSTEMSPUTPROP
220	COMMON-LISPQUOTE	220	COMMON-LISPQUOTE
221	FUN%~~1109~~%480	221	FUN%7711%481
222	» CURRYBIND	222	» CURRYBIND
223	,SPUTPROP	223	,SPUTPROP
224	FUN%~~1109~~%481	224	FUN%7711%482
225	» CURRYBIND	225	» CURRYBIND
226	FUN%1109%480
227	FUN%1109%480
228	FUN%~~1109~~%481	226	FUN%7711%481
229	FUN%~~1109~~%481	227	FUN%7711%481
		228	FUN%7711%482
		229	FUN%7711%482
230	» MK-FUNTYP»	230	» MK-FUNTYP»
231	MK-PRODTYP	231	MK-PRODTYP
232	» MK-INTTYP	232	» MK-INTTYP
233	» MK-LISTYP»	233	» MK-LISTYP»
234	MK-PRODTYP	234	MK-PRODTYP
235	» MK-INTTYP»	235	» MK-INTTYP»
236	MK-PRODTYP	236	MK-PRODTYP
Offset 246, 47 lines modified		Offset 246, 47 lines modified
246	MK-PRODTYP	246	MK-PRODTYP
247	» MK-INTTYP»	247	» MK-INTTYP»
248	MK-PRODTYP	248	MK-PRODTYP
249	» MK-INTTYP	249	» MK-INTTYP
250	» MK-LISTYP»	250	» MK-LISTYP»
251	MK-PRODTYP	251	MK-PRODTYP
252	» MK-INTTYP»	252	» MK-INTTYP»
253	MK-LET%negate_coeffs%479»	253	MK-LET%negate_coeffs%480»
254	FUN%~~1109~~%480»	254	FUN%7711%481»
255	MK-LET%I%132»	255	MK-LET%I%113»
256	FUN%~~1109~~%481»	256	FUN%7711%482»
257	FUN%3992%128»
258	FUN%~~2340%46~~»	257	FUN%873%109»
		258	FUN%2794%100»
259	negate_coeffs	259	negate_coeffs
260	,SPUTPROP	260	,SPUTPROP
261	FUN%~~1109~~%484	261	FUN%7711%485
262	» CURRYBIND	262	» CURRYBIND
263	,SPUTPROP	263	,SPUTPROP
264	FUN%~~1109~~%483	264	FUN%7711%484
265	» CURRYBIND	265	» CURRYBIND
266	FUN%~~1109~~%484	266	FUN%7711%485
267	,SPUTPROP	267	,SPUTPROP
268	FUN%~~1109~~%485	268	FUN%7711%486
269	» CURRYBIND	269	» CURRYBIND
270	,SPUTPROP	270	,SPUTPROP
271	FUN%~~1109~~%486	271	FUN%7711%487
272	» CURRYBIND	272	» CURRYBIND
273	FUN%~~1109~~%485	273	FUN%7711%486
274	FUN%1109%484»
275	FUN%4357%530»
276	FUN%1109%484
277	FUN%1109%484
278	FUN%1109%483
279	FUN%1109%483
280	FUN%1109%483»
281	FUN%1109%485
282	FUN%1109%485
283	FUN%~~1109~~%485»	274	FUN%7711%485»
		275	FUN%3608%480»
		276	FUN%7711%485
		277	FUN%7711%485
		278	FUN%7711%484
		279	FUN%7711%484
		280	FUN%7711%484»
284	FUN%~~1109~~%486	281	FUN%7711%486
285	FUN%~~1109~~%486	282	FUN%7711%486
		283	FUN%7711%486»
		284	FUN%7711%487
		285	FUN%7711%487
286	» MK-FUNTYP»	286	» MK-FUNTYP»
287	MK-PRODTYP	287	MK-PRODTYP
288	» MK-INTTYP	288	» MK-INTTYP
289	» MK-LISTYP»	289	» MK-LISTYP»
290	MK-PRODTYP	290	MK-PRODTYP
291	» MK-TOKTYP	291	» MK-TOKTYP
292	» MK-INTTYP»	292	» MK-INTTYP»
Offset 320, 28 lines modified		Offset 320, 28 lines modified
320	» MK-INTTYP»	320	» MK-INTTYP»
321	MK-PRODTYP	321	MK-PRODTYP
322	» MK-INTTYP	322	» MK-INTTYP
323	» MK-LISTYP»	323	» MK-LISTYP»
324	MK-PRODTYP	324	MK-PRODTYP
325	» MK-TOKTYP	325	» MK-TOKTYP
326	» MK-INTTYP»	326	» MK-INTTYP»
327	MK-LET%merge_coeffs%482»	327	MK-LET%merge_coeffs%483»
328	merge_coeffs»	328	merge_coeffs»
329	FUN%~~1109~~%486	329	FUN%7711%487
330	,SPUTPROP	330	,SPUTPROP
331	FUN%~~1109~~%488	331	FUN%7711%489
332	» CURRYBIND	332	» CURRYBIND
333	,SPUTPROP	333	,SPUTPROP
334	FUN%~~1109~~%489	334	FUN%7711%490
335	» CURRYBIND	335	» CURRYBIND
336	FUN%~~1109~~%488	336	FUN%7711%489
337	FUN%~~1109~~%488	337	FUN%7711%489
338	EVALUATION»	338	EVALUATION»
339	FUN%~~1109~~%489	339	FUN%7711%490
340	FUN%~~1109~~%489	340	FUN%7711%490
341	» MK-FUNTYP»	341	» MK-FUNTYP»
342	MK-PRODTYP	342	MK-PRODTYP
343	» MK-INTTYP	343	» MK-INTTYP
344	» MK-LISTYP»	344	» MK-LISTYP»
345	MK-PRODTYP	345	MK-PRODTYP
346	» MK-INTTYP»	346	» MK-INTTYP»
347	MK-PRODTYP	347	MK-PRODTYP
Offset 357, 29 lines modified		Offset 357, 29 lines modified
357	MK-PRODTYP	357	MK-PRODTYP
358	» MK-INTTYP»	358	» MK-INTTYP»
359	MK-PRODTYP	359	MK-PRODTYP
360	» MK-INTTYP	360	» MK-INTTYP
361	» MK-LISTYP»	361	» MK-LISTYP»
362	MK-PRODTYP	362	MK-PRODTYP
363	» MK-INTTYP»	363	» MK-INTTYP»
364	MK-LET%lhs_coeffs%487»	364	MK-LET%lhs_coeffs%488»
365	FUN%1109%488»
366	FUN%~~1109~~%489»	365	FUN%7711%489»
367	FUN%~~2340~~%64»	366	FUN%7711%490»
		367	FUN%2794%118»
368	lhs_coeffs	368	lhs_coeffs
369	,SPUTPROP	369	,SPUTPROP
Max diff block lines reached; 5113/7383 bytes (69.25%) of diff not shown.


Offset 213, 184 lines modified		Offset 213, 184 lines modified
213	.comment	213	.comment
214	.note.GNU-stack	214	.note.GNU-stack
215	.rel.debug_frame	215	.rel.debug_frame
216	.ARM.attributes	216	.ARM.attributes
217	COMMON-LISP-USER	217	COMMON-LISP-USER
218	SYSTEMSPUTPROP	218	SYSTEMSPUTPROP
219	COMMON-LISPQUOTE	219	COMMON-LISPQUOTE
220	FUN%~~7815~~%~~486~~	220	FUN%2270%540
221	» CURRYBIND	221	» CURRYBIND
222	,SPUTPROP	222	,SPUTPROP
223	FUN%~~7815~~%~~487~~	223	FUN%2270%541
224	» CURRYBIND	224	» CURRYBIND
225	,SPUTPROP	225	,SPUTPROP
226	FUN%~~7815~~%~~489~~	226	FUN%2270%543
227	» CURRYBIND	227	» CURRYBIND
228	,SPUTPROP	228	,SPUTPROP
229	FUN%~~7815~~%~~490~~	229	FUN%2270%544
230	» CURRYBIND	230	» CURRYBIND
231	FUN%~~7815~~%~~489~~	231	FUN%2270%543
232	,SPUTPROP	232	,SPUTPROP
233	FUN%~~7815~~%~~491~~	233	FUN%2270%545
234	» CURRYBIND	234	» CURRYBIND
235	FUN%~~7815~~%~~490~~	235	FUN%2270%544
236	,SPUTPROP	236	,SPUTPROP
237	FUN%~~7815~~%~~488~~	237	FUN%2270%542
238	» CURRYBIND	238	» CURRYBIND
239	FUN%~~7815~~%~~491~~	239	FUN%2270%545
240	,SPUTPROP	240	,SPUTPROP
241	FUN%~~7815~~%~~492~~	241	FUN%2270%546
242	» CURRYBIND	242	» CURRYBIND
243	,SPUTPROP	243	,SPUTPROP
244	FUN%~~7815~~%~~493~~	244	FUN%2270%547
245	» CURRYBIND	245	» CURRYBIND
246	FUN%~~7815~~%~~492~~	246	FUN%2270%546
247	ML-DEST_CONST»	247	ML-DEST_CONST»
248	FUN%7815%486
249	FUN%7815%486
250	FUN%7815%486»
251	FUN%3992%169»
252	FUN%7815%487
253	FUN%~~7815~~%~~487~~	248	FUN%2270%540
		249	FUN%2270%540
		250	FUN%2270%540»
		251	FUN%873%150»
		252	FUN%2270%541
		253	FUN%2270%541
254	EVALUATION»	254	EVALUATION»
255	FUN%~~2558~~%280»	255	FUN%6000%205»
256	MK-LET%I%132»	256	MK-LET%I%113»
257	FUN%3~~992~~%127»	257	FUN%873%108»
258	pattern»	258	pattern»
		259	FUN%820%72»
259	FUN%690%159»
260	FUN%2558%191»
261	FUN%2558%341»
262	FUN%2558%209»
263	FUN%2256%158»
264	FUN%690%264»
265	FUN%690%137»
266	FUN%690%151»	260	FUN%6000%116»
		261	FUN%6000%266»
		262	FUN%6000%134»
		263	FUN%4362%147»
		264	FUN%820%177»
		265	FUN%820%50»
		266	FUN%820%64»
267	MK-LET%EQT_INTRO%164»	267	MK-LET%EQT_INTRO%77»
		268	FUN%820%78»
268	FUN%690%165»	269	FUN%6000%67»
		270	FUN%820%70»
		271	FUN%2270%543»
		272	FUN%4362%138»
		273	FUN%820%225»
		274	FUN%820%52»
		275	FUN%5113%63»
		276	FUN%2270%543
		277	FUN%2270%543
		278	FUN%2270%544
		279	FUN%2270%544
		280	FUN%2270%544»
		281	FUN%2270%545
		282	FUN%2270%545
		283	FUN%2270%545»
		284	FUN%2270%542
		285	FUN%2270%542
		286	FUN%820%237»
269	FUN%2558%142»
270	FUN%690%157»
271	FUN%7815%489»
272	FUN%2256%149»
273	FUN%690%312»
274	FUN%690%139»
275	FUN%9458%125»
276	FUN%7815%489
277	FUN%7815%489
278	FUN%7815%490
279	FUN%7815%490
280	FUN%7815%490»
281	FUN%7815%491
282	FUN%7815%491
283	FUN%7815%491»
284	FUN%7815%488
285	FUN%7815%488
286	FUN%690%324»
287	IN_CONV»	287	IN_CONV»
288	FUN%7815%492
289	FUN%7815%492
290	FUN%7815%492»
291	FUN%7815%493
292	FUN%~~7815~~%~~493~~	288	FUN%2270%546
		289	FUN%2270%546
		290	FUN%2270%546»
		291	FUN%2270%547
		292	FUN%2270%547
293	» MK-FUNTYP»	293	» MK-FUNTYP»
294	» MK-FUNTYP	294	» MK-FUNTYP
295	MK-TERMTYP	295	MK-TERMTYP
296	» MK-THMTYP»	296	» MK-THMTYP»
297	» MK-FUNTYP	297	» MK-FUNTYP
298	MK-TERMTYP	298	MK-TERMTYP
299	» MK-THMTYP»	299	» MK-THMTYP»
300	» MK-FUNTYP»	300	» MK-FUNTYP»
301	» MK-FUNTYP	301	» MK-FUNTYP
302	MK-TERMTYP	302	MK-TERMTYP
303	» MK-THMTYP»	303	» MK-THMTYP»
304	» MK-FUNTYP	304	» MK-FUNTYP
305	MK-TERMTYP	305	MK-TERMTYP
Max diff block lines reached; 7901/9986 bytes (79.12%) of diff not shown.


Offset 199, 90 lines modified		Offset 199, 90 lines modified
199	.comment	199	.comment
200	.note.GNU-stack	200	.note.GNU-stack
201	.rel.debug_frame	201	.rel.debug_frame
202	.ARM.attributes	202	.ARM.attributes
203	COMMON-LISP-USER	203	COMMON-LISP-USER
204	SYSTEMSPUTPROP	204	SYSTEMSPUTPROP
205	COMMON-LISPQUOTE	205	COMMON-LISPQUOTE
206	FUN%~~613~~1%~~502~~	206	FUN%8311%481
207	» CURRYBIND	207	» CURRYBIND
208	,SPUTPROP	208	,SPUTPROP
209	FUN%~~613~~1%~~503~~	209	FUN%8311%482
210	» CURRYBIND	210	» CURRYBIND
211	,SPUTPROP	211	,SPUTPROP
212	FUN%~~613~~1%~~504~~	212	FUN%8311%483
213	» CURRYBIND	213	» CURRYBIND
214	,SPUTPROP	214	,SPUTPROP
215	FUN%~~613~~1%~~505~~	215	FUN%8311%484
216	» CURRYBIND	216	» CURRYBIND
217	FUN%~~613~~1%~~504~~	217	FUN%8311%483
218	,SPUTPROP	218	,SPUTPROP
219	FUN%~~613~~1%~~506~~	219	FUN%8311%485
220	» CURRYBIND	220	» CURRYBIND
221	,SPUTPROP	221	,SPUTPROP
222	FUN%~~613~~1%~~507~~	222	FUN%8311%486
223	» CURRYBIND	223	» CURRYBIND
224	,SPUTPROP	224	,SPUTPROP
225	FUN%~~613~~1%~~508~~	225	FUN%8311%487
226	» CURRYBIND	226	» CURRYBIND
227	ML-TYPE_OF»	227	ML-TYPE_OF»
228	ML-DEST_TYPE»	228	ML-DEST_TYPE»
229	FUN%6131%502
230	FUN%~~613~~1%~~502~~	229	FUN%8311%481
		230	FUN%8311%481
231	ML-MK_COMB»	231	ML-MK_COMB»
232	FUN%690%146»
233	FUN%6131%503
234	FUN%6131%503
235	FUN%690%145»
236	FUN%2256%149»
237	FUN%6131%504
238	FUN%6131%504
239	FUN%6131%504»
240	FUN%6131%505
241	FUN%6~~131~~%505	232	FUN%820%59»
		233	FUN%8311%482
		234	FUN%8311%482
		235	FUN%820%58»
		236	FUN%4362%138»
		237	FUN%8311%483
		238	FUN%8311%483
		239	FUN%8311%483»
		240	FUN%8311%484
		241	FUN%8311%484
242	MK-LET%I%132»	242	MK-LET%I%113»
243	FUN%3992%128»
244	FUN%3992%127»
245	FUN%9~~458~~%131»	243	FUN%873%109»
		244	FUN%873%108»
		245	FUN%5113%69»
246	MK-LET%FORALL_EQ%199»	246	MK-LET%FORALL_EQ%112»
247	FUN%690%202»
248	FUN%6131%506
249	FUN%~~613~~1%506	247	FUN%820%115»
		248	FUN%8311%485
		249	FUN%8311%485
250	MK-LET%dest_conj%156»	250	MK-LET%dest_conj%81»
251	FUN%2558%158»
252	FUN%6131%507
253	FUN%6~~131~~%~~507~~	251	FUN%6000%83»
		252	FUN%8311%486
		253	FUN%8311%486
254	EVALUATION»	254	EVALUATION»
255	MK-LET%dest_forall%147»	255	MK-LET%dest_forall%72»
256	FUN%2558%149»
257	FUN%~~3992~~%169»	256	FUN%6000%74»
		257	FUN%873%150»
258	pattern»	258	pattern»
259	Q-MK_VARTYPE»	259	Q-MK_VARTYPE»
260	FUN%~~9458~~%136»	260	FUN%5113%74»
261	» ML-GENVAR»	261	» ML-GENVAR»
262	FUN%~~2558~~%~~211~~»	262	FUN%6000%136»
263	» ML-MK_ABS»	263	» ML-MK_ABS»
264	FUN%690%159»
265	FUN%690%287»	264	FUN%820%72»
		265	FUN%820%200»
266	MK-LET%BETA_CONV%130»	266	MK-LET%BETA_CONV%68»
267	FUN%6863%226»
268	FUN%690%167»
269	FUN%2558%190»	267	FUN%5953%199»
270	FUN%9458%139»
271	FUN%6863%315»
272	FUN%6863%318»	268	FUN%820%80»
		269	FUN%6000%115»
		270	FUN%5113%77»
		271	FUN%5953%288»
		272	FUN%5953%291»
273	MK-LET%ALL_TAC%127»	273	MK-LET%ALL_TAC%95»
274	MK-LET%CONJ_TAC%115»	274	MK-LET%CONJ_TAC%135»
275	MK-LET%MATCH_MP_TAC%106»	275	MK-LET%MATCH_MP_TAC%101»
276	FUN%1616%111»
277	FUN%9544%108»
278	FUN%~~9544~~%113»	276	FUN%6828%106»
		277	FUN%2829%76»
		278	FUN%2829%81»
279	SET_INDUCT_TAC»	279	SET_INDUCT_TAC»
280	FUN%6131%508
281	FUN%~~613~~1%~~508~~	280	FUN%8311%487
		281	FUN%8311%487
282	» MK-FUNTYP»	282	» MK-FUNTYP»
283	MK-PRODTYP	283	MK-PRODTYP
284	» MK-LISTYP	284	» MK-LISTYP
285	MK-TERMTYP	285	MK-TERMTYP
286	MK-TERMTYP»	286	MK-TERMTYP»
287	MK-PRODTYP	287	MK-PRODTYP
288	» MK-LISTYP»	288	» MK-LISTYP»
Offset 306, 23 lines modified		Offset 306, 23 lines modified
306	» MK-LISTYP	306	» MK-LISTYP
307	MK-TERMTYP	307	MK-TERMTYP
308	MK-TERMTYP»	308	MK-TERMTYP»
309	» MK-FUNTYP	309	» MK-FUNTYP
310	» MK-LISTYP	310	» MK-LISTYP
311	» MK-THMTYP	311	» MK-THMTYP
312	» MK-THMTYP»	312	» MK-THMTYP»
313	MK-LET%SET_INDUCT_TAC%~~501~~»	313	MK-LET%SET_INDUCT_TAC%480»
314	SET_INDUCT»	314	SET_INDUCT»
315	finite_sets»	315	finite_sets»
316	FUN%2946%104»
Max diff block lines reached; 321/2742 bytes (11.71%) of diff not shown.


Offset 217, 97 lines modified		Offset 217, 97 lines modified
217	.rel.debug_frame	217	.rel.debug_frame
218	.ARM.attributes	218	.ARM.attributes
219	COMMON-LISP-USER	219	COMMON-LISP-USER
220	COMMON-LISPQUOTE	220	COMMON-LISPQUOTE
221	MK-BEGIN	221	MK-BEGIN
222	prove_inductive_relation_exists	222	prove_inductive_relation_exists
223	SYSTEMSPUTPROP	223	SYSTEMSPUTPROP
224	FUN%3~~948~~%519	224	FUN%3757%527
225	» CURRYBIND	225	» CURRYBIND
226	-SPUTPROP	226	-SPUTPROP
227	FUN%3~~948~~%520	227	FUN%3757%528
228	» CURRYBIND	228	» CURRYBIND
229	FUN%3~~948~~%519	229	FUN%3757%527
230	-SPUTPROP	230	-SPUTPROP
231	FUN%3~~948~~%521	231	FUN%3757%529
232	» CURRYBIND	232	» CURRYBIND
233	ML-TYPE_OF»	233	ML-TYPE_OF»
234	» Q-MK_TYPE»	234	» Q-MK_TYPE»
235	FUN%3948%519
236	FUN%3948%519
237	FUN%3948%519»
238	FUN%3948%520
239	FUN%3~~948~~%520	235	FUN%3757%527
		236	FUN%3757%527
		237	FUN%3757%527»
		238	FUN%3757%528
		239	FUN%3757%528
240	EVALUATION»	240	EVALUATION»
241	FUN%~~2280~~%85»	241	FUN%6099%104»
242	MK_REALVAR»	242	MK_REALVAR»
243	FUN%3948%521
244	FUN%3~~948~~%521	243	FUN%3757%529
		244	FUN%3757%529
245	» MK-FUNTYP	245	» MK-FUNTYP
246	» MK-LISTYP	246	» MK-LISTYP
247	MK-TERMTYP	247	MK-TERMTYP
248	MK-TERMTYP»	248	MK-TERMTYP»
249	mk_predv	249	mk_predv
250	» MK-FUNTYP	250	» MK-FUNTYP
251	» MK-LISTYP	251	» MK-LISTYP
252	MK-TERMTYP	252	MK-TERMTYP
253	MK-TERMTYP»	253	MK-TERMTYP»
254	MK-LET%mk_predv%518»	254	MK-LET%mk_predv%526»
255	FUN%3948%520»
256	FUN%3~~948~~%521»	255	FUN%3757%528»
		256	FUN%3757%529»
257	mk_predv	257	mk_predv
258	-SPUTPROP	258	-SPUTPROP
259	FUN%3~~948~~%524	259	FUN%3757%532
260	» CURRYBIND	260	» CURRYBIND
261	-SPUTPROP	261	-SPUTPROP
262	FUN%3~~948~~%525	262	FUN%3757%533
263	» CURRYBIND	263	» CURRYBIND
264	-SPUTPROP	264	-SPUTPROP
265	FUN%3~~948~~%526	265	FUN%3757%534
266	» CURRYBIND	266	» CURRYBIND
267	-SPUTPROP	267	-SPUTPROP
268	FUN%3~~948~~%523	268	FUN%3757%531
269	» CURRYBIND	269	» CURRYBIND
270	FUN%3~~948~~%526	270	FUN%3757%534
271	-SPUTPROP	271	-SPUTPROP
272	FUN%3~~948~~%527	272	FUN%3757%535
273	» CURRYBIND	273	» CURRYBIND
274	-SPUTPROP	274	-SPUTPROP
275	FUN%3~~948~~%528	275	FUN%3757%536
276	» CURRYBIND	276	» CURRYBIND
277	-SPUTPROP	277	-SPUTPROP
278	FUN%3~~948~~%529	278	FUN%3757%537
279	» CURRYBIND	279	» CURRYBIND
280	FUN%3~~948~~%528	280	FUN%3757%536
281	pattern»	281	pattern»
282	FUN%3948%524
283	FUN%3948%524
284	FUN%3948%525
285	FUN%3948%525
286	FUN%3948%530
287	FUN%3992%169»
288	FUN%3948%526»
289	FUN%2340%42»
290	FUN%3948%524»
291	FUN%3948%525»
292	FUN%3948%526
293	FUN%3948%526
294	FUN%3948%523
295	FUN%3~~948~~%523	282	FUN%3757%532
		283	FUN%3757%532
		284	FUN%3757%533
		285	FUN%3757%533
		286	FUN%3757%538
		287	FUN%873%150»
		288	FUN%3757%534»
		289	FUN%2794%96»
		290	FUN%3757%532»
		291	FUN%3757%533»
		292	FUN%3757%534
		293	FUN%3757%534
		294	FUN%3757%531
		295	FUN%3757%531
296	ill-formed·membership·assertion»	296	ill-formed·membership·assertion»
297	FUN%3948%527
298	FUN%3948%527
299	FUN%3948%527»
300	FUN%3948%528
301	FUN%3948%528
302	FUN%3948%528»
303	FUN%3948%529
304	FUN%3948%529
305	FUN%3948%530
306	FUN%3~~948~~%530	297	FUN%3757%535
		298	FUN%3757%535
		299	FUN%3757%535»
		300	FUN%3757%536
		301	FUN%3757%536
		302	FUN%3757%536»
		303	FUN%3757%537
		304	FUN%3757%537
		305	FUN%3757%538
		306	FUN%3757%538
307	» MK-FUNTYP	307	» MK-FUNTYP
308	» MK-LISTYP	308	» MK-LISTYP
309	» MK-FUNTYP	309	» MK-FUNTYP
310	» MK-LISTYP	310	» MK-LISTYP
311	» MK-FUNTYP	311	» MK-FUNTYP
312	» MK-LISTYP	312	» MK-LISTYP
313	» MK-LISTYP	313	» MK-LISTYP
Offset 315, 127 lines modified		Offset 315, 127 lines modified
315	» MK-FUNTYP	315	» MK-FUNTYP
Max diff block lines reached; 47505/49600 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%3~~992~~%111»	169	FUN%873%92»
170	» print_lib»	170	» print_lib»
171	ML-GET_FLAG_VALUE»	171	ML-GET_FLAG_VALUE»
172	FUN%2~~340~~%72	172	FUN%2794%126


Offset 191, 160 lines modified		Offset 191, 160 lines modified
191	» MK-TOKTYP	191	» MK-TOKTYP
192	» MK-TOKTYP»	192	» MK-TOKTYP»
193	» spec_list	193	» spec_list
194	» MK-LISTYP»	194	» MK-LISTYP»
195	MK-PRODTYP	195	MK-PRODTYP
196	» MK-TOKTYP	196	» MK-TOKTYP
197	» MK-TOKTYP»	197	» MK-TOKTYP»
198	MK-LET%spec_list%519»	198	MK-LET%spec_list%532»
199	» spec_list»	199	» spec_list»
200	-SPUTPROP	200	-SPUTPROP
201	FUN%~~1249~~%521	201	FUN%3463%534
202	» CURRYBIND	202	» CURRYBIND
203	-SPUTPROP	203	-SPUTPROP
204	FUN%~~1249~~%522	204	FUN%3463%535
205	» CURRYBIND	205	» CURRYBIND
206	MK-LETREC%split%114»	206	MK-LETREC%split%133»
207	FUN%2280%115»
208	FUN%2340%42»
209	FUN%1249%521
210	FUN%1249%521
211	FUN%1249%521»
212	FUN%2280%93»
213	FUN%1249%522
214	FUN%~~124~~9%~~522~~	207	FUN%6099%134»
		208	FUN%2794%96»
		209	FUN%3463%534
		210	FUN%3463%534
		211	FUN%3463%534»
		212	FUN%6099%112»
		213	FUN%3463%535
		214	FUN%3463%535
215	» MK-FUNTYP	215	» MK-FUNTYP
216	» MK-TOKTYP	216	» MK-TOKTYP
217	» MK-TOKTYP»	217	» MK-TOKTYP»
218	» MK-FUNTYP	218	» MK-FUNTYP
219	» MK-TOKTYP	219	» MK-TOKTYP
220	» MK-TOKTYP»	220	» MK-TOKTYP»
221	MK-LET%do_char%520»	221	MK-LET%do_char%533»
222	do_char»	222	do_char»
223	FUN%~~1249~~%522	223	FUN%3463%535
224	-SPUTPROP	224	-SPUTPROP
225	FUN%~~1249~~%524	225	FUN%3463%537
226	» CURRYBIND	226	» CURRYBIND
227	ML-EXPLODE»	227	ML-EXPLODE»
228	FUN%2340%45»
229	FUN%3992%114»
230	FUN%1249%524
231	FUN%1249%~~524~~	228	FUN%2794%99»
		229	FUN%873%95»
		230	FUN%3463%537
		231	FUN%3463%537
232	» MK-FUNTYP	232	» MK-FUNTYP
233	» MK-TOKTYP	233	» MK-TOKTYP
234	» MK-TOKTYP»	234	» MK-TOKTYP»
235	» filter_id	235	» filter_id
236	» MK-FUNTYP	236	» MK-FUNTYP
237	» MK-TOKTYP	237	» MK-TOKTYP
238	» MK-TOKTYP»	238	» MK-TOKTYP»
239	MK-LET%filter_id%523»	239	MK-LET%filter_id%536»
240	» filter_id»	240	» filter_id»
241	FUN%~~1249~~%524	241	FUN%3463%537
242	-SPUTPROP	242	-SPUTPROP
243	FUN%~~1249~~%526	243	FUN%3463%539
244	» CURRYBIND	244	» CURRYBIND
245	-SPUTPROP	245	-SPUTPROP
246	FUN%~~1249~~%527	246	FUN%3463%540
247	» CURRYBIND	247	» CURRYBIND
248	-SPUTPROP	248	-SPUTPROP
249	FUN%~~1249~~%528	249	FUN%3463%541
250	» CURRYBIND	250	» CURRYBIND
251	FUN%~~1249~~%527	251	FUN%3463%540
252	-SPUTPROP	252	-SPUTPROP
253	FUN%~~1249~~%530	253	FUN%3463%543
254	» CURRYBIND	254	» CURRYBIND
255	-SPUTPROP	255	-SPUTPROP
256	FUN%~~1249~~%529	256	FUN%3463%542
257	» CURRYBIND	257	» CURRYBIND
258	-SPUTPROP	258	-SPUTPROP
259	FUN%~~1249~~%531	259	FUN%3463%544
260	» CURRYBIND	260	» CURRYBIND
261	FUN%1249%526
262	FUN%1249%526
263	FUN%1249%527
264	FUN%1249%527
265	FUN%1249%527»
266	FUN%1249%528
267	FUN%1249%528
268	FUN%1249%530
269	FUN%1249%530
270	FUN%1249%530»
271	FUN%~~1249~~%532	261	FUN%3463%539
		262	FUN%3463%539
		263	FUN%3463%540
		264	FUN%3463%540
		265	FUN%3463%540»
		266	FUN%3463%541
		267	FUN%3463%541
		268	FUN%3463%543
		269	FUN%3463%543
		270	FUN%3463%543»
		271	FUN%3463%545
272	explode»	272	explode»
273	FUN%3~~992~~%121»	273	FUN%873%102»
274	ML-FLAT»	274	ML-FLAT»
275	FUN%~~1249~~%533	275	FUN%3463%546
276	explode»	276	explode»
277	FUN%1249%529»
278	FUN%1249%529
279	FUN%1249%529
280	FUN%1249%526»
281	FUN%~~1249~~%528»	277	FUN%3463%542»
		278	FUN%3463%542
		279	FUN%3463%542
		280	FUN%3463%539»
		281	FUN%3463%541»
282	ML-IMPLODE»	282	ML-IMPLODE»
283	FUN%1249%531
284	FUN%1249%531
285	FUN%1249%532
286	FUN%1249%532
287	FUN%1249%533
288	FUN%~~1249~~%533	283	FUN%3463%544
		284	FUN%3463%544
		285	FUN%3463%545
		286	FUN%3463%545
		287	FUN%3463%546
		288	FUN%3463%546
Max diff block lines reached; 1135/3255 bytes (34.87%) of diff not shown.