src/HOL/Decision_Procs/ferrack_tac.ML
changeset 41648 6d736d983d5c
parent 38558 32ad17fe2b9c
child 42083 e1209fc7ecdc