wenzelm [Wed, 07 May 2025 22:07:52 +0200] rev 82617
merged
wenzelm [Wed, 07 May 2025 22:06:49 +0200] rev 82616
clarified settings: these are setup defaults, not necessarily the installed version;
wenzelm [Wed, 07 May 2025 21:52:22 +0200] rev 82615
provide "isabelle caddy_setup" and "isabelle caddy";
proper go-1.24.1 as required by xcaddy-0.4.4;
wenzelm [Wed, 07 May 2025 11:58:10 +0200] rev 82614
update to current go-1.24.3;
wenzelm [Wed, 07 May 2025 11:00:17 +0200] rev 82613
tuned;
wenzelm [Wed, 07 May 2025 10:45:09 +0200] rev 82612
clarified signature and modules;
wenzelm [Tue, 06 May 2025 17:03:56 +0200] rev 82611
tuned comments;
wenzelm [Tue, 06 May 2025 16:52:39 +0200] rev 82610
clarified signature;
haftmann [Wed, 07 May 2025 16:08:56 +0200] rev 82609
prefer official precise attribute
nipkow [Wed, 07 May 2025 07:48:07 +0200] rev 82608
Kleene's fixpoint thm
nipkow [Wed, 07 May 2025 06:21:46 +0200] rev 82607
merged
nipkow [Wed, 07 May 2025 06:20:42 +0200] rev 82606
Kleene for lfp
paulson <lp15@cam.ac.uk> [Tue, 06 May 2025 19:34:07 +0100] rev 82605
A new lemma
paulson [Mon, 05 May 2025 17:04:14 +0100] rev 82604
merged
paulson <lp15@cam.ac.uk> [Mon, 05 May 2025 17:04:07 +0100] rev 82603
A few more useful lemmas (about topology)
haftmann [Mon, 05 May 2025 12:42:40 +0200] rev 82602
more theorems
paulson [Sun, 04 May 2025 21:03:04 +0100] rev 82601
merged
paulson <lp15@cam.ac.uk> [Sun, 04 May 2025 21:02:54 +0100] rev 82600
two more lemmas from the AFP
haftmann [Sun, 04 May 2025 20:50:01 +0200] rev 82599
new lemma
haftmann [Sun, 04 May 2025 15:05:51 +0200] rev 82598
consolidate input syntax
paulson <lp15@cam.ac.uk> [Sun, 04 May 2025 12:18:27 +0100] rev 82597
More type class things
haftmann [Fri, 02 May 2025 17:24:43 +0200] rev 82596
executable sorted_list_of_multiset
paulson <lp15@cam.ac.uk> [Fri, 02 May 2025 16:25:38 +0100] rev 82595
Tweaking the ordered semiring type classes
paulson [Sun, 27 Apr 2025 11:21:04 +0100] rev 82594
merged
paulson <lp15@cam.ac.uk> [Sun, 27 Apr 2025 11:20:39 +0100] rev 82593
New type classes unboundedx_dense_order, ordered_semiring_1, ordered_semiring_strict and related material from Complex_Bounded_Operators
wenzelm [Sat, 26 Apr 2025 21:33:48 +0200] rev 82592
merged
wenzelm [Sat, 26 Apr 2025 20:52:46 +0200] rev 82591
more robust output: no markup as last resort;
wenzelm [Fri, 25 Apr 2025 18:06:12 +0200] rev 82590
clarified signature: more scalable output --- avoid adhoc string concatenations after Pretty.string_of;