Commit 16aed5d

committed

first draft sec1

1 parent a98f2c5 commit 16aed5dCopy full SHA for 16aed5d

1 file changed

+216

-216

lines changed

src
- How_to_Ltac2_contradiction.v

1 file changed

+216

-216

lines changed

Comments

(0)