Code

Remove extraneous import from examples#1

Code

Open

tomssem wants to merge 1 commit intoLS-Lab:masterLS-Lab/Coq-dL:masterfrom tomssem:tomssem/FixExamplestomssem/Coq-dL:tomssem/FixExamplesCopy head branch name to clipboard

-1

Commits

Commits on Dec 4, 2019

• Remove extraneous import from examples

  tomssem

  committed
  6136bbb

  Copy full SHA for 6136bbb