History log of /seL4-l4v-master/isabelle/src/HOL/Tools/BNF/bnf_gfp_grec_sugar_util.ML
Revision Date Author Comments
# 14c7fb8f 09-Aug-2019 wenzelm <none@none>

formal position for PThm nodes;
# ed7a971e 05-Jan-2019 wenzelm <none@none>

isabelle update -u control_cartouches;
# a4bab154 04-Jan-2019 wenzelm <none@none>

isabelle update -u control_cartouches;
# 502ab55a 30-Dec-2016 blanchet <none@none>

more uniform errors in '(prim)(co)rec(ursive)' variants
# 659a2dbd 20-Dec-2016 blanchet <none@none>

generalized ML function (towards nonuniform datatypes)
# e5963c85 14-Dec-2016 blanchet <none@none>

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

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