descriptionThe Isabelle repository
ownerisabelle
last changeThu, 11 Aug 2022 13:23:00 +0200
changes
Thu, 11 Aug 2022 13:23:00 +0200 nipkow removing the [simp] attribute breaks too many AFP entries severely default tip
Thu, 11 Aug 2022 11:57:19 +0200 nipkow nlists is picked up automatically but conflicts with the RBT setup
Thu, 11 Aug 2022 10:11:21 +0200 nipkow new lemma
Thu, 11 Aug 2022 05:50:48 +0200 nipkow merged
Wed, 10 Aug 2022 21:40:10 +0200 nipkow New theory of fixed length lists
Wed, 10 Aug 2022 18:26:22 +0000 haftmann Further streamlining of quick-and-dirty evaluation.
Mon, 25 Jul 2022 08:24:21 +0100 Achim D. Brucker more correct approximation (contributed by Achim Brucker)
Mon, 08 Aug 2022 20:27:54 +0200 wenzelm Added tag Isabelle2022-RC0 for changeset b42e20adaeed
Mon, 08 Aug 2022 20:01:18 +0200 wenzelm proper Java/Scala compiler classpath for standalone application (see also make_isabelle_app() in Pure/Admin/build_release.scala); Isabelle2022-RC0
Mon, 08 Aug 2022 14:34:09 +0200 wenzelm clarified message;
...
tags
Mon, 08 Aug 2022 20:01:18 +0200 Isabelle2022-RC0
Sat, 11 Dec 2021 11:24:48 +0100 Isabelle2021-1
Sat, 20 Feb 2021 13:42:37 +0100 Isabelle2021
Mon, 13 Apr 2020 22:08:14 +0200 Isabelle2020
Sat, 01 Jun 2019 11:29:59 +0200 Isabelle2019
Sun, 12 Aug 2018 14:28:28 +0200 Isabelle2018
Wed, 04 Oct 2017 12:00:53 +0200 Isabelle2017
Mon, 12 Dec 2016 11:17:23 +0100 Isabelle2016-1
Mon, 15 Feb 2016 14:55:44 +0100 Isabelle2016
Sat, 23 May 2015 17:19:37 +0200 Isabelle2015
...
bookmarks
...
branches
Thu, 11 Aug 2022 13:23:00 +0200 default
...