Commit d84047c

Martin Baillon

committed

Through to Properties

1 parent 002fc00 commit d84047cCopy full SHA for d84047c

2 files changed

+218

-184

lines changed

theories
- Substitution
  - Properties.v
- Validity.v

2 files changed

+218

-184

lines changed

Comments

(0)