History log of /seL4-l4v-master/isabelle/src/HOL/ex/Conditional_Parametricity_Examples.thy
Revision Date Author Comments
# a7ccdf43 10-Jan-2018 nipkow <none@none>

ran isabelle update_op on all sources
# 516a26c4 18-Dec-2017 traytel <none@none>

a conditional paramitrecity prover