diff options
| author | David Aspinall | 2002-06-24 09:03:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-24 09:03:54 +0000 |
| commit | 59a70b62ebbd064fd797d8245b01c9ba7d92af07 (patch) | |
| tree | 29520e920364169f7ced583ad1f6cda55dfb535b /isa/Example.thy | |
| parent | 7a8fe1da30d114d34479226640af4c1ea690771c (diff) | |
Hack to avoid loading x-symbol-isabelle
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions