diff options
| author | David Aspinall | 2012-04-06 07:05:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2012-04-06 07:05:41 +0000 |
| commit | 6547eb96bf42414daecb28ad1dc65ad5cf66044e (patch) | |
| tree | 78f71af8cee9776d57401ed37bb412ed86c634eb /isar/Example-Tokens.thy | |
| parent | b657e54f428d4cd74a9a58c9979a98dc28cfc60d (diff) | |
Fix compile error, Trac #437.
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions