Commit a6f9faa

Martin Baillon

committed

Validity of booleans

1 parent de4c02e commit a6f9faaCopy full SHA for a6f9faa

1 file changed

+946

-0

lines changed

theories/Substitution/Introductions
- Bool.v

1 file changed

+946

-0

lines changed

Comments

(0)