src/HOL/Library/Conditional_Parametricity.thy
2017-12-18 traytel 2017-12-18 a conditional paramitrecity prover