Changes

Summary

always expand equalities in the transfer relation in transfer_prover (cf. 0a7c97c76f46)

Changeset 64434:af5235830c16 by kuncar: always expand equalities in the transfer relation in transfer_prover (cf. 0a7c97c76f46)
The file was modified	`src/HOL/Tools/Transfer/transfer.ML` (diff)