src/HOL/Library/Bourbaki_Witt_Fixpoint.thy
20 months ago wenzelm 2018-01-12 prefer formal comments;
2017-01-17 wenzelm 2017-01-17 isabelle update_cartouches -c -t;
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-07-29 Andreas Lochbihler 2016-07-29 fix LaTeX error
2016-07-29 Andreas Lochbihler 2016-07-29 add lemmas contributed by Peter Gammie
2016-07-22 wenzelm 2016-07-22 tuned proofs -- avoid unstructured calculation;
2016-03-17 Andreas Lochbihler 2016-03-17 less preconditions
2016-03-15 Andreas Lochbihler 2016-03-15 add fixpoint induction principle
2016-02-23 nipkow 2016-02-23 more canonical names
2016-01-12 Andreas Lochbihler 2016-01-12 add reference
2016-01-05 wenzelm 2016-01-05 updated headers;
2015-12-01 Andreas Lochbihler 2015-12-01 add formalisation of Bourbaki-Witt fixpoint theorem