…
..
Makefile
patch-etc-settings
patch-lib-scripts-run_smlnj
patch-src-HOL-Tools-atp_manager.ML
patch-src-HOL-Tools-atp_wrapper.ML
patch-src-HOL-Tools-int_arith.ML
patch-src-HOL-Tools-int_factor_simprocs.ML
patch-src-HOL-Tools-nat_simprocs.ML