diff options
| author | David Aspinall | 2000-06-22 12:55:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-22 12:55:20 +0000 |
| commit | 7c6fbf8a479bd65d341e6b091fbedd80204ea972 (patch) | |
| tree | 65d6def14a481bccec85735c9dd40b4c1a3e9529 /isar/Example.thy | |
| parent | 16f404e852a0626cafddd208fe7fe03f7ba32aa7 (diff) | |
Added back defconsts for face names needed for FSF Emacs.
Yet another annoyance with FSF.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions