Commit 395094b

Martin Baillon

committed

Through to Id.v

1 parent 4fe006f commit 395094bCopy full SHA for 395094b

2 files changed

+286

-267

lines changed

theories/LogicalRelation
- Id.v
- Reduction.v

2 files changed

+286

-267

lines changed

Comments

(0)