src/HOL/Library/Conditional_Parametricity.thy
6 months ago wenzelm 2019-01-06 isabelle update -u path_cartouches;
18 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
19 months ago traytel 2017-12-18 a conditional paramitrecity prover