Thu, 11 Aug 2022 13:23:00 +0200 removing the [simp] attribute breaks too many AFP entries severely
nipkow [Thu, 11 Aug 2022 13:23:00 +0200] rev 75805
removing the [simp] attribute breaks too many AFP entries severely
Thu, 11 Aug 2022 11:57:19 +0200 nlists is picked up automatically but conflicts with the RBT setup
nipkow [Thu, 11 Aug 2022 11:57:19 +0200] rev 75804
nlists is picked up automatically but conflicts with the RBT setup
Thu, 11 Aug 2022 10:11:21 +0200 new lemma
nipkow [Thu, 11 Aug 2022 10:11:21 +0200] rev 75803
new lemma
Thu, 11 Aug 2022 05:50:48 +0200 merged
nipkow [Thu, 11 Aug 2022 05:50:48 +0200] rev 75802
merged
Wed, 10 Aug 2022 21:40:10 +0200 New theory of fixed length lists
nipkow [Wed, 10 Aug 2022 21:40:10 +0200] rev 75801
New theory of fixed length lists
Wed, 10 Aug 2022 18:26:22 +0000 Further streamlining of quick-and-dirty evaluation.
haftmann [Wed, 10 Aug 2022 18:26:22 +0000] rev 75800
Further streamlining of quick-and-dirty evaluation.
Mon, 25 Jul 2022 08:24:21 +0100 more correct approximation (contributed by Achim Brucker)
Achim D. Brucker <adbrucker@0x5f.org> [Mon, 25 Jul 2022 08:24:21 +0100] rev 75799
more correct approximation (contributed by Achim Brucker)
Mon, 08 Aug 2022 20:27:54 +0200 Added tag Isabelle2022-RC0 for changeset b42e20adaeed
wenzelm [Mon, 08 Aug 2022 20:27:54 +0200] rev 75798
Added tag Isabelle2022-RC0 for changeset b42e20adaeed
Mon, 08 Aug 2022 20:01:18 +0200 proper Java/Scala compiler classpath for standalone application (see also make_isabelle_app() in Pure/Admin/build_release.scala); Isabelle2022-RC0
wenzelm [Mon, 08 Aug 2022 20:01:18 +0200] rev 75797
proper Java/Scala compiler classpath for standalone application (see also make_isabelle_app() in Pure/Admin/build_release.scala);
Mon, 08 Aug 2022 14:34:09 +0200 clarified message;
wenzelm [Mon, 08 Aug 2022 14:34:09 +0200] rev 75796
clarified message;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip