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

Index - U

undyingDovin.Attributes, Dovin.V1, Dovin.V2, Dovin
unlessDovin.Prelude
UntapDovin.Types, Dovin.V1, Dovin.V2, Dovin
untapDovin.Actions, Dovin.V1, Dovin.V2, Dovin
UpkeepDovin.Types, Dovin.V1, Dovin.V2, Dovin
useDovin.Prelude