dovin-0.2: A proof assistant for Magic: The Gathering puzzles. (Index - L)

dovin-0.2: 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 - L

labelMatch	Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin
land	Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin
legendary	Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin
life	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
lifelink	Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin
Location	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
location	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
loseAttribute	Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin
loseLife	Dovin.Dump, Dovin.V1, Dovin.V2, Dovin