src/HOL/Library/Bourbaki_Witt_Fixpoint.thy
Fri, 12 Jan 2018 15:27:46 +0100 wenzelm prefer formal comments;
Tue, 17 Jan 2017 13:59:10 +0100 wenzelm isabelle update_cartouches -c -t;
Mon, 17 Oct 2016 11:46:22 +0200 nipkow setsum -> sum
Fri, 29 Jul 2016 11:42:13 +0200 Andreas Lochbihler fix LaTeX error
Fri, 29 Jul 2016 09:49:23 +0200 Andreas Lochbihler add lemmas contributed by Peter Gammie
Fri, 22 Jul 2016 11:00:43 +0200 wenzelm tuned proofs -- avoid unstructured calculation;
Thu, 17 Mar 2016 08:56:45 +0100 Andreas Lochbihler less preconditions
Tue, 15 Mar 2016 08:34:04 +0100 Andreas Lochbihler add fixpoint induction principle
Tue, 23 Feb 2016 16:25:08 +0100 nipkow more canonical names
Tue, 12 Jan 2016 15:23:54 +0100 Andreas Lochbihler add reference
Tue, 05 Jan 2016 13:48:51 +0100 wenzelm updated headers;
Tue, 01 Dec 2015 12:35:11 +0100 Andreas Lochbihler add formalisation of Bourbaki-Witt fixpoint theorem
less more (0) tip