src/HOL/Decision_Procs/Ferrack.thy
changeset 30549 d2d7874648bd
parent 30439 57c68b3af2ea
child 30684 c98a64746c69