Commit 954c5d6

committed

first draft sec1

1 parent a98f2c5 commit 954c5d6Copy full SHA for 954c5d6

1 file changed

+216

-216

lines changed

src
- How_to_Ltac2_contradiction.v

1 file changed

+216

-216

lines changed

Comments

(0)