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