isabelle: File revisions

src/HOL/Tools/BNF/bnf_gfp_grec_sugar_util.ML

Tue, 08 Aug 2023 15:49:01 +0200	traytel	made another two tactics more robust in presence of BNFs nesting live variables (reported by Wolfgang Jeltsch)	file \| diff \| annotate
Tue, 28 Sep 2021 22:12:52 +0200	wenzelm	clarified antiquotations;	file \| diff \| annotate
Fri, 09 Aug 2019 17:14:49 +0200	wenzelm	formal position for PThm nodes;	file \| diff \| annotate
Sat, 05 Jan 2019 17:24:33 +0100	wenzelm	isabelle update -u control_cartouches;	file \| diff \| annotate
Fri, 04 Jan 2019 23:22:53 +0100	wenzelm	isabelle update -u control_cartouches;	file \| diff \| annotate
Fri, 30 Dec 2016 15:40:35 +0100	blanchet	more uniform errors in '(prim)(co)rec(ursive)' variants	file \| diff \| annotate
Wed, 21 Dec 2016 12:49:15 +0100	blanchet	generalized ML function (towards nonuniform datatypes)	file \| diff \| annotate
Wed, 14 Dec 2016 09:19:49 +0100	blanchet	robustness	file \| diff \| annotate
Tue, 22 Mar 2016 12:39:37 +0100	blanchet	moved 'corec' from ssh://hg@bitbucket.org/jasmin_blanchette/nonprim-corec to Isabelle	file \| diff \| annotate

isabelle