diff options
| author | David Aspinall | 2011-04-26 14:49:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-04-26 14:49:10 +0000 |
| commit | 54748f66a798b9f4af515c70581cde014860c860 (patch) | |
| tree | 77344ffeacbda94b1da627db3c857be2bf96bc1a /isar/Example.thy | |
| parent | 3b02c2c9ac86d43dfdc32004ec3acc3c36662887 (diff) | |
Fix so that make test.coq runs successfully.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions