| Thu, 05 Aug 2021 20:24:42 +0200 | wenzelm | type classes for XML data representation; | changeset | files |
| Thu, 05 Aug 2021 18:53:53 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 05 Aug 2021 18:40:06 +0200 | wenzelm | clarified types: prefer Isabelle byte strings; | changeset | files |