src/HOL/Library/conditional_parametricity.ML
16 months ago wenzelm 2018-02-18 tuned signature;
17 months ago wenzelm 2018-01-28 clarified take/drop/chop prefix/suffix;
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