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

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 - L

labelMatch	Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
land	Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
Layer	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
Layer1A	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
Layer1B	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
Layer2	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
Layer3	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
Layer4	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
Layer5	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
Layer6	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
Layer7A	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
Layer7B	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
Layer7C	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
Layer7D	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
LayeredEffect	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
LayeredEffectDefinition
1 (Type/Class)	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
2 (Data Constructor)	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
LayeredEffectPart
1 (Type/Class)	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
2 (Data Constructor)	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
LayerOther	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
leAppliesTo	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
leEffect	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
legendary	Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
leName	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
life	Dovin.Types, Dovin.V1
lifelink	Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
Location	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
location	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
loseAttribute	Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
loseLife	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin