Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Isabelle/ML type Bytes.T and XZ comp...

view this post on Zulip Email Gateway (Jul 06 2022 at 13:46):

From: Makarius <>
* ML *

This refers to Isabelle/44815dc2b8f9.

It might be occasionally useful to have XZ (un)compression available in
Isabelle/ML. XZ is the standard compression scheme of Isabelle/Scala.

The main point of the exercise, though, is to show how to implement this my
mostly trivial means, see:

A similar application is Base64 recoding in


isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC