diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-11-27 15:32:06 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-11-27 15:32:06 -0500 |
| commit | b0da719acd2e225d83e064e9336e1097b87df6d8 (patch) | |
| tree | 5d17b88a413a545d124a1e3e64bf780bfa512677 /src/coq/Semantics.v | |
| parent | 80e22623aab7b64bda3c923849afa1267e2d6d6e (diff) | |
Return to working version mode
Diffstat (limited to 'src/coq/Semantics.v')
0 files changed, 0 insertions, 0 deletions