History log of /seL4-l4v-master/l4v/isabelle/src/HOL/Tools/BNF/bnf_gfp_grec_tactics.ML
Revision Date Author Comments
# a4bab154 04-Jan-2019 wenzelm <none@none>

isabelle update -u control_cartouches;
# ec0aff77 24-Oct-2016 traytel <none@none>

apply transfer_prover after folding relator_eq
# 3dba35c1 27-May-2016 wenzelm <none@none>

tuned proofs, to allow unfold_abs_def;
# dffe416d 27-Mar-2016 blanchet <none@none>

tuning
# d80c5394 21-Mar-2016 blanchet <none@none>

moved 'corec' from ssh://hg@bitbucket.org/jasmin_blanchette/nonprim-corec to Isabelle