NEWS
Thu, 11 Aug 2022 10:11:21 +0200 nipkow new lemma
Mon, 11 Jul 2022 15:04:04 +0200 blanchet prefer non-JNI SAT solvers by default in Nitpick
Tue, 05 Jul 2022 13:12:04 +0200 wenzelm switch to Scala 3;
Tue, 05 Jul 2022 17:54:52 +0200 desharna added lemmas total_on_trancl and totalp_on_tranclp
Mon, 04 Jul 2022 07:57:22 +0000 haftmann officical abstract characters for code generation
Fri, 01 Jul 2022 16:03:10 +0200 wenzelm discontinued Isabelle tools implemented as .scala scripts;
Mon, 27 Jun 2022 17:36:26 +0200 traytel tuned BNF bounds for function space and bounded sets; NEWS and CONTRIBUTORS
less more (0) -3000 -1000 -300 -100 -30 -10 -7 tip