# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
[[package]]
name = "isabelle-unicode"
version = "0.1.0"
dependencies = [
 "symbolmacro",
]

[[package]]
name = "symbolmacro"
version = "0.1.0"

[[package]]
name = "util"
version = "0.1.0"
dependencies = [
 "isabelle-unicode",
]