Tue, 17 May 2022 14:10:14 +0100 paulson tidied auto / simp with null arguments default tip
Wed, 11 May 2022 10:42:24 +0200 wenzelm tuned signature;
Wed, 11 May 2022 09:53:29 +0200 wenzelm provide Isabelle/Electron test;
Mon, 09 May 2022 21:01:12 +0200 wenzelm tuned text;
Mon, 09 May 2022 13:41:10 +0200 wenzelm tuned text;
Fri, 06 May 2022 17:03:35 +0100 paulson Tidied up some super-messy proofs
Thu, 05 May 2022 16:39:48 +0100 paulson Added a couple of obvious simprules
Wed, 04 May 2022 07:20:20 +0200 nipkow added lemma
Fri, 22 Apr 2022 16:55:48 +0200 wenzelm tuned signature: avoid problems with scala3;
Fri, 22 Apr 2022 16:47:13 +0200 wenzelm proper indentation;
Fri, 22 Apr 2022 10:31:38 +0200 wenzelm merged
Fri, 22 Apr 2022 10:11:06 +0200 wenzelm clarified management of interpreter threads: more generic;
Thu, 21 Apr 2022 11:49:53 +0200 wenzelm clarified signature;
Thu, 21 Apr 2022 11:28:50 +0200 wenzelm clarified signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -14 tip