diff options
| author | Hendrik Tews | 2012-10-30 21:15:04 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2012-10-30 21:15:04 +0000 |
| commit | 5428910bc564b907d0f04d201154c0f214178d8a (patch) | |
| tree | b16b969e8f9823d871a11d1c0c2442f090447160 /hol-light | |
| parent | 8ede5e10c147191822653afc0a4e2e5a53749833 (diff) | |
move some more material into coq-compile-common
Diffstat (limited to 'hol-light')
0 files changed, 0 insertions, 0 deletions