diff options
| author | David Aspinall | 2009-09-07 09:00:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-07 09:00:30 +0000 |
| commit | 45b7d250bafbbfa201090b29d33ba011827f0beb (patch) | |
| tree | f1ca774bc266f3bc59edd3363a5d4f2c97fb7839 /isar/Example-Tokens.thy | |
| parent | 395342b76696f0df407bedab2624228baac9c164 (diff) | |
isar-preprocessing: remove unnecessary save-match-data.
Fix a compile warning.
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions