Cargo.lock


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

# 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",
]