dovin-3.0.1: A proof assistant for Magic: The Gathering puzzles. (Index - U)

dovin-3.0.1: A proof assistant for Magic: The Gathering puzzles.

A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
_
All

Index - U

unblockable	Solutions.RavnicaAllegiance7
undying	Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
unless	Dovin.Prelude
Untap	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
untap	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
Upkeep	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
use	Dovin.Prelude