src/HOL/ex/Conditional_Parametricity_Examples.thy
2017-12-18 traytel 2017-12-18 a conditional paramitrecity prover