src/HOL/Decision_Procs/Ferrack.thy
changeset 82265 4b875a4c83b0
parent 74397 e80c4cde6064
child 82292 5d91cca0aaf3