src/HOL/Wfrec.thy
Fri, 22 Jul 2022 14:39:56 +0200 Fabian Huch tuned (some HOL lints, by Yecine Megdiche);
Tue, 09 Nov 2021 16:04:11 +0000 paulson A tiny bit of tidying connected with Zorn's Lemma
Sat, 14 Mar 2020 15:58:51 +0000 paulson tidied up a few little proofs
Fri, 04 Jan 2019 23:22:53 +0100 wenzelm isabelle update -u control_cartouches;
Sun, 31 Jul 2016 22:56:18 +0200 wenzelm misc tuning and modernization;
Mon, 25 Apr 2016 16:09:26 +0200 wenzelm eliminated old 'def';
Mon, 07 Dec 2015 10:38:04 +0100 wenzelm isabelle update_cartouches -c -t;
Sat, 18 Jul 2015 22:58:50 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Thu, 04 Sep 2014 14:02:37 +0200 hoelzl cleanup Wfrec; introduce dependent_wf/wellorder_choice
Fri, 31 Jan 2014 14:33:02 +0100 wenzelm tuned headers;
Thu, 16 Jan 2014 16:20:17 +0100 blanchet adapted to move of Wfrec
Thu, 16 Jan 2014 15:47:33 +0100 blanchet moved Wfrec to Main, since it is a dependency of cardinals, hence BNFs
less more (0) tip