Search for blocks/addresses/...
Proofgold Term Root Disambiguation
Loop
1
(
λ x0 x1 .
0
)
(
λ x0 x1 .
0
)
(
λ x0 x1 .
0
)
0
as obj
-
as prop
2b4af..
Trivial_Loop
theory
HF
stx
1efa1..
address
TMXSZ..
Trivial_Loop