diff options
| author | David Aspinall | 2009-08-31 20:01:03 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-31 20:01:03 +0000 |
| commit | 84ebc40061e1ce380210691618b70773cc1ff713 (patch) | |
| tree | 3e4a200edfa7d2e7606a296e3c6467a66af45d3f /isar/Example.thy | |
| parent | 255a86eea9c6d1586bbb78b8b70f20f9dbd069b6 (diff) | |
Merge in Isar and Coq bugs
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions