| Mon, 02 Aug 2021 13:30:56 +0200 | wenzelm | removed junk; | changeset | files |
| Mon, 02 Aug 2021 10:01:06 +0000 | haftmann | moved theory Bit_Operations into Main corpus | changeset | files |
| Sun, 01 Aug 2021 23:18:13 +0200 | wenzelm | more operations; | changeset | files |
| Sun, 01 Aug 2021 18:12:32 +0200 | wenzelm | clarified signature; | changeset | files |
| Sun, 01 Aug 2021 16:12:08 +0200 | wenzelm | clarified signature; | changeset | files |
| Sun, 01 Aug 2021 10:20:34 +0000 | haftmann | organize syntax for word operations in bundles | changeset | files |
| Sat, 31 Jul 2021 23:15:17 +0200 | wenzelm | support for Lazy.Text; | changeset | files |
| Sat, 31 Jul 2021 22:03:33 +0200 | wenzelm | prefer compact Isabelle.Bytes; | changeset | files |