diff options
| author | David Aspinall | 2009-12-02 23:50:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-12-02 23:50:01 +0000 |
| commit | b345b5a20680046d40fd99f8844be3b35dbb0726 (patch) | |
| tree | 2062c008f6118d58c1ad5c11a22a74ed01e39157 /isar/Example-Tokens.thy | |
| parent | 2902fd85474038f98f7343622c4982c5e2f8efe8 (diff) | |
Fix to last patch for face saving (untested still).
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions