| Wed, 19 Jun 2024 10:20:35 +0200 | paulson | Updated some archaic proofs | changeset | files |
| Tue, 18 Jun 2024 16:55:30 +0200 | nipkow | tuned def: patter matching needs more beautification | changeset | files |
| Mon, 17 Jun 2024 09:00:46 +0200 | desharna | removed lemma wellorder.wfP_less | changeset | files |
| Sun, 16 Jun 2024 21:54:09 +0200 | wenzelm | merged | changeset | files |
| Sun, 16 Jun 2024 21:53:24 +0200 | wenzelm | enforce rebuild of Isabelle/ML; | changeset | files |
| Sun, 16 Jun 2024 18:50:17 +0200 | wenzelm | clarified signature; | changeset | files |
| Sun, 16 Jun 2024 18:41:57 +0200 | wenzelm | Base64: proper support for large Bytes, with subtle change of types (Bytes instead of String); | changeset | files |