diff options
| author | David Aspinall | 2004-06-23 11:20:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-06-23 11:20:01 +0000 |
| commit | 49dcb89c45fbbfcfa678e73b6961a2eb894aba05 (patch) | |
| tree | f8bb0502fe0dcda79c09db27d63e73830beca1a1 /isar/Example-Xsym.thy | |
| parent | 0406f741ea4504113109cbba961f82a67d2c2ba1 (diff) | |
font-lock problem has reappeared.
Diffstat (limited to 'isar/Example-Xsym.thy')
0 files changed, 0 insertions, 0 deletions