src/HOL/Library/Conditional_Parametricity.thy
17 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
18 months ago traytel 2017-12-18 a conditional paramitrecity prover