Index - U
undying | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin |
unless | Dovin.Prelude |
Untap | Dovin.Types, Dovin.V1, Dovin.V2, Dovin |
untap | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin |
Upkeep | Dovin.Types, Dovin.V1, Dovin.V2, Dovin |
use | Dovin.Prelude |
dovin-0.1.0.1: A proof assistant for Magic: The Gathering puzzles.
Index - U
undying | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin |
unless | Dovin.Prelude |
Untap | Dovin.Types, Dovin.V1, Dovin.V2, Dovin |
untap | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin |
Upkeep | Dovin.Types, Dovin.V1, Dovin.V2, Dovin |
use | Dovin.Prelude |