src/HOL/Decision_Procs/Parametric_Ferrante_Rackoff.thy
changeset 37819 000049335247
parent 37387 3581483cca6c
child 38136 bd4965bb7bdc