| Thu, 11 Aug 2022 13:23:00 +0200 | nipkow | removing the [simp] attribute breaks too many AFP entries severely | changeset | files |
| Thu, 11 Aug 2022 11:57:19 +0200 | nipkow | nlists is picked up automatically but conflicts with the RBT setup | changeset | files |
| Thu, 11 Aug 2022 10:11:21 +0200 | nipkow | new lemma | changeset | files |
| Thu, 11 Aug 2022 05:50:48 +0200 | nipkow | merged | changeset | files |
| Wed, 10 Aug 2022 21:40:10 +0200 | nipkow | New theory of fixed length lists | changeset | files |
| Wed, 10 Aug 2022 18:26:22 +0000 | haftmann | Further streamlining of quick-and-dirty evaluation. | changeset | files |
| Mon, 25 Jul 2022 08:24:21 +0100 | Achim D. Brucker | more correct approximation (contributed by Achim Brucker) | changeset | files |
| Mon, 08 Aug 2022 20:27:54 +0200 | wenzelm | Added tag Isabelle2022-RC0 for changeset b42e20adaeed | changeset | files |