[workspace]
members = [
    "symbolmacro",
    "isabelle-unicode",
    "util"
]