src/HOL/Decision_Procs/cooper_tac.ML
changeset 58306 117ba6cbe414
parent 57514 bdc2c6b40bf2
child 58963 26bf09b95dda