isabelle: Changelog

paulson <lp15@cam.ac.uk> [Mon, 17 Jan 2022 17:04:50 +0000] rev 74985

A new lemma about inverse image

desharna [Sun, 16 Jan 2022 21:41:16 +0100] rev 74984

proper treatment of $let variables in symbol table in Sledgehammer

desharna [Sat, 15 Jan 2022 14:26:16 +0100] rev 74983

removed unconditional TPTP symbol declaration for undefined_bool in sledgehammer

desharna [Wed, 12 Jan 2022 16:33:07 +0100] rev 74982

merged

desharna [Tue, 11 Jan 2022 22:07:04 +0100] rev 74981

split option "sledgehammer_atp_dest_dir" into "sledgehammer_atp_prob_dest_dir" and "sledgehammer_atp_proof_dest_dir"

desharna [Tue, 11 Jan 2022 12:08:03 +0100] rev 74980

proper name mangling of "undefined" constants in Sledgehammer

haftmann [Tue, 11 Jan 2022 06:48:02 +0000] rev 74979

earlier availability of lifting

haftmann [Tue, 11 Jan 2022 06:47:47 +0000] rev 74978

more correct transfer

isabelle