src/HOL/Analysis/Complex_Analysis_Basics.thy
Fri, 20 Sep 2024 19:51:08 +0200 wenzelm standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing;
Thu, 21 Mar 2024 14:19:39 +0000 paulson New material from a variety of sources (including AFP)
Mon, 11 Mar 2024 15:07:02 +0000 paulson New material by Wenda Li and Manuel Eberl
Sat, 12 Aug 2023 10:09:29 +0100 paulson substantial tidy-up, shortening many proofs
Thu, 09 Feb 2023 13:36:25 +0000 paulson More material for Analysis and Complex_Analysis
Mon, 06 Feb 2023 15:41:23 +0000 paulson Some more new material and some tidying of existing proofs
Wed, 01 Feb 2023 12:43:33 +0000 paulson More new material thanks to Manuel
less more (0) -30 -10 -7 tip