diff options
| author | Makarius Wenzel | 2005-09-06 16:58:28 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-09-06 16:58:28 +0000 |
| commit | e80651bd5fd4dc30c70f74123a63621996a1f0a0 (patch) | |
| tree | 3693fb2454fb6985d808dac797eb39f65d2a051a /isar/Example-Xsym.thy | |
| parent | 36ecb8c9260e6842101bc92e25ecb9d2cf0f6922 (diff) | |
tuned isar-keywords-theory-enclose;
Diffstat (limited to 'isar/Example-Xsym.thy')
0 files changed, 0 insertions, 0 deletions